mirror of
https://github.com/node-red/node-red.git
synced 2023-10-10 13:36:53 +02:00
Updated Design: Editor Themes (markdown)
parent
1b4b26bb6f
commit
b3fc1f5282
@ -18,10 +18,10 @@ See also [issue #610](https://github.com/node-red/node-red/issues/610)
|
|||||||
},
|
},
|
||||||
|
|
||||||
menu: { // Hide unwanted menu items by id. see editor/js/main.js:loadEditor for complete list
|
menu: { // Hide unwanted menu items by id. see editor/js/main.js:loadEditor for complete list
|
||||||
"btn-import-library": false,
|
"menu-item-import-library": false,
|
||||||
"btn-export-library": false,
|
"menu-item-export-library": false,
|
||||||
"btn-keyboard-shortcuts": false,
|
"menu-item-keyboard-shortcuts": false,
|
||||||
"btn-help": {
|
"menu-item-help": {
|
||||||
label: "Alternative Help Link Text",
|
label: "Alternative Help Link Text",
|
||||||
url: "http://example.com"
|
url: "http://example.com"
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user