1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-10-30 14:46:19 +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