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
49939efa9b
commit
dfa6396cd9
@ -37,9 +37,19 @@ See also [issue #610](https://github.com/node-red/node-red/issues/610)
|
|||||||
|
|
||||||
logout: {
|
logout: {
|
||||||
redirect: "http://example.com" // As of 0.17
|
redirect: "http://example.com" // As of 0.17
|
||||||
}
|
|
||||||
},
|
},
|
||||||
|
|
||||||
|
palette: {
|
||||||
|
editable: true, // Enable/disable the Palette Manager
|
||||||
|
catalogues: [ // Alternative palette manager catalogues
|
||||||
|
'https://catalogue.nodered.org/catalogue.json'
|
||||||
|
],
|
||||||
|
theme: [ // Override node colours - rules test against category/type by RegExp.
|
||||||
|
{ category: ".*", type: ".*", color: "#f0f" }
|
||||||
|
]
|
||||||
|
},
|
||||||
|
|
||||||
|
projects: {
|
||||||
|
enabled: false // Enable the projects feature
|
||||||
|
}
|
||||||
|
},
|
Loading…
Reference in New Issue
Block a user