Page 1 of 10 123 ... LastLast
Results 1 to 10 of 93

Thread: Gnome 3.2 shell extensions

  1. #1
    Join Date
    Jun 2010
    Location
    Rockport, TX
    Beans
    2,295
    Distro
    Ubuntu Development Release

    Gnome 3.2 shell extensions

    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.
    Attached Files Attached Files
    Last edited by cbowman57; November 22nd, 2011 at 02:39 AM. Reason: java scripting is welcome.

  2. #2
    Join Date
    Jan 2011
    Location
    Kansas City, KS
    Beans
    1,319
    Distro
    Ubuntu 14.04 Trusty Tahr

    Re: Gnome 3.2 shell extensions

    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.

  3. #3
    Join Date
    Jun 2010
    Location
    Rockport, TX
    Beans
    2,295
    Distro
    Ubuntu Development Release

    Re: Gnome 3.2 shell extensions

    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?

  4. #4
    Join Date
    Jan 2011
    Location
    Kansas City, KS
    Beans
    1,319
    Distro
    Ubuntu 14.04 Trusty Tahr

    Re: Gnome 3.2 shell extensions

    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.

  5. #5
    Join Date
    Jun 2010
    Location
    Rockport, TX
    Beans
    2,295
    Distro
    Ubuntu Development Release

    Re: Gnome 3.2 shell extensions

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

  6. #6
    aeronutt is offline Extra Foam Sugar Free Ubuntu
    Join Date
    Feb 2009
    Location
    Central MD
    Beans
    733

    Re: Gnome 3.2 shell extensions

    Excellent thread!

  7. #7
    Join Date
    Jan 2006
    Beans
    152
    Distro
    Ubuntu 11.10 Oneiric Ocelot

    Re: Gnome 3.2 shell extensions

    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
    Attached Files Attached Files

  8. #8
    Join Date
    Jun 2010
    Location
    Rockport, TX
    Beans
    2,295
    Distro
    Ubuntu Development Release

    Re: Gnome 3.2 shell extensions

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

  9. #9
    aeronutt is offline Extra Foam Sugar Free Ubuntu
    Join Date
    Feb 2009
    Location
    Central MD
    Beans
    733

    Re: Gnome 3.2 shell extensions

    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.

  10. #10
    Join Date
    Jun 2010
    Location
    Rockport, TX
    Beans
    2,295
    Distro
    Ubuntu Development Release

    Re: Gnome 3.2 shell extensions

    Yeah, I do that too.

Page 1 of 10 123 ... LastLast

Tags for this Thread

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •