TiddlyWiki5/plugins/tiddlywiki/codemirror/config
Simon Huber 09d7a77f1b
Add default "tiddlywiki" styles to CodeMirror and Highlight.js (#5128)
* Update styles.tid

* Update styles.tid

* Update theme.tid

* Delete cm-theme-tiddlywiki.tid
2020-11-28 14:07:12 +00:00
..
cursorBlinkRate.tid
extraKeysTW.tid
indentUnit.tid
indentWithTabs.tid
inputStyle.tid
keyMap.tid
lineNumbers.tid
lineWrapping.tid
showCursorWhenSelecting.tid
smartIndent.tid
styleActiveLine.tid
tabSize.tid
theme.tid Add default "tiddlywiki" styles to CodeMirror and Highlight.js (#5128) 2020-11-28 14:07:12 +00:00