mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2025-08-07 22:33:50 +00:00
Code Issues Releases Wiki Activity

Merge pull request #360 from pmario/docs-cm

Browse Source 
docs: CodeMirror config tiddler
This commit is contained in:
Jeremy Ruston 2014-01-26 02:01:57 -08:00
commit 5c9a5f5cba
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
plugins/tiddlywiki/codemirror/files/codemirror.css
View File

@ -32,8 +32,9 @@
} }
.CodeMirror-linenumbers {} .CodeMirror-linenumbers {}
.CodeMirror-linenumber { .CodeMirror-linenumber {
padding: 0 3px 0 5px; font-size: 12px;
min-width: 20px; min-width: 30px;
padding: 0 2px 0 2px;
text-align: right; text-align: right;
color: #999; color: #999;
} }

5
plugins/tiddlywiki/codemirror/instructions.tid
View File

@ -2,7 +2,10 @@ title: $:/plugins/tiddlywiki/codemirror/instructions
! Configuration ! Configuration
You can configure the CodeMirror plugin by creating a tiddler called [[$:/config/CodeMirror]] containing a JSON configuration object. For example: * You can configure the CodeMirror plugin by creating a tiddler called [[$:/config/CodeMirror]] containing a JSON configuration object.
* The configuration tiddler needs to be `type: application/json`, to take effect.
For example:
``` ```
{ {