Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- --- extension.js 2011-04-28 06:06:01.000000000 -0400
- +++ extension.js 2011-05-10 14:59:42.619762553 -0400
- @@ -99,7 +99,7 @@
- function main(metadata) {
- imports.gettext.bindtextdomain('gnome-shell-extensions', metadata.localedir);
- - let statusMenu = Main.panel._userMenu;
- + let statusMenu = Main.panel._statusMenu;
- statusMenu.menu.removeAll();
- createSubMenu.call(statusMenu);
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement