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

add padding for textual countdown

Browse Source
This commit is contained in:
Olaf Leidinger 2015-02-22 13:02:38 +01:00
parent fa2c7007fa
commit b6fca8e138
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/extension.js
View File

@ -359,6 +359,9 @@ const TeaTime = new Lang.Class({
}); });
this._logo.setPadding(bHasPadding*padding); this._logo.setPadding(bHasPadding*padding);
this._graphicalTimer.setPadding(bHasPadding*padding); this._graphicalTimer.setPadding(bHasPadding*padding);
this._textualTimer.margin_right = bHasPadding*padding;
this._textualTimer.margin_left = bHasPadding*padding;
this._logo.setColor(this._primaryColor, this._secondaryColor); this._logo.setColor(this._primaryColor, this._secondaryColor);
this._graphicalTimer.setColor(this._primaryColor, this._secondaryColor); this._graphicalTimer.setColor(this._primaryColor, this._secondaryColor);
} }