Tag Info

New answers tagged


To check the current panels: $ gsettings get org.gnome.gnome-panel.layout toplevel-id-list ['top-panel-0', 'bottom-panel-0'] Set the panel which you want to stay visible with Tried in Ubuntu 12.04: $ gsettings set org.gnome.gnome-panel.layout toplevel-id-list "['top-panel-0']" which will leave you with only the top-panel like you see in the snapshot ...


It is the Window List plugin the same one used in Gnome Shell standard session which comes within gnome-shell-extensions package. It's full name: window-list@gnome-shell-extensions.gcampax.github.com Installed in: /usr/share/gnome-shell/extensions/ What it seems happening is .. the Gnome Classic session use it as a required plugin. So it does ignore ...


Apparently GNOME shows an option to delete panels on Alt + right click. On some machines it can be Alt + Super (the "windows" key) + right click. A menu should appear with the option to delete. If not, then I'm sorry. EDIT: Didn't see the comment chain where you said that. weird stuff.


You can get a JavaScript extension such as this one which removes the bottom bar: https://sourceforge.net/projects/removebottombar/files/gnome-shell-extension-remove-bottom-bar-3.2-1.src.tar.gz/download


I was able to hack this functionality into the code of cinnamon 2.2 running on debian 8. This should also work on Ubuntu, maybe the path is a bit different. open this file in an editor /usr/share/cinnamon/applets/window-lost@cinnamon.org/applet.js find function _getContentPreferredWidth: function(actor, forHeight, alloc) change alloc.natural_size = 150 * ...

Top 50 recent answers are included