1
vote
0answers
21 views

Gnome Shell Integration in Chrome not working

Just upgraded to Ubuntu 14.04, which seems to also make a full reinstall of Chromium (as all my plugins were removed). Now, trying to access https://extensions.gnome.org/ to enable Gnome Shell ...
2
votes
0answers
50 views

How to use Gnome's extensions

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 ...
0
votes
1answer
710 views

Low display resolution Ubuntu Gnome remix 12.10

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 ...
2
votes
2answers
4k views

How do I resize GNOME shell top bar

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?