From 5a586e8d6fc5e2d2db1b3ff4d615e9bfa810943a Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Tue, 21 Nov 2017 19:13:08 +0100
Subject: [PATCH] Allow reordering of entries in the settings dialog via drag
 and drop

---
 src/prefs.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/prefs.js b/src/prefs.js
index 9b03ae6..2e99a59 100644
--- a/src/prefs.js
+++ b/src/prefs.js
@@ -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;