5 ms·
All major functionality except tab groups restored here, but that should be coming. Think that covers all of the most important extensions. Had to map my 'musi
by nol13 9y ago
All major functionality except tab groups restored here, but that should be coming. Think that covers all of the most important extensions.
Had to map my 'music' key to run a script that hides the title bar in gtk3, but works for now.
- andrewaylett 9y agoI use https://extensions.gnome.org/extension/723/pixel-saver/ https://extensions.gnome.org/extension/723/pixel-saver/ to hide the title bar for all full-screen windows in Gnome.
- nol13 9y agoRight on, was using hide the title bar[0] add-on which gives you a script to install, and then it runs the script on window creation, but need the keymap since it comes back after every window resize. Just need to edit the extension to run on resize really, if possible. 0: https://addons.mozilla.org/en-US/firefox/addon/hide-the-titlebar/ https://addons.mozilla.org/en-US/firefox/addon/hide-the-titl...