Gnome 3.2 shell extensions

[cbowman57]

We need a place to share extensions that we find, create or modify.

This looks like a good place to start.

Anyhow, a simple mod to the Panel_Favorites extension from the frippery collection.

1. Places panel favorites on the right.
2. Resizes icons to more closely match the status icon size.

Additionally, any tips or tricks involving java scripting is welcome.

[Copper Bezel]

Hey, good idea! So I take it you know some Javascript, then? (Or are you just sort of working backwards from the extension scripts?) I wish I could make heads or tails of them - there are a number of little things I'd like to tweak.

[cbowman57]

Just working backwards, look for the obvious and try a little trial & error.

I just know we have a lot of talent that visit the forum and now that Gnome shell is mainstream I expect that a lot of java savvy Ubuntu users will start writing code.

So, we could expand this to discussion of the code?

[Copper Bezel]

Yeah, I like that idea. It seems unlikely that we're going to learn Javascript just from dinking around with these extension files, but if we can poke at things and see what they do and hope for the occasional pro tip, we might be able to marginally improve the functionality of some of these extensions.

[cbowman57]

Good, I hope it takes off and we get some cool stuff going on in here.

[aeronutt]

Excellent thread!

[werewolves]

Autohide Top Panel

Use the attached file, or install from PPA.

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-autohidetopbar

[cbowman57]

For the most part I like installing them manually, thanks for attaching that werewolves.

[aeronutt]

Agreed, I like 'em in .local rather than owned by root. I have installed them from webupd8team/gnome3 then copied them over to .local and edited. Seems to work well.

[cbowman57]

Yeah, I do that too.