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

Reply via email to