From 50cc6487990ee7e9c564e8d6e3c1047776cff3ef Mon Sep 17 00:00:00 2001 From: yosmoc Date: Mon, 14 May 2018 22:56:45 +0200 Subject: [PATCH] set default plantuml server --- browser/main/lib/ConfigManager.js | 1 + 1 file changed, 1 insertion(+) diff --git a/browser/main/lib/ConfigManager.js b/browser/main/lib/ConfigManager.js index ee8a57c7..79fe0f5f 100644 --- a/browser/main/lib/ConfigManager.js +++ b/browser/main/lib/ConfigManager.js @@ -53,6 +53,7 @@ export const DEFAULT_CONFIG = { latexInlineClose: '$', latexBlockOpen: '$$', latexBlockClose: '$$', + plantUMLServerAddress: 'http://www.plantuml.com/plantuml', scrollPastEnd: false, smartQuotes: true, sanitize: 'STRICT' // 'STRICT', 'ALLOW_STYLES', 'NONE'