Advertisement
Guest User

Untitled

a guest
Aug 16th, 2017
47
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.41 KB | None | 0 0
  1. --- extension.js 2011-04-28 06:06:01.000000000 -0400
  2. +++ extension.js 2011-05-10 14:59:42.619762553 -0400
  3. @@ -99,7 +99,7 @@
  4. function main(metadata) {
  5. imports.gettext.bindtextdomain('gnome-shell-extensions', metadata.localedir);
  6.  
  7. - let statusMenu = Main.panel._userMenu;
  8. + let statusMenu = Main.panel._statusMenu;
  9. statusMenu.menu.removeAll();
  10. createSubMenu.call(statusMenu);
  11. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement