1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-12-25 17:40:29 +00:00
TiddlyWiki5/plugins/tiddlywiki/codemirror/ui/controlpanel
Leilei332 e93515f32a
Fix style of codemirror settings page (#8600)
A small fix to make its style the same as the TiddlyWiki settings page.
2024-09-15 11:49:33 +02:00
..
codemirror.tid Fix style of codemirror settings page (#8600) 2024-09-15 11:49:33 +02:00