From efd7aa3a53deb661e25df43cf6c13379922fdc09 Mon Sep 17 00:00:00 2001
From: Simon Huber <burningtreec@gmail.com>
Date: Tue, 12 Mar 2019 17:41:22 +0100
Subject: [PATCH] Make codemirror use tiddler-editor-border palette color
 (#3819)

---
 plugins/tiddlywiki/codemirror/styles.tid | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/tiddlywiki/codemirror/styles.tid b/plugins/tiddlywiki/codemirror/styles.tid
index 3dfad6a4c..869521839 100755
--- a/plugins/tiddlywiki/codemirror/styles.tid
+++ b/plugins/tiddlywiki/codemirror/styles.tid
@@ -5,7 +5,7 @@ tags: [[$:/tags/Stylesheet]]
 
 .CodeMirror {
 	height: auto;
-	border: 1px solid #ddd;
+	border: 1px solid <<colour tiddler-editor-border>>;
 	line-height: 1.5;
 	font-family: {{$:/themes/tiddlywiki/vanilla/settings/editorfontfamily}};
 	font-size: {{$:/themes/tiddlywiki/vanilla/metrics/bodyfontsize}};