mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2026-09-21 08:50:05 +00:00
Code Issues Releases Wiki Activity

Make editor font configurable, so user can easily change it to eg monospace font (#2867)

Browse Source
This commit is contained in:
Mario Pietsch
2017-06-29 16:55:49 +01:00
committed by Jeremy Ruston
parent 37cbaa08f1
commit cee7baa183
5 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
core/language/en-GB/ThemeTweaks.multids
+1
View File
@@ -12,6 +12,7 @@ Options/CodeWrapping: Wrap long lines in code blocks
Settings: Settings
Settings/FontFamily: Font family
Settings/CodeFontFamily: Code font family
Settings/EditorFontFamily: Editor font family
Settings/BackgroundImage: Page background image
Settings/BackgroundImageAttachment: Page background image attachment
Settings/BackgroundImageAttachment/Scroll: Scroll with tiddlers