gui: Split device list in folder sharing options by shared / unshared (#5756)

2019-10-21 21:28:10 +02:00
parent 9084510e1b
commit 8b5bd45a29
3 changed files with 53 additions and 12 deletions
--- a/gui/default/syncthing/app.js
+++ b/gui/default/syncthing/app.js
@@ -66,6 +66,14 @@ function folderCompare(a, b) {
    return labelA > labelB;
 }

+function deviceMap(l) {
+    var m = {};
+    l.forEach(function (r) {
+        m[r.deviceID] = r;
+    });
+    return m;
+}
+
 function folderMap(l) {
    var m = {};
    l.forEach(function (r) {