mirror of
https://github.com/ZeppelinBot/Zeppelin.git
synced 2025-05-21 00:35:02 +00:00
dashboard: add ctrl+f support to config editor
This commit is contained in:
parent
087c266e4d
commit
441f3d6ca8
1 changed files with 13 additions and 12 deletions
|
@ -86,6 +86,7 @@
|
||||||
methods: {
|
methods: {
|
||||||
editorInit() {
|
editorInit() {
|
||||||
require("brace/ext/language_tools");
|
require("brace/ext/language_tools");
|
||||||
|
require('brace/ext/searchbox');
|
||||||
require("brace/mode/yaml");
|
require("brace/mode/yaml");
|
||||||
require("brace/theme/tomorrow_night");
|
require("brace/theme/tomorrow_night");
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue