Re: Ubuntu Desktop's GNOME Shell extensions survey ending soon

[Erkin Alp Güney]

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.

--
Ubuntu-GNOME mailing list
Ubuntu-GNOME@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome