mitch/gnome-shell-teatime
1
0
Fork 0
mirror of https://github.com/oleid/gnome-shell-teatime.git synced 2022-04-29 18:53:50 +00:00
Code Issues Projects Releases Wiki Activity

make it work for Gnome 3.10

Browse Source
This commit is contained in:
Olaf Leidinger 2013-11-03 12:23:48 +01:00
parent 74f2f1703b
commit 8fc62efb59
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/extension.js
View File

@ -80,7 +80,7 @@ const TeaTimeFullscreenNotification = new Lang.Class({
this._label = new St.Label({ text: "Your tea is ready!", style_class: "dash-label" }); this._label = new St.Label({ text: "Your tea is ready!", style_class: "dash-label" });
this._layout.add_child(this._label); this._layout.add_child(this._label);
this._lightbox = new imports.ui.lightbox.Lightbox(Main.uiGroup, { fadeInTime: 0.5, fadeOutTime: 0.5 }); this._lightbox = new imports.ui.lightbox.Lightbox(Main.uiGroup); // Seems not to work on Gnome 3.10 { fadeInTime: 0.5, fadeOutTime: 0.5 }
this._lightbox.highlight(this._bin); this._lightbox.highlight(this._bin);
}, },
destroy: function() { destroy: function() {