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 on newer shells again

Browse Source
This commit is contained in:
Olaf Leidinger 2013-11-05 22:58:22 +01:00
parent 36c0dcf131
commit 01bde6e6db
1 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/extension.js
View File

@ -150,11 +150,18 @@ const TeaTime = new Lang.Class({
this._settings = Utils.getSettings();
if ( typeof St.IconType == 'undefined' ) {
// St.IconType was removed in May 2012 by commit c21b1e5fe00a99936f67d358a931f3083304ebc8
// but it's needed for Gnome 3.4
this._logo = new St.Icon({ icon_name: 'utilities-teatime',
style_class : 'system-status-icon',
icon_size: 20 });
} else {
this._logo = new St.Icon({ icon_name: 'utilities-teatime',
icon_type: St.IconType.FULLCOLOR,
style_class : 'system-status-icon',
icon_size: 20 });
}
// set timer widget
this._timer = new St.DrawingArea({
reactive : true