Add workspace search option

2025-03-01 10:36:34 +00:00 · 2016-09-29 23:46:29 +01:00
parent 9a49fb9450
commit 18c8bbb0fc
12 changed files with 489 additions and 6 deletions
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -130,6 +130,7 @@ module.exports = function(grunt) {
                    "editor/js/ui/clipboard.js",
                    "editor/js/ui/library.js",
                    "editor/js/ui/notifications.js",
+                    "editor/js/ui/search.js",
                    "editor/js/ui/subflow.js",
                    "editor/js/ui/touch/radialMenu.js"
                ],