[gnome-shell-extensions/wip/apps-menu] apps-menu: Replace it with a new version based on AxeMenu



commit f2eb0ae12d57e1b426d41fca94b524ac5c737b34
Author: Debarshi Ray <debarshir gnome org>
Date:   Fri Jan 4 18:31:57 2013 +0100

    apps-menu: Replace it with a new version based on AxeMenu
    
    This is a severely toned down version of the original AxeMenu:
     - the column on the left has been removed, because it duplicates
       functionality provided by the places-menu and the user menu
     - the application search functionality has been removed because it
       is already provided by vanilla gnome-shell
     - the "All" category ended up being too crowded and has been replaced
       by "Favorites", so there is no separate page for it any more
    
    https://bugzilla.gnome.org/show_bug.cgi?id=692527

 extensions/apps-menu/Makefile.am                   |    1 +
 extensions/apps-menu/extension.js                  |  529 ++++++++++++++++++--
 extensions/apps-menu/metadata.json.in              |    1 +
 ...gnome.shell.extensions.apps-menu.gschema.xml.in |    8 +
 extensions/apps-menu/stylesheet.css                |    9 +-
 po/POTFILES.in                                     |    1 +
 6 files changed, 506 insertions(+), 43 deletions(-)
---
diff --git a/extensions/apps-menu/Makefile.am b/extensions/apps-menu/Makefile.am
index 86431d7..94ebc22 100644
--- a/extensions/apps-menu/Makefile.am
+++ b/extensions/apps-menu/Makefile.am
@@ -1,3 +1,4 @@
 EXTENSION_ID = apps-menu
 
 include ../../extension.mk
+include ../../settings.mk
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index faf099f..e1f033f 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -1,111 +1,556 @@
 /* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
 
+const Atk = imports.gi.Atk;
 const GMenu = imports.gi.GMenu;
 const Lang = imports.lang;
 const Shell = imports.gi.Shell;
 const St = imports.gi.St;
-
+const Clutter = imports.gi.Clutter;
 const Main = imports.ui.main;
+const Meta = imports.gi.Meta;
 const PanelMenu = imports.ui.panelMenu;
 const PopupMenu = imports.ui.popupMenu;
+const Gtk = imports.gi.Gtk;
+const Gio = imports.gi.Gio;
+const GLib = imports.gi.GLib;
+const Signals = imports.signals;
+const Layout = imports.ui.layout;
+const Pango = imports.gi.Pango;
+
+const Gettext = imports.gettext.domain('gnome-shell-extensions');
+const _ = Gettext.gettext;
+
+const ExtensionUtils = imports.misc.extensionUtils;
+const Me = ExtensionUtils.getCurrentExtension();
+const Convenience = Me.imports.convenience;
+
+const appSys = Shell.AppSystem.get_default();
+
+const APPLICATION_ICON_SIZE = 32;
+
+function fixMarkup(text, allowMarkup) {
+    if (allowMarkup) {
+        let _text = text.replace(/&(?!amp;|quot;|apos;|lt;|gt;)/g, '&amp;');
+        _text = _text.replace(/<(?!\/?[biu]>)/g, '&lt;');
+        try {
+            Pango.parse_markup(_text, -1, '');
+            return _text;
+        } catch (e) {}
+    }
+    return GLib.markup_escape_text(text, -1);
+}
+
+const ActivitiesMenuItem = new Lang.Class({
+    Name: 'ActivitiesMenuItem',
+    Extends: PopupMenu.PopupBaseMenuItem,
+
+    _init: function() {
+	this.parent();
+        this.addActor(new St.Label({ text: _("Activities Overview") }));
+    },
 
-const ICON_SIZE = 28;
+    activate: function(event) {
+        appsMenuButton.toggleMenu();
+        Main.overview.toggle();
+	this.parent(event);
+    },
+});
+
+const ApplicationMenuItem = new Lang.Class({
+    Name: 'ApplicationMenuItem',
+    Extends: PopupMenu.PopupBaseMenuItem,
+
+    _init: function(menu, app) {
+	this.parent();
+	this._app = app;
+        this._menu = menu;
+
+        let icon = this._app.create_icon_texture(APPLICATION_ICON_SIZE);
+	this.addActor(icon);
+
+        let appName = fixMarkup(this._app.get_name());
+        this.addActor(new St.Label({ text: appName }));
+    },
+
+    activate: function(event) {
+	this._app.open_new_window(event.get_time());
+        this._menu._select_category(null, null);
+        this._menu.toggleMenu();
+	this.parent(event);
+    },
+
+    setActive: function(active, params) {
+        if (active)
+            this._menu._scrollToButton(this);
+        this.parent(active, params);
+    }
+});
 
-const AppMenuItem = new Lang.Class({
-    Name: 'AppsMenu.AppMenuItem',
+const CategoryMenuItem = new Lang.Class({
+    Name: 'CategoryMenuItem',
     Extends: PopupMenu.PopupBaseMenuItem,
 
-    _init: function (app, params) {
-        this.parent(params);
+    _init: function(menu, category) {
+	this.parent();
+	this._category = category;
+        this._menu = menu;
 
-        this._app = app;
-        this.label = new St.Label({ text: app.get_name() });
-        this.addActor(this.label);
-        this._icon = app.create_icon_texture(ICON_SIZE);
-        this.addActor(this._icon, { expand: false });
+        let name;
+        if (this._category)
+            name = this._category.get_name();
+        else
+            name = _("Favorites");
+
+        this.addActor(new St.Label({ text: name }));
     },
 
-    activate: function (event) {
-        this._app.activate_full(-1, event.get_time());
+    activate: function(event) {
+        this._menu._select_category(this._category, this);
+        this._menu._scrollToCatButton(this);
+	this.parent(event);
+    },
 
-        this.parent(event);
+    setActive: function(active, params) {
+        if (active) {
+            this._menu._select_category(this._category, this);
+            this._menu._scrollToCatButton(this);
+        }
+        this.parent(active, params);
     }
+});
 
+const HotCorner = new Lang.Class({
+    Name: 'HotCorner',
+    Extends: Layout.HotCorner,
+
+    _init : function(menu) {
+        this._menu = menu;
+        this.parent();
+    },
+
+    _onCornerEntered : function() {
+        if (!this._entered) {
+            this._entered = true;
+            if (!Main.overview.animationInProgress) {
+                this._activationTime = Date.now() / 1000;
+                this.rippleAnimation();
+                Main.overview.toggle();
+            }
+        }
+        return false;
+    }
 });
 
 const ApplicationsButton = new Lang.Class({
-    Name: 'AppsMenu.ApplicationsButton',
-    Extends: PanelMenu.SystemStatusButton,
+    Name: 'ApplicationsButton',
+    Extends: PanelMenu.Button,
 
     _init: function() {
-        this.parent('start-here-symbolic');
+        this.parent(1.0, null, false);
+        Main.panel.menuManager.addMenu(this.menu);
+
+        // At this moment applications menu is not keyboard navigable at
+        // all (so not accessible), so it doesn't make sense to set as
+        // role ATK_ROLE_MENU like other elements of the panel.
+        this.actor.accessible_role = Atk.Role.LABEL;
+
+        let container = new Shell.GenericContainer();
+        container.connect('get-preferred-width', Lang.bind(this, this._containerGetPreferredWidth));
+        container.connect('get-preferred-height', Lang.bind(this, this._containerGetPreferredHeight));
+        container.connect('allocate', Lang.bind(this, this._containerAllocate));
+        this.actor.add_actor(container);
+        this.actor.name = 'panelApplications';
 
-        this._appSys = Shell.AppSystem.get_default();
-        this._installedChangedId = this._appSys.connect('installed-changed', Lang.bind(this, this._refresh));
+        this._label = new St.Label({ text: _("Applications") });
+        container.add_actor(this._label);
 
+        this.actor.label_actor = this._label;
+
+        this._hotCorner = new HotCorner(this);
+        container.add_actor(this._hotCorner.actor);
+        Main.messageTray._grabHelper.addActor(this._hotCorner.actor);
+
+        this.actor.connect('captured-event', Lang.bind(this, this._onCapturedEvent));
+
+        Main.overview.connect('showing', Lang.bind(this, function() {
+            this.actor.add_accessible_state (Atk.StateType.CHECKED);
+        }));
+        Main.overview.connect('hiding', Lang.bind(this, function() {
+            this.actor.remove_accessible_state (Atk.StateType.CHECKED);
+        }));
+
+        this._selectedItemIndex = null;
+        this._previousSelectedItemIndex = null;
+        this._activeContainer = null;
+        this.reloadFlag = true;
+        this._createLayout();
         this._display();
+        _installedChangedId = appSys.connect('installed-changed', Lang.bind(this, this.reDisplay));
+        this.menu.connect('open-state-changed', Lang.bind(this, this._onOpenStateToggled));
+
+        Main.wm.addKeybinding('menu-toggle',
+                              Convenience.getSettings(),
+                              Meta.KeyBindingFlags.NONE,
+                              Main.KeybindingMode.NORMAL | Main.KeybindingMode.OVERVIEW,
+                              function() {
+                                  appsMenuButton.toggleMenu();
+                              });
+
+        // Since the hot corner uses stage coordinates, Clutter won't
+        // queue relayouts for us when the panel moves. Queue a relayout
+        // when that happens.
+        Main.layoutManager.connect('panel-box-changed', Lang.bind(this, function() {
+            container.queue_relayout();
+        }));
     },
 
-    destroy: function() {
-        this._appSys.disconnect(this._installedChangedId);
+    _containerGetPreferredWidth: function(actor, forHeight, alloc) {
+        [alloc.min_size, alloc.natural_size] = this._label.get_preferred_width(forHeight);
+    },
 
-        this.parent();
+    _containerGetPreferredHeight: function(actor, forWidth, alloc) {
+        [alloc.min_size, alloc.natural_size] = this._label.get_preferred_height(forWidth);
     },
 
-    _refresh: function() {
-        this._clearAll();
-        this._display();
+    _containerAllocate: function(actor, box, flags) {
+        this._label.allocate(box, flags);
+
+        // The hot corner needs to be outside any padding/alignment
+        // that has been imposed on us
+        let primary = Main.layoutManager.primaryMonitor;
+        let hotBox = new Clutter.ActorBox();
+        let ok, x, y;
+        if (actor.get_text_direction() == Clutter.TextDirection.LTR) {
+            [ok, x, y] = actor.transform_stage_point(primary.x, primary.y);
+        } else {
+            [ok, x, y] = actor.transform_stage_point(primary.x + primary.width, primary.y);
+            // hotCorner.actor has northeast gravity, so we don't need
+            // to adjust x for its width
+        }
+
+        hotBox.x1 = Math.round(x);
+        hotBox.x2 = hotBox.x1 + this._hotCorner.actor.width;
+        hotBox.y1 = Math.round(y);
+        hotBox.y2 = hotBox.y1 + this._hotCorner.actor.height;
+        this._hotCorner.actor.allocate(hotBox, flags);
     },
 
-    _clearAll: function() {
-        this.menu.removeAll();
+    _createVertSeparator: function() {
+        let separator = new St.DrawingArea({ style_class: 'calendar-vertical-separator',
+                                             pseudo_class: 'highlighted' });
+        separator.connect('repaint', Lang.bind(this, this._onVertSepRepaint));
+        return separator;
     },
 
-    // Recursively load a GMenuTreeDirectory; we could put this in ShellAppSystem too
-    // (taken from js/ui/appDisplay.js in core shell)
-    _loadCategory: function(dir, menu) {
+    _onCapturedEvent: function(actor, event) {
+        if (event.type() == Clutter.EventType.BUTTON_PRESS) {
+            if (!this._hotCorner.shouldToggleOverviewOnClick())
+                return true;
+        }
+        return false;
+    },
+
+    _onButtonPress: function(actor, event) {
+        this.toggleMenu();
+    },
+
+    _onVertSepRepaint: function(area) {
+        let cr = area.get_context();
+        let themeNode = area.get_theme_node();
+        let [width, height] = area.get_surface_size();
+        let stippleColor = themeNode.get_color('-stipple-color');
+        let stippleWidth = themeNode.get_length('-stipple-width');
+        let x = Math.floor(width/2) + 0.5;
+        cr.moveTo(x, 0);
+        cr.lineTo(x, height);
+        Clutter.cairo_set_source_color(cr, stippleColor);
+        cr.setDash([1, 3], 1); // Hard-code for now
+        cr.setLineWidth(stippleWidth);
+        cr.stroke();
+    },
+
+    _addEnterEvent: function(button, callback) {
+        let _callback = Lang.bind(this, function() {
+            let parent = button.actor.get_parent();
+            if (this._activeContainer === this.categoriesBox && parent !== this._activeContainer) {
+                this._previousSelectedItemIndex = this._selectedItemIndex;
+            }
+            this._activeContainer = parent;
+            let children = this._activeContainer.get_children();
+            for (let i=0, l=children.length; i<l; i++) {
+                if (button.actor === children[i]) {
+                    this._selectedItemIndex = i;
+                }
+            };
+            callback();
+        });
+        button.connect('enter-event', _callback);
+        button.actor.connect('enter-event', _callback);
+    },
+
+    _onOpenStateToggled: function(menu, open) {
+       if (open) {
+           this._selectedItemIndex = null;
+
+           this.mainBox.show();
+           this._activeContainer = null;
+       }
+       PanelMenu.Button.prototype._onOpenStateChanged.call(this, menu, open);
+    },
+
+    reDisplay : function(e,object,p0,p1) {
+        if (this.reloadFlag && (p1 == 3 || p1 === undefined)) {
+            this._cleanControls();
+            this._display();
+        }
+        this.reloadFlag = true;
+    },
+
+    _cleanControls: function() {
+        this.categoriesBox.destroy_all_children();
+        this.applicationsBox.destroy_all_children();
+    },
+
+    _loadCategory: function(dir) {
         var iter = dir.iter();
         var nextType;
         while ((nextType = iter.next()) != GMenu.TreeItemType.INVALID) {
             if (nextType == GMenu.TreeItemType.ENTRY) {
                 var entry = iter.get_entry();
-                var app = this._appSys.lookup_app_by_tree_entry(entry);
-                if (!entry.get_app_info().get_nodisplay())
-                    menu.addMenuItem(new AppMenuItem(app));
+                if (!entry.get_app_info().get_nodisplay()) {
+                    var app = appSys.lookup_app_by_tree_entry(entry);
+                    if (!this.applicationsByCategory[dir.get_menu_id()])
+                        this.applicationsByCategory[dir.get_menu_id()] = new Array();
+                    this.applicationsByCategory[dir.get_menu_id()].push(app);
+                }
             } else if (nextType == GMenu.TreeItemType.DIRECTORY) {
-                this._loadCategory(iter.get_directory(), menu);
+                let subdir = iter.get_directory();
+                if (subdir.get_is_nodisplay()) continue;
+                this.applicationsByCategory[subdir.get_menu_id()] = new Array();
+                this._loadCategory(subdir);
+                if (this.applicationsByCategory[subdir.get_menu_id()].length > 0) {
+                   let categoryMenuItem = new CategoryMenuItem(this, subdir);
+                   this.categoriesBox.add_actor(categoryMenuItem.actor);
+                }
             }
         }
     },
 
+    _scrollToButton: function(button) {
+        var current_scroll_value = this.applicationsScrollBox.get_vscroll_bar().get_adjustment().get_value();
+        var box_height = this.applicationsScrollBox.get_allocation_box().y2 -
+                         this.applicationsScrollBox.get_allocation_box().y1;
+        var new_scroll_value = current_scroll_value;
+        if (current_scroll_value > button.actor.get_allocation_box().y1 - 10)
+            new_scroll_value = button.actor.get_allocation_box().y1 - 10;
+        if (box_height+current_scroll_value < button.actor.get_allocation_box().y2 + 10)
+            new_scroll_value = button.actor.get_allocation_box().y2-box_height + 10;
+        if (new_scroll_value != current_scroll_value)
+            this.applicationsScrollBox.get_vscroll_bar().get_adjustment().set_value(new_scroll_value);
+    },
+
+    _scrollToCatButton: function(button) {
+        var current_scroll_value = this.categoriesScrollBox.get_vscroll_bar().get_adjustment().get_value();
+        var box_height = this.categoriesScrollBox.get_allocation_box().y2 -
+                         this.categoriesScrollBox.get_allocation_box().y1;
+        var new_scroll_value = current_scroll_value;
+        if (current_scroll_value > button.actor.get_allocation_box().y1 - 10)
+            new_scroll_value = button.actor.get_allocation_box().y1-10;
+        if (box_height+current_scroll_value < button.actor.get_allocation_box().y2 + 10)
+            new_scroll_value = button.actor.get_allocation_box().y2-box_height + 10;
+        if (new_scroll_value != current_scroll_value)
+            this.categoriesScrollBox.get_vscroll_bar().get_adjustment().set_value(new_scroll_value);
+    },
+
+    _createLayout: function() {
+        let section = new PopupMenu.PopupMenuSection();
+        this.menu.addMenuItem(section);
+        this.mainBox = new St.BoxLayout({ style_class: 'main-box', vertical: false });
+        this.leftBox = new St.BoxLayout({ vertical: true });
+        this.applicationsScrollBox = new St.ScrollView({ x_fill: true, y_fill: false,
+                                                         y_align: St.Align.START,
+                                                         style_class: 'vfade' });
+        this.applicationsScrollBox.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
+        let vscroll = this.applicationsScrollBox.get_vscroll_bar();
+        vscroll.connect('scroll-start', Lang.bind(this, function() {
+            this.menu.passEvents = true;
+        }));
+        vscroll.connect('scroll-stop', Lang.bind(this, function() {
+            this.menu.passEvents = false;
+        }));
+        this.categoriesScrollBox = new St.ScrollView({ x_fill: true, y_fill: false,
+                                                       y_align: St.Align.START,
+                                                       style_class: 'vfade' });
+        this.categoriesScrollBox.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
+        vscroll = this.categoriesScrollBox.get_vscroll_bar();
+        vscroll.connect('scroll-start', Lang.bind(this, function() {
+                              this.menu.passEvents = true;
+                          }));
+        vscroll.connect('scroll-stop', Lang.bind(this, function() {
+            this.menu.passEvents = false;
+        }));
+        this.leftBox.add(this.categoriesScrollBox, { expand: true,
+                                                     x_fill: true, y_fill: true,
+                                                     y_align: St.Align.START });
+
+        let activities = new ActivitiesMenuItem();
+        this.leftBox.add(activities.actor, { expand: false,
+                                             x_fill: true, y_fill: false,
+                                             y_align: St.Align.START });
+
+        this.applicationsBox = new St.BoxLayout({ style_class: 'applications-box', vertical:true });
+        this.applicationsScrollBox.add_actor(this.applicationsBox);
+        this.categoriesBox = new St.BoxLayout({ vertical: true });
+        this.categoriesScrollBox.add_actor(this.categoriesBox, { expand: true, x_fill: false });
+
+        this.mainBox.add(this.leftBox);
+        this.mainBox.add(this._createVertSeparator(), { expand: false, x_fill: false, y_fill: true});
+        this.mainBox.add(this.applicationsScrollBox, { expand: true, x_fill: true, y_fill: true });
+        section.actor.add_actor(this.mainBox);
+    },
+
     _display : function() {
-        let tree = this._appSys.get_tree();
-        let root = tree.get_root_directory();
+        this._activeContainer = null;
+        this._applicationsButtons = new Array();
+        this.mainBox.style=('width: 640px;');
+        this.mainBox.hide();
 
+        //Load categories
+        this.applicationsByCategory = {};
+        let tree = appSys.get_tree();
+        let root = tree.get_root_directory();
+        let categoryMenuItem = new CategoryMenuItem(this, null);
+        this.categoriesBox.add_actor(categoryMenuItem.actor);
         let iter = root.iter();
         let nextType;
         while ((nextType = iter.next()) != GMenu.TreeItemType.INVALID) {
             if (nextType == GMenu.TreeItemType.DIRECTORY) {
                 let dir = iter.get_directory();
-                let item = new PopupMenu.PopupSubMenuMenuItem(dir.get_name());
-                this._loadCategory(dir, item.menu);
-                this.menu.addMenuItem(item);
+                if (dir.get_is_nodisplay()) continue;
+                this.applicationsByCategory[dir.get_menu_id()] = new Array();
+                this._loadCategory(dir);
+                if (this.applicationsByCategory[dir.get_menu_id()].length>0) {
+                   let categoryMenuItem = new CategoryMenuItem(this, dir);
+                   this.categoriesBox.add_actor(categoryMenuItem.actor);
+                }
+            }
+        }
+
+        //Load applications
+        this._displayButtons(this._listApplications(null));
+
+        let catHeight = this.categoriesBox.height + 45;
+        let smartHeight = catHeight + 20 + 'px;';
+        this.mainBox.style+=('height: ' + smartHeight);
+    },
+
+    _clearApplicationsBox: function(selectedActor) {
+        let actors = this.applicationsBox.get_children();
+        for (var i=0; i<actors.length; i++) {
+            let actor = actors[i];
+            this.applicationsBox.remove_actor(actor);
+        }
+    },
+
+    _select_category : function(dir, categoryMenuItem) {
+        if (categoryMenuItem)
+            this._clearApplicationsBox(categoryMenuItem.actor);
+        else
+            this._clearApplicationsBox(null);
+
+        if (dir)
+            this._displayButtons(this._listApplications(dir.get_menu_id()));
+        else
+            this._displayButtons(this._listApplications(null));
+    },
+
+    _displayButtons: function(apps) {
+         if (apps) {
+            for (var i=0; i<apps.length; i++) {
+               let app = apps[i];
+               if (!this._applicationsButtons[app]) {
+                  let applicationMenuItem = new ApplicationMenuItem(this, app);
+                  this._applicationsButtons[app] = applicationMenuItem;
+               }
+               if (!this._applicationsButtons[app].actor.get_parent())
+                  this.applicationsBox.add_actor(this._applicationsButtons[app].actor);
+            }
+         }
+    },
+
+    _listApplications: function(category_menu_id) {
+        var applist;
+
+        if (category_menu_id) {
+            applist = this.applicationsByCategory[category_menu_id];
+        } else {
+            applist = new Array();
+            let favorites = global.settings.get_strv('favorite-apps');
+            for (let i = 0; i < favorites.length; i++) {
+                let app = appSys.lookup_app(favorites[i]);
+                if (app)
+                    applist.push(app);
             }
         }
+
+        applist.sort(function(a,b) {
+            return a.get_name().toLowerCase() > b.get_name().toLowerCase();
+        });
+        return applist;
+    },
+
+    toggleMenu: function() {
+        if (!this.menu.isOpen) {
+            let monitor = Main.layoutManager.primaryMonitor;
+            this.menu.actor.style = ('max-height: ' +
+                                     Math.round(monitor.height - Main.panel.actor.height-80) +
+                                     'px;');
+            if (Main.overview.visible)
+                Main.overview.hide();
+            this._hotCorner.actor.hide();
+        } else {
+            this.reloadFlag = false;
+            this._select_category(null, null);
+            this._hotCorner.actor.show();
+        }
+        this.menu.toggle();
+    },
+
+    destroy: function() {
+        this.actor._delegate = null;
+        this.menu.actor.get_children().forEach(function(c) { c.destroy() });
+        this.menu.destroy();
+        Main.wm.removeKeybinding('menu-toggle');
+        this.actor.destroy();
     }
 });
 
 let appsMenuButton;
+let activitiesButton;
+let activitiesButtonLabel;
+let _installedChangedId;
+let extensionMeta;
 
 function enable() {
+    activitiesButton = Main.panel.statusArea['activities'];
+    activitiesButtonLabel = activitiesButton._label.get_text();
+    activitiesButton.hotCorner.actor.hide();
+    activitiesButton.container.hide();
     appsMenuButton = new ApplicationsButton();
-    Main.panel.addToStatusArea('apps-menu', appsMenuButton, 1, 'left');
+    Main.panel._leftBox.insert_child_at_index(appsMenuButton.container, 0);
+    Main.panel._axeMenu = appsMenuButton;
 }
 
 function disable() {
+    Main.panel._leftBox.remove_actor(appsMenuButton.container);
+    Main.panel.menuManager.removeMenu(appsMenuButton.menu);
+    appSys.disconnect(_installedChangedId);
     appsMenuButton.destroy();
+    activitiesButton.container.show();
+    activitiesButton.hotCorner.actor.show();
+    Main.panel._leftBox.insert_child_at_index(activitiesButton.container, 0);
 }
 
-function init() {
-    /* do nothing */
+function init(metadata) {
+    Convenience.initTranslations();
 }
diff --git a/extensions/apps-menu/metadata.json.in b/extensions/apps-menu/metadata.json.in
index 8d5380c..46c5759 100644
--- a/extensions/apps-menu/metadata.json.in
+++ b/extensions/apps-menu/metadata.json.in
@@ -5,6 +5,7 @@
 "gettext-domain": "@gettext_domain@",
 "name": "Applications Menu",
 "description": "Add a gnome 2.x style menu for applications",
+"original-authors": [ "e2002 bk ru", "debarshir gnome org" ],
 "shell-version": [ "@shell_current@" ],
 "url": "@url@"
 }
diff --git a/extensions/apps-menu/org.gnome.shell.extensions.apps-menu.gschema.xml.in b/extensions/apps-menu/org.gnome.shell.extensions.apps-menu.gschema.xml.in
new file mode 100644
index 0000000..56f3013
--- /dev/null
+++ b/extensions/apps-menu/org.gnome.shell.extensions.apps-menu.gschema.xml.in
@@ -0,0 +1,8 @@
+<schemalist gettext-domain="gnome-shell-extensions">
+  <schema id="org.gnome.shell.extensions.apps-menu" path="/org/gnome/shell/extensions/apps-menu/">
+    <key name="menu-toggle" type="as">
+      <default>["&lt;Super&gt;r"]</default>
+      <_summary>Toggle AxeMenu.</_summary>
+    </key>
+  </schema>
+</schemalist>
diff --git a/extensions/apps-menu/stylesheet.css b/extensions/apps-menu/stylesheet.css
index db99e0c..cb3c60b 100644
--- a/extensions/apps-menu/stylesheet.css
+++ b/extensions/apps-menu/stylesheet.css
@@ -1 +1,8 @@
-/* none used*/
+.main-box {
+    padding-top: 10px;
+    padding-right: 10px;
+    padding-bottom: 10px;
+}
+.applications-box {
+    padding-right: 5px;
+}
diff --git a/po/POTFILES.in b/po/POTFILES.in
index 6c752d6..fd6e7ae 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -5,6 +5,7 @@ extensions/alternate-tab/prefs.js
 extensions/alternative-status-menu/extension.js
 extensions/alternative-status-menu/org.gnome.shell.extensions.alternative-status-menu.gschema.xml.in
 extensions/apps-menu/extension.js
+extensions/apps-menu/org.gnome.shell.extensions.apps-menu.gschema.xml.in
 extensions/auto-move-windows/extension.js
 extensions/auto-move-windows/org.gnome.shell.extensions.auto-move-windows.gschema.xml.in
 extensions/auto-move-windows/prefs.js



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]