add "search code" widget in restricted

2015-05-19 10:46:17 -07:00 · 2015-05-19 10:46:17 -07:00 · 8134bc822c
--- a/editor/hub.ts
+++ b/editor/hub.ts
@ -270,6 +270,7 @@ module TDev.Browser {
                    singleReturnValue: true,
                    librariesSection: true,
                    integerNumbers: true,
+                    codeSearch: true,
                }
            },
        },