2013-09-05 16:02:48 +02:00
|
|
|
/**
|
2020-10-29 12:51:30 +01:00
|
|
|
* This is the default settings file provided by Node-RED.
|
2013-09-05 16:02:48 +02:00
|
|
|
*
|
2020-10-29 12:51:30 +01:00
|
|
|
* It can contain any valid JavaScript code that will get run when Node-RED
|
|
|
|
* is started.
|
2013-09-05 16:02:48 +02:00
|
|
|
*
|
2020-10-29 12:51:30 +01:00
|
|
|
* Lines that start with // are commented out.
|
|
|
|
* Each entry should be separated from the entries above and below by a comma ','
|
2013-09-05 16:02:48 +02:00
|
|
|
*
|
2020-10-29 12:51:30 +01:00
|
|
|
* For more information about individual settings, refer to the documentation:
|
|
|
|
* https://nodered.org/docs/user-guide/runtime/configuration
|
2013-09-05 16:02:48 +02:00
|
|
|
**/
|
2014-10-22 22:44:01 +02:00
|
|
|
|
2013-09-05 16:02:48 +02:00
|
|
|
module.exports = {
|
2021-04-23 15:09:06 +02:00
|
|
|
// The file containing the flows. If not set, it defaults to flows_<hostname>.json
|
|
|
|
flowFile: 'flows.json',
|
|
|
|
|
|
|
|
// To enabled pretty-printing of the flow within the flow file, set the following
|
|
|
|
// property to true:
|
|
|
|
//flowFilePretty: true,
|
|
|
|
|
2013-11-13 16:42:38 +01:00
|
|
|
// the tcp port that the Node-RED web server is listening on
|
2016-04-14 10:03:15 +02:00
|
|
|
uiPort: process.env.PORT || 1880,
|
2013-12-24 14:12:17 +01:00
|
|
|
|
2013-11-08 15:50:54 +01:00
|
|
|
// By default, the Node-RED UI accepts connections on all IPv4 interfaces.
|
2018-05-01 13:43:10 +02:00
|
|
|
// To listen on all IPv6 addresses, set uiHost to "::",
|
2013-11-08 15:50:54 +01:00
|
|
|
// The following property can be used to listen on a specific interface. For
|
2013-12-24 14:12:17 +01:00
|
|
|
// example, the following would only allow connections from the local machine.
|
2013-11-08 15:50:54 +01:00
|
|
|
//uiHost: "127.0.0.1",
|
2013-12-24 14:12:17 +01:00
|
|
|
|
2013-11-13 16:42:38 +01:00
|
|
|
// Retry time in milliseconds for MQTT connections
|
2013-09-05 16:02:48 +02:00
|
|
|
mqttReconnectTime: 15000,
|
2013-11-13 16:42:38 +01:00
|
|
|
|
|
|
|
// Retry time in milliseconds for Serial port connections
|
2013-09-05 16:02:48 +02:00
|
|
|
serialReconnectTime: 15000,
|
2013-11-13 16:42:38 +01:00
|
|
|
|
|
|
|
// Retry time in milliseconds for TCP socket connections
|
|
|
|
//socketReconnectTime: 10000,
|
|
|
|
|
2013-12-24 14:12:17 +01:00
|
|
|
// Timeout in milliseconds for TCP server socket connections
|
|
|
|
// defaults to no timeout
|
|
|
|
//socketTimeout: 120000,
|
|
|
|
|
2018-03-20 00:22:14 +01:00
|
|
|
// Maximum number of messages to wait in queue while attempting to connect to TCP socket
|
|
|
|
// defaults to 1000
|
|
|
|
//tcpMsgQueueSize: 2000,
|
|
|
|
|
2016-02-15 10:45:58 +01:00
|
|
|
// Timeout in milliseconds for HTTP request connections
|
|
|
|
// defaults to 120 seconds
|
|
|
|
//httpRequestTimeout: 120000,
|
2021-02-17 13:02:27 +01:00
|
|
|
|
2021-01-14 15:38:39 +01:00
|
|
|
// Maximum buffer size for the exec node
|
|
|
|
// defaults to 10Mb
|
|
|
|
//execMaxBufferSize: 10000000,
|
2016-02-15 10:45:58 +01:00
|
|
|
|
2021-04-12 19:00:58 +02:00
|
|
|
// The working directory to handle relative file paths from within the File nodes
|
|
|
|
// defaults to the working directory of the Node-RED process.
|
|
|
|
//fileWorkingDirectory: "",
|
|
|
|
|
2021-04-26 12:45:28 +02:00
|
|
|
// Timeout in milliseconds for inbound WebSocket connections that do not
|
|
|
|
// match any configured node.
|
|
|
|
// defaults to 5000
|
2021-05-04 12:19:05 +02:00
|
|
|
//inboundWebSocketTimeout: 5000,
|
2021-04-26 12:45:28 +02:00
|
|
|
|
2014-11-09 21:55:13 +01:00
|
|
|
// The maximum length, in characters, of any message sent to the debug sidebar tab
|
2013-09-17 12:11:09 +02:00
|
|
|
debugMaxLength: 1000,
|
2013-09-05 16:02:48 +02:00
|
|
|
|
2018-01-24 23:01:07 +01:00
|
|
|
// The maximum number of messages nodes will buffer internally as part of their
|
|
|
|
// operation. This applies across a range of nodes that operate on message sequences.
|
|
|
|
// defaults to no limit. A value of 0 also means no limit is applied.
|
2019-07-30 12:52:28 +02:00
|
|
|
//nodeMessageBufferMaxLength: 0,
|
2018-01-24 23:01:07 +01:00
|
|
|
|
2017-02-27 22:04:19 +01:00
|
|
|
// To disable the option for using local files for storing keys and certificates in the TLS configuration
|
|
|
|
// node, set this to true
|
2017-03-09 21:00:54 +01:00
|
|
|
//tlsConfigDisableLocalFiles: true,
|
2017-02-27 22:04:19 +01:00
|
|
|
|
2017-01-08 23:38:40 +01:00
|
|
|
// Colourise the console output of the debug node
|
|
|
|
//debugUseColors: true,
|
|
|
|
|
2016-09-23 11:38:30 +02:00
|
|
|
// By default, credentials are encrypted in storage using a generated key. To
|
|
|
|
// specify your own secret, set the following property.
|
|
|
|
// If you want to disable encryption of credentials, set this property to false.
|
|
|
|
// Note: once you set this property, do not change it - doing so will prevent
|
|
|
|
// node-red from being able to decrypt your existing credentials and they will be
|
|
|
|
// lost.
|
|
|
|
//credentialSecret: "a-secret-key",
|
|
|
|
|
2019-03-07 20:58:54 +01:00
|
|
|
// By default, all user data is stored in a directory called `.node-red` under
|
|
|
|
// the user's home directory. To use a different location, the following
|
|
|
|
// property can be used
|
2013-11-10 01:05:58 +01:00
|
|
|
//userDir: '/home/nol/.node-red/',
|
2013-12-24 14:12:17 +01:00
|
|
|
|
2019-03-07 20:58:54 +01:00
|
|
|
// Node-RED scans the `nodes` directory in the userDir to find local node files.
|
2013-11-13 18:02:29 +01:00
|
|
|
// The following property can be used to specify an additional directory to scan.
|
|
|
|
//nodesDir: '/home/nol/.node-red/nodes',
|
2013-12-24 14:12:17 +01:00
|
|
|
|
2013-09-05 16:02:48 +02:00
|
|
|
// By default, the Node-RED UI is available at http://localhost:1880/
|
2017-09-21 14:37:34 +02:00
|
|
|
// The following property can be used to specify a different root path.
|
2014-09-22 15:33:26 +02:00
|
|
|
// If set to false, this is disabled.
|
2014-02-16 01:39:30 +01:00
|
|
|
//httpAdminRoot: '/admin',
|
|
|
|
|
|
|
|
// Some nodes, such as HTTP In, can be used to listen for incoming http requests.
|
|
|
|
// By default, these are served relative to '/'. The following property
|
2014-09-22 15:33:26 +02:00
|
|
|
// can be used to specifiy a different root path. If set to false, this is
|
|
|
|
// disabled.
|
2015-11-10 16:44:48 +01:00
|
|
|
//httpNodeRoot: '/red-nodes',
|
2015-05-19 10:45:00 +02:00
|
|
|
|
2014-02-16 01:39:30 +01:00
|
|
|
// When httpAdminRoot is used to move the UI to a different root path, the
|
2013-11-11 22:16:57 +01:00
|
|
|
// following property can be used to identify a directory of static content
|
|
|
|
// that should be served at http://localhost:1880/.
|
2016-06-19 21:25:31 +02:00
|
|
|
//httpStatic: '/home/nol/node-red-static/',
|
2013-12-24 14:12:17 +01:00
|
|
|
|
2016-10-10 11:14:08 +02:00
|
|
|
// The maximum size of HTTP request that will be accepted by the runtime api.
|
|
|
|
// Default: 5mb
|
|
|
|
//apiMaxLength: '5mb',
|
|
|
|
|
|
|
|
// If you installed the optional node-red-dashboard you can set it's path
|
2021-04-26 15:43:06 +02:00
|
|
|
// relative to httpNodeRoot
|
2021-02-17 13:02:27 +01:00
|
|
|
// Other optional properties include
|
|
|
|
// readOnly:{boolean},
|
|
|
|
// middleware:{function or array}, (req,res,next) - http middleware
|
|
|
|
// ioMiddleware:{function or array}, (socket,next) - socket.io middleware
|
2016-08-28 13:02:30 +02:00
|
|
|
//ui: { path: "ui" },
|
|
|
|
|
2015-12-10 14:20:39 +01:00
|
|
|
// Securing Node-RED
|
|
|
|
// -----------------
|
|
|
|
// To password protect the Node-RED editor and admin API, the following
|
|
|
|
// property can be used. See http://nodered.org/docs/security.html for details.
|
|
|
|
//adminAuth: {
|
|
|
|
// type: "credentials",
|
|
|
|
// users: [{
|
|
|
|
// username: "admin",
|
|
|
|
// password: "$2a$08$zZWtXTja0fB1pzD4sHCMyOCMYz2Z6dNbM6tl8sJogENOMcxWV9DN.",
|
|
|
|
// permissions: "*"
|
|
|
|
// }]
|
|
|
|
//},
|
|
|
|
|
|
|
|
// To password protect the node-defined HTTP endpoints (httpNodeRoot), or
|
|
|
|
// the static content (httpStatic), the following properties can be used.
|
2015-12-13 22:27:57 +01:00
|
|
|
// The pass field is a bcrypt hash of the password.
|
|
|
|
// See http://nodered.org/docs/security.html#generating-the-password-hash
|
|
|
|
//httpNodeAuth: {user:"user",pass:"$2a$08$zZWtXTja0fB1pzD4sHCMyOCMYz2Z6dNbM6tl8sJogENOMcxWV9DN."},
|
|
|
|
//httpStaticAuth: {user:"user",pass:"$2a$08$zZWtXTja0fB1pzD4sHCMyOCMYz2Z6dNbM6tl8sJogENOMcxWV9DN."},
|
2015-05-19 10:45:00 +02:00
|
|
|
|
2013-09-05 16:02:48 +02:00
|
|
|
// The following property can be used to enable HTTPS
|
|
|
|
// See http://nodejs.org/api/https.html#https_https_createserver_options_requestlistener
|
|
|
|
// for details on its contents.
|
2020-05-29 17:50:53 +02:00
|
|
|
// This property can be either an object, containing both a (private) key and a (public) certificate,
|
|
|
|
// or a function that returns such an object:
|
|
|
|
//// https object:
|
2013-09-05 16:02:48 +02:00
|
|
|
//https: {
|
2020-06-25 21:10:26 +02:00
|
|
|
// key: require("fs").readFileSync('privkey.pem'),
|
|
|
|
// cert: require("fs").readFileSync('cert.pem')
|
2013-09-05 16:02:48 +02:00
|
|
|
//},
|
2020-06-25 21:10:26 +02:00
|
|
|
////https function:
|
|
|
|
// https: function() {
|
|
|
|
// // This function should return the options object, or a Promise
|
|
|
|
// // that resolves to the options object
|
2020-05-02 07:54:58 +02:00
|
|
|
// return {
|
2020-06-25 21:10:26 +02:00
|
|
|
// key: require("fs").readFileSync('privkey.pem'),
|
|
|
|
// cert: require("fs").readFileSync('cert.pem')
|
2020-05-02 07:54:58 +02:00
|
|
|
// }
|
2020-06-25 21:10:26 +02:00
|
|
|
// },
|
2020-05-02 07:54:58 +02:00
|
|
|
|
2020-05-29 17:50:53 +02:00
|
|
|
// The following property can be used to refresh the https settings at a
|
|
|
|
// regular time interval in hours.
|
|
|
|
// This requires:
|
|
|
|
// - the `https` setting to be a function that can be called to get
|
|
|
|
// the refreshed settings.
|
|
|
|
// - Node.js 11 or later.
|
2020-05-29 00:11:14 +02:00
|
|
|
//httpsRefreshInterval : 12,
|
2013-09-16 19:02:57 +02:00
|
|
|
|
2016-11-16 15:24:27 +01:00
|
|
|
// The following property can be used to cause insecure HTTP connections to
|
|
|
|
// be redirected to HTTPS.
|
2018-10-12 23:50:45 +02:00
|
|
|
//requireHttps: true,
|
2016-11-16 15:17:47 +01:00
|
|
|
|
2015-12-10 14:20:39 +01:00
|
|
|
// The following property can be used to disable the editor. The admin API
|
|
|
|
// is not affected by this option. To disable both the editor and the admin
|
|
|
|
// API, use either the httpRoot or httpAdminRoot properties
|
|
|
|
//disableEditor: false,
|
|
|
|
|
2014-02-17 23:32:53 +01:00
|
|
|
// The following property can be used to configure cross-origin resource sharing
|
|
|
|
// in the HTTP nodes.
|
|
|
|
// See https://github.com/troygoode/node-cors#configuration-options for
|
|
|
|
// details on its contents. The following is a basic permissive set of options:
|
|
|
|
//httpNodeCors: {
|
|
|
|
// origin: "*",
|
|
|
|
// methods: "GET,PUT,POST,DELETE"
|
|
|
|
//},
|
2015-05-13 14:54:47 +02:00
|
|
|
|
2015-05-19 10:45:00 +02:00
|
|
|
// If you need to set an http proxy please set an environment variable
|
2015-05-21 18:45:11 +02:00
|
|
|
// called http_proxy (or HTTP_PROXY) outside of Node-RED in the operating system.
|
2015-05-19 10:45:00 +02:00
|
|
|
// For example - http_proxy=http://myproxy.com:8080
|
|
|
|
// (Setting it here will have no effect)
|
2015-05-21 18:45:11 +02:00
|
|
|
// You may also specify no_proxy (or NO_PROXY) to supply a comma separated
|
|
|
|
// list of domains to not proxy, eg - no_proxy=.acme.co,.acme.co.uk
|
2015-05-13 14:54:47 +02:00
|
|
|
|
2015-05-13 22:25:37 +02:00
|
|
|
// The following property can be used to add a custom middleware function
|
|
|
|
// in front of all http in nodes. This allows custom authentication to be
|
|
|
|
// applied to all http in nodes, or any other sort of common request processing.
|
2021-04-01 00:14:08 +02:00
|
|
|
// It can be a single function or an array of middleware functions.
|
2015-05-13 22:25:37 +02:00
|
|
|
//httpNodeMiddleware: function(req,res,next) {
|
2016-08-28 13:02:30 +02:00
|
|
|
// // Handle/reject the request, or pass it on to the http in node by calling next();
|
|
|
|
// // Optionally skip our rawBodyParser by setting this to true;
|
|
|
|
// //req.skipRawBodyParser = true;
|
|
|
|
// next();
|
2015-05-13 22:25:37 +02:00
|
|
|
//},
|
2015-05-19 10:45:00 +02:00
|
|
|
|
2020-05-05 19:13:21 +02:00
|
|
|
|
|
|
|
// The following property can be used to add a custom middleware function
|
|
|
|
// in front of all admin http routes. For example, to set custom http
|
2021-04-01 00:14:08 +02:00
|
|
|
// headers. It can be a single function or an array of middleware functions.
|
2020-05-05 19:13:21 +02:00
|
|
|
// httpAdminMiddleware: function(req,res,next) {
|
|
|
|
// // Set the X-Frame-Options header to limit where the editor
|
|
|
|
// // can be embedded
|
|
|
|
// //res.set('X-Frame-Options', 'sameorigin');
|
|
|
|
// next();
|
|
|
|
// },
|
|
|
|
|
2018-10-23 00:00:00 +02:00
|
|
|
// The following property can be used to pass custom options to the Express.js
|
|
|
|
// server used by Node-RED. For a full list of available options, refer
|
|
|
|
// to http://expressjs.com/en/api.html#app.settings.table
|
|
|
|
//httpServerOptions: { },
|
|
|
|
|
2017-01-24 22:37:08 +01:00
|
|
|
// The following property can be used to verify websocket connection attempts.
|
|
|
|
// This allows, for example, the HTTP request headers to be checked to ensure
|
|
|
|
// they include valid authentication information.
|
2017-07-14 12:34:29 +02:00
|
|
|
//webSocketNodeVerifyClient: function(info) {
|
2017-01-24 22:37:08 +01:00
|
|
|
// // 'info' has three properties:
|
|
|
|
// // - origin : the value in the Origin header
|
|
|
|
// // - req : the HTTP request
|
|
|
|
// // - secure : true if req.connection.authorized or req.connection.encrypted is set
|
|
|
|
// //
|
|
|
|
// // The function should return true if the connection should be accepted, false otherwise.
|
|
|
|
// //
|
|
|
|
// // Alternatively, if this function is defined to accept a second argument, callback,
|
|
|
|
// // it can be used to verify the client asynchronously.
|
|
|
|
// // The callback takes three arguments:
|
|
|
|
// // - result : boolean, whether to accept the connection or not
|
|
|
|
// // - code : if result is false, the HTTP error status to return
|
|
|
|
// // - reason: if result is false, the HTTP reason string to return
|
|
|
|
//},
|
|
|
|
|
2019-03-04 17:10:39 +01:00
|
|
|
// The following property can be used to seed Global Context with predefined
|
|
|
|
// values. This allows extra node modules to be made available with the
|
|
|
|
// Function node.
|
|
|
|
// For example,
|
2013-09-05 16:02:48 +02:00
|
|
|
// functionGlobalContext: { os:require('os') }
|
|
|
|
// can be accessed in a function block as:
|
2019-03-04 17:10:39 +01:00
|
|
|
// global.get("os")
|
2014-08-29 10:34:13 +02:00
|
|
|
functionGlobalContext: {
|
|
|
|
// os:require('os'),
|
2015-03-11 18:49:06 +01:00
|
|
|
// jfive:require("johnny-five"),
|
2015-03-16 18:07:17 +01:00
|
|
|
// j5board:require("johnny-five").Board({repl:false})
|
2015-01-29 14:48:50 +01:00
|
|
|
},
|
2021-03-01 19:24:16 +01:00
|
|
|
|
|
|
|
// Allow the Function node to load additional npm modules
|
|
|
|
functionExternalModules: false,
|
|
|
|
|
2019-03-04 17:10:39 +01:00
|
|
|
// `global.keys()` returns a list of all properties set in global context.
|
|
|
|
// This allows them to be displayed in the Context Sidebar within the editor.
|
|
|
|
// In some circumstances it is not desirable to expose them to the editor. The
|
|
|
|
// following property can be used to hide any property set in `functionGlobalContext`
|
|
|
|
// from being list by `global.keys()`.
|
|
|
|
// By default, the property is set to false to avoid accidental exposure of
|
|
|
|
// their values. Setting this to true will cause the keys to be listed.
|
|
|
|
exportGlobalContextKeys: false,
|
|
|
|
|
2020-12-27 12:59:12 +01:00
|
|
|
// Uncomment the following to run node-red in your preferred language:
|
|
|
|
// lang: "de",
|
2015-05-19 10:45:00 +02:00
|
|
|
|
2018-08-14 17:28:59 +02:00
|
|
|
// Context Storage
|
|
|
|
// The following property can be used to enable context storage. The configuration
|
|
|
|
// provided here will enable file-based context that flushes to disk every 30 seconds.
|
|
|
|
// Refer to the documentation for further options: https://nodered.org/docs/api/context/
|
|
|
|
//
|
|
|
|
//contextStorage: {
|
|
|
|
// default: {
|
|
|
|
// module:"localfilesystem"
|
|
|
|
// },
|
|
|
|
//},
|
|
|
|
|
2015-02-06 14:16:19 +01:00
|
|
|
// The following property can be used to order the categories in the editor
|
|
|
|
// palette. If a node's category is not in the list, the category will get
|
|
|
|
// added to the end of the palette.
|
|
|
|
// If not set, the following default order is used:
|
2020-03-13 13:44:56 +01:00
|
|
|
//paletteCategories: ['subflows', 'common', 'function', 'network', 'sequence', 'parser', 'storage'],
|
2015-01-29 14:48:50 +01:00
|
|
|
|
2015-02-03 23:02:26 +01:00
|
|
|
// Configure the logging output
|
|
|
|
logging: {
|
|
|
|
// Only console logging is currently supported
|
|
|
|
console: {
|
2015-05-19 10:45:00 +02:00
|
|
|
// Level of logging to be recorded. Options are:
|
2015-02-03 23:02:26 +01:00
|
|
|
// fatal - only those errors which make the application unusable should be recorded
|
2015-05-19 10:45:00 +02:00
|
|
|
// error - record errors which are deemed fatal for a particular request + fatal errors
|
2015-02-03 23:02:26 +01:00
|
|
|
// warn - record problems which are non fatal + errors + fatal errors
|
|
|
|
// info - record information about the general running of the application + warn + error + fatal errors
|
|
|
|
// debug - record information which is more verbose than info + info + warn + error + fatal errors
|
|
|
|
// trace - record very detailed logging + debug + info + warn + error + fatal errors
|
2017-03-03 00:12:40 +01:00
|
|
|
// off - turn off all logging (doesn't affect metrics or audit)
|
2015-02-03 23:02:26 +01:00
|
|
|
level: "info",
|
|
|
|
// Whether or not to include metric events in the log output
|
2015-12-10 14:20:39 +01:00
|
|
|
metrics: false,
|
|
|
|
// Whether or not to include audit events in the log output
|
|
|
|
audit: false
|
2015-02-03 23:02:26 +01:00
|
|
|
}
|
2018-05-18 12:03:00 +02:00
|
|
|
},
|
|
|
|
|
2021-04-01 00:14:08 +02:00
|
|
|
// Configure how the runtime will handle external npm modules.
|
|
|
|
// This covers:
|
|
|
|
// - whether the editor will allow new node modules to be installed
|
|
|
|
// - whether nodes, such as the Function node are allowed to have their
|
|
|
|
// own dynamically configured dependencies.
|
|
|
|
// The allow/denyList options can be used to limit what modules the runtime
|
|
|
|
// will install/load. It can use '*' as a wildcard that matches anything.
|
|
|
|
externalModules: {
|
|
|
|
// autoInstall: false, // Whether the runtime will attempt to automatically install missing modules
|
|
|
|
// autoInstallRetry: 30, // Interval, in seconds, between reinstall attempts
|
|
|
|
// palette: { // Configuration for the Palette Manager
|
|
|
|
// allowInstall: true, // Enable the Palette Manager in the editor
|
|
|
|
// allowUpload: true, // Allow module tgz files to be uploaded and installed
|
|
|
|
// allowList: [],
|
|
|
|
// denyList: []
|
|
|
|
// },
|
|
|
|
// modules: { // Configuration for node-specified modules
|
|
|
|
// allowInstall: true,
|
|
|
|
// allowList: [],
|
|
|
|
// denyList: []
|
|
|
|
// }
|
|
|
|
},
|
|
|
|
|
2018-05-18 12:03:00 +02:00
|
|
|
// Customising the editor
|
|
|
|
editorTheme: {
|
|
|
|
projects: {
|
|
|
|
// To enable the Projects feature, set this value to true
|
2020-11-18 13:02:45 +01:00
|
|
|
enabled: false,
|
|
|
|
workflow: {
|
|
|
|
// Set the default projects workflow mode.
|
|
|
|
// - manual - you must manually commit changes
|
|
|
|
// - auto - changes are automatically committed
|
|
|
|
// This can be overridden per-user from the 'Git config'
|
|
|
|
// section of 'User Settings' within the editor
|
|
|
|
mode: "manual"
|
|
|
|
}
|
2021-05-01 23:17:48 +02:00
|
|
|
},
|
|
|
|
codeEditor: {
|
|
|
|
lib: "ace", //can be "monaco" or "ace"
|
|
|
|
options: {
|
|
|
|
//// theme - must match the file name of a theme in
|
|
|
|
//// packages/node_modules/@node-red/editor-client/src/vendor/monaco/dist/theme
|
|
|
|
//// e.g. "tomorrow-night", "upstream-sunburst", "github", "my-theme"
|
|
|
|
theme: "vs",
|
|
|
|
//// other overrides can be set e.g. fontSize, fontFamily, fontLigatures etc.
|
|
|
|
//// for the full list, see https://microsoft.github.io/monaco-editor/api/interfaces/monaco.editor.istandaloneeditorconstructionoptions.html
|
|
|
|
//fontSize: 14,
|
|
|
|
//fontFamily: "Cascadia Code, Fira Code, Consolas, 'Courier New', monospace"
|
|
|
|
//fontFamily: "Cascadia Code, Fira Code, Consolas, 'Courier New', monospace"
|
|
|
|
//fontLigatures: true,
|
|
|
|
}
|
|
|
|
},
|
2018-10-23 00:00:00 +02:00
|
|
|
}
|
2013-09-05 16:02:48 +02:00
|
|
|
}
|