grossetti / gnome-shell-extensions Goto Github PK

Hey, could u try to add Gnome Shell 3.4 support for ur extensions? I really like them :D

Hi,

I followed your instructions and it didnt work on Ubuntu 12.04. The extentions dont show up in gnome-tweak-tool.

Thanks.

Monolithic repos are bulky and can not be used as git submodules directly. I made the split on my fork and transferred the resulting repos over to you, @grossetti. Please accept them and delete this repo.

Just add "3.8" to the relevant line of the metadata, works nicely. Thanks! Also, it'd be great if you could push this with 3.8 support to extensions.gnome.org.

Some apps don't have a menu any more like nautilus, gedit etc, so the only way to access these is via the app name in the top panel.

However Firefox, and lots of other apps aren't compatible with this and they only have the quit option in the top panel app name. So it'd be nice to see if you could support both :)

I'm sorry, I don't have the time to make a proper git diff, or to get the disable function working easily. Here is my diff to the extension.js file, which is not to current git HEAD, but to the version on extensions.gnome.org, which is slightly different. Hopefully it's useful enough to save some time.

I know nothing about writing GNOME extensions; I found everything I used to prepare the following patch in the code for a similar extension at:

https://github.com/darkxst/multiple-monitor-panels

diff -Nur [email protected]/extension.js /home/rrt/.local/share/gnome-shell/extensions/[email protected]/extension.js
--- [email protected]/extension.js 2012-10-22 23:52:42.262197420 +0100
+++ /home/rrt/.local/share/gnome-shell/extensions/[email protected]/extension.js 2012-10-20 01:21:59.643206923 +0100
@@ -3,8 +3,8 @@

•   from the Panel
  

• Author: Gabriel Rossetti
  • * Date: 2012-05-09
  • * Version: 1.3.1
  • * Date: 2012-05-08
  • * Version: 1.3
    */
    const Main = imports.ui.main;
    const Panel = Main.panel;
    @@ -23,13 +23,11 @@
    */
    function enable() {
• var value = GLib.Variant.new('a{sv}', { 'Gtk/ShellShowsAppMenu': GLib.Variant.new('i', 0) });
• var xsetting = new Gio.Settings({ schema: 'org.gnome.settings-daemon.plugins.xsettings' });
• xsetting.set_value('overrides', value);
• _menuManager = Panel._appMenu._menuManager;
• Panel._menus.removeMenu(Panel._appMenu.menu);
• Panel._leftBox.remove_actor(Panel._appMenu.actor);
• Panel._appMenu = null;
• (new Gio.Settings({ schema: 'org.gnome.settings-daemon.plugins.xsettings' })).set_value('overrides', GLib.Variant.new('a{sv}', { 'Gtk/ShellShowsAppMenu': GLib.Variant.new('i', 0) }))
• _menuManager = Panel.statusArea.appMenu._menuManager
• Panel.statusArea.appMenu.actor.destroy();
• //Panel.menuManager.removeMenu(Panel.statusArea.appMenu.menu);
• Panel.statusArea.appMenu = null;
  }

/**
@@ -37,11 +35,9 @@
*/
function disable() {

• Panel._appMenu = new Main.Panel.AppMenuButton(_menuManager);
• Panel.statusArea.appMenu = new Panel.AppMenuButton(_menuManager);
  _menuManager = null;
• Panel._leftBox.add(Panel._appMenu.actor);
• Panel._menus.addMenu(Panel._appMenu.menu);
• var value = GLib.Variant.new('a{sv}', { 'Gtk/ShellShowsAppMenu': GLib.Variant.new('i', 1) });
• var xsetting = new Gio.Settings({ schema: 'org.gnome.settings-daemon.plugins.xsettings' });
• xsetting.set_value('overrides', value);
• Panel._leftBox.add(Panel.statusArea.appMenu.actor);
• Panel._menus.addMenu(Panel.statusArea.appMenu.menu);
• (new Gio.Settings({ schema: 'org.gnome.settings-daemon.plugins.xsettings' })).set_value('overrides', GLib.Variant.new('a{sv}', { 'Gtk/ShellShowsAppMenu': GLib.Variant.new('i', 1) }))
  }