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

Merge pull request #41 from jspitz/master

Browse Source 
Allow reordering of entries in the settings dialog via drag and drop
This commit is contained in:
oleid 2017-11-21 19:35:31 +01:00 committed by GitHub
commit 5a58727a67
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/prefs.js
View File

@ -124,6 +124,7 @@ const TeaTimePrefsWidget = new Lang.Class({
model: this._tealist,
expand: true
});
this.treeview.set_reorderable(true);
this.treeview.get_selection().set_mode(Gtk.SelectionMode.MULTIPLE);
this.attach(this.treeview, 0, curRow, 3, 1);
curRow += 1;