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

Thu, 25 May 2017 12:52:28 -0700

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
[email protected]
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome






















					Reply via email to