1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-11-10 20:09:57 +00:00
TiddlyWiki5/plugins
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
..
tiddlywiki Fix style of codemirror settings page (#8600) 2024-09-15 11:49:33 +02:00