I like that GNOME 3's (v3.4 on Ubuntu 12.04) 'Hot Corner' and 'notification corner (?)' response really fast, but the latter, for me, would have been better off at the bottom-left corner; leaving the ...
In Gnome Shell 3.10 indicators (sound, network,..) were merged in single status bar. I read that applications need to make gnome shell extensions to show an icon there. So I searched for default ...
I've just upgraded my distribution from 13.10 to 14.04, which seems to have broken global keyboard shortcuts. They are still present in the "Keyboard settings" as before. Although media keys are ...
I have been trying to install some Gnome extensions from the site https://extensions.gnome.org. I get the dialogue asking if I want to install, but after I select yes, it fails silently. This is the ...
I'm running Ubuntu Gnome remix 12.10 and it can't recognize my display. My HW is: Intel i3 3225 with HD 4000 onboard / is on a OCZ Vertex 4 SSD display is an old IBM Thinkvision with vga connector ...
I am on Ubuntu 12.04 and installed gnome-shell, but I found the top bar is larger than it normally is, how can I change its size?