Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- --- a/extension.js 2013-10-09 17:30:45.708060585 +0100
- +++ b/extension.js" 2013-10-09 17:47:35.788517411 +0100
- @@ -28,16 +28,19 @@
- break;
- case"8": age = "new2";
- break;
- + case"10": age = "new3";
- + break;
- default: throw new Error("Strange version number (extension.js:31).");
- }
- - if (age=="old") userMenu = Main.panel._statusArea.userMenu;
- - else userMenu = Main.panel.statusArea.userMenu;
- + if (age=="old") userMenu = Main.panel._statusArea.userMenu;
- + else if (age=="new") userMenu = Main.panel.statusArea.userMenu;
- + else userMenu = Main.panel.statusArea.aggregateMenu
- return new SettingsCenter(extensionMeta, schema);
- }
- -let new3;
- +let new4;
- function SettingsCenter(extensionMeta, schema)
- {
- @@ -101,9 +104,10 @@
- let index = null;
- let menuItems = userMenu.menu._getMenuItems();
- - //Find System Settings menu position, "Settings" on > 3.8
- - if (age=="new2") new3 = "Settings";
- - else new3 = "System Settings";
- + //Find System Settings menu position, "Settings" on > 3.8 and 3.10
- + if (age=="new2") new4 = "Settings";
- + else if (age=="new3") new4 = "System Settings";
- + else new4 = "System Settings";
- for (let i = 0; i < menuItems.length; i++)
- {
- if (
- @@ -111,7 +115,7 @@
- && typeof (menuItems[i]._children[0]) == "object"
- && typeof (menuItems[i]._children[0].actor) == "object"
- && typeof (menuItems[i]._children[0].actor.get_text) == "function"
- - && menuItems[i]._children[0].actor.get_text() == _(new3))
- + && menuItems[i]._children[0].actor.get_text() == _(new4))
- {
- index = i;
- break;
- @@ -141,7 +145,7 @@
- {
- menuItems[index].destroy();
- - let item = new PopupMenu.PopupMenuItem(_(new3));
- + let item = new PopupMenu.PopupMenuItem(_(new4));
- item.connect("activate", Lang.bind(this, this.onPreferencesActivate));
- this.settingsCenterMenu.menu.addMenuItem(item, i++);
- }
- @@ -192,7 +196,7 @@
- //Add original menu if necessary
- if (this.replaceMenu)
- {
- - let item = new PopupMenu.PopupMenuItem(_(new3));
- + let item = new PopupMenu.PopupMenuItem(_(new4));
- item.connect("activate", Lang.bind(this, this.onPreferencesActivate));
- userMenu.menu.addMenuItem(item, index);
- }
- --- a/metadata.json 2013-04-24 22:42:10.000000000 +0100
- +++ b/metadata.json" 2013-10-09 17:47:43.938467197 +0100
- @@ -7,9 +7,10 @@
- "3.4",
- "3.6",
- "3.5.4",
- - "3.8"
- + "3.8",
- + "3.10"
- ],
- "url": "https://github.com/l300lvl/settings-center-extension",
- "uuid": "SettingsCenter@xesnet.fr",
- "version": 6
- -}
- \ No newline at end of file
- +}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement