Permalink
Browse files

gnome3.6 support

  • Loading branch information...
1 parent bde3fd2 commit 09617482d9b2ba8088ee8e57fb7824c0f18dd19e @olebowle committed Nov 3, 2012
Showing with 3 additions and 7 deletions.
  1. +2 −6 timer@olebowle.gmx.com/extension.js
  2. +1 −1 timer@olebowle.gmx.com/metadata.json
@@ -36,8 +36,6 @@ const Gettext = imports.gettext.domain('gnome-shell-timer');
const Util = imports.misc.util;
const _ = Gettext.gettext;
-const Format = imports.misc.format;
-
function getSettings(schema) {
if (Gio.Settings.list_schemas().indexOf(schema) == -1)
throw _("Schema \"%s\" not found.").format(schema);
@@ -53,7 +51,6 @@ Indicator.prototype = {
_init: function() {
PanelMenu.Button.prototype._init.call(this, 0.0);
- String.prototype.format = Format.format;
// Load settings
this._settings = getSettings('org.gnome.shell.extensions.timer');
@@ -108,9 +105,8 @@ Indicator.prototype = {
load_settings();
//Set Logo
- this._logo = new St.Icon({ icon_name: 'utilities-timer',
- style_class: 'system-status-icon',
- icon_type: St.IconType.SYMBOLIC});
+ this._logo = new St.Icon({ icon_name: 'utilities-timer-symbolic',
+ style_class: 'system-status-icon'});
this.actor.add_actor(this._logo);
//Toggle timer state button
@@ -1,5 +1,5 @@
{
- "shell-version": ["3.2", "3.4"],
+ "shell-version": ["3.2", "3.4", "3.6"],
"uuid": "timer@olebowle.gmx.com",
"name": "Timer",
"url": "https://github.com/olebowle/gnome-shell-timer",

0 comments on commit 0961748

Please sign in to comment.