From 9e8da016f24d788d41161a7d11bb3e0e9b5f0d5b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20J=C3=B8rgen=20Br=C3=B8nner?= <olejorgenb@yahoo.no>
Date: Sat, 12 Oct 2019 20:23:29 +0200
Subject: [PATCH] workspace-directory: prefs GUI

---
 prefs.js | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/prefs.js b/prefs.js
index b4e4f6ab..e89f9bec 100644
--- a/prefs.js
+++ b/prefs.js
@@ -295,9 +295,15 @@ class SettingsWidget {
         backgroundBox.add(background)
         backgroundBox.add(clearBackground)
 
+        let directoryChooser = new Gtk.FileChooserButton({
+            action: Gtk.FileChooserAction.SELECT_FOLDER,
+            title: 'Select workspace directory'
+        });
+
         list.add(createRow('Name', nameEntry));
         list.add(createRow('Color', colorButton));
         list.add(createRow('Background', backgroundBox));
+        list.add(createRow('Directory', directoryChooser));
 
         let rgba = new Gdk.RGBA();
         let color = settings.get_string('color');
@@ -351,6 +357,17 @@ class SettingsWidget {
             clearBackground.sensitive = settings.get_string('background') != '';
         });
 
+        let dir = settings.get_string('directory')
+        if (dir === '')
+            directoryChooser.unselect_all();
+        else
+            directoryChooser.set_filename(dir)
+
+        directoryChooser.connect('file-set', () => {
+            let dir = directoryChooser.get_filename();
+            settings.set_string('directory', dir);
+        });
+
         return list;
     }