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

Last bits of beautification

Browse Source
This commit is contained in:
Olaf Leidinger 2017-11-20 23:33:00 +01:00
parent 517445f2aa
commit 233ea18a56
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/icon.js
View File

@ -147,4 +147,4 @@ const Pie = {
cr.fill(); cr.fill();
cr.restore(); cr.restore();
} // draw } // draw
}; // Pie }; // Pie

8
src/prefs.js
View File

@ -47,10 +47,10 @@ const TeaTimePrefsWidget = new Lang.Class({
this._tealist = new Gtk.ListStore(); this._tealist = new Gtk.ListStore();
this._tealist.set_column_types([ this._tealist.set_column_types([
GObject.TYPE_STRING, GObject.TYPE_STRING,
GObject.TYPE_INT, GObject.TYPE_INT,
Gtk.Adjustment Gtk.Adjustment
]); ]);
this.set_column_spacing(3); this.set_column_spacing(3);