Our handicapped users really cannot live without this extension:
Gnome 3 Addon: https://extensions.gnome.org/extension/723/pixel-saver/
Just as DashToDock will be adopted into the new Ubuntu, can we please do the same for this extension? The extra space it saves for using a web browser (the pixels at the top of the screen being merged into the top Gnome 3 bar) is really important for our work on small screens. (This will help my handicapped staff members as well)
Can anyone help for this? (I attached a photo using Fedora, but Ubuntu is the same way with it will be released with Gnome3).
ubuntu-devel-discuss
mailing list) – muru Aug 30 '17 at 04:26ubuntu-devel-discuss@lists.ubuntu.com
using the same email address describing your idea – muru Aug 31 '17 at 02:35