mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2025-02-18 12:00:02 +00:00
Code Issues Releases Wiki Activity

Make codemirror use tiddler-editor-border palette color (#3819)

Browse Source
This commit is contained in:
Simon Huber 2019-03-12 17:41:22 +01:00 committed by Jeremy Ruston
parent a4b24670f6
commit efd7aa3a53
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
plugins/tiddlywiki/codemirror/styles.tid
View File

@ -5,7 +5,7 @@ tags: [[$:/tags/Stylesheet]]
.CodeMirror { .CodeMirror {
height: auto; height: auto;
border: 1px solid #ddd; border: 1px solid <<colour tiddler-editor-border>>;
line-height: 1.5; line-height: 1.5;
font-family: {{$:/themes/tiddlywiki/vanilla/settings/editorfontfamily}}; font-family: {{$:/themes/tiddlywiki/vanilla/settings/editorfontfamily}};
font-size: {{$:/themes/tiddlywiki/vanilla/metrics/bodyfontsize}}; font-size: {{$:/themes/tiddlywiki/vanilla/metrics/bodyfontsize}};