Ubuntu Desktop's GNOME Shell extensions survey ending soon
Erkin Alp Güney
erkinalp9035 at gmail.com
Thu May 25 19:52:04 UTC 2017
Drop down terminal by zzrough
<https://extensions.gnome.org/extension/442/drop-down-terminal> with
hotkey configured to Alt+Pause to prevent hotkey conflict may be
recommended.
More information about the Ubuntu-GNOME
mailing list