mirror of
https://github.com/Jermolene/TiddlyWiki5
synced 2024-08-30 13:02:53 +00:00
8 lines
428 B
Plaintext
8 lines
428 B
Plaintext
![]() |
title: $:/core/ui/ControlPanel/Settings/codemirror/editorFont
|
||
|
tags: $:/tags/ControlPanel/Settings/CodeMirror
|
||
|
caption: {{$:/language/codemirror/editorFont/hint}}
|
||
|
|
||
|
\define lingo-base() $:/language/ThemeTweaks/
|
||
|
|
||
|
|<$link to="$:/themes/tiddlywiki/vanilla/settings/editorfontfamily"><<lingo Settings/EditorFontFamily>></$link> |<$edit-text tiddler="$:/themes/tiddlywiki/vanilla/settings/editorfontfamily" default="" tag="input"/> | |
|