diff options
| author | Gustavo Arnosti Neves <tavinus@users.noreply.github.com> | 2020-03-10 21:49:24 +0300 |
|---|---|---|
| committer | Gustavo Arnosti Neves <guneves@gmail.com> | 2020-03-11 01:50:59 +0300 |
| commit | 4a2abc28fdae6e84881d2385838a00460141dd83 (patch) | |
| tree | 8b539e4f3dfa25c461e376adc87bba6f81753e9e /js | |
| parent | f40975e80ee4e1e353549422d04dd8e6fdb6aafa (diff) | |
Fix for Searchbox (CTRL + F)
Fix for Searchbox (CTRL + F), adds brace require call for enabling the search box.
Signed-off-by: Gustavo Arnosti Neves <guneves@gmail.com>
Diffstat (limited to 'js')
| -rw-r--r-- | js/editor.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/js/editor.js b/js/editor.js index 59b6073..7d1a430 100644 --- a/js/editor.js +++ b/js/editor.js @@ -190,6 +190,7 @@ export const Texteditor = { this.file.dir = context.dir; this.fileList = context.fileList; importAce().then((_ace) => { + require('brace/ext/searchbox'); ace = _ace; this.loadEditor( Texteditor.$container, |