Cool, I wasn't sure if it was a bug or not but I've added it to the repo. Thanks!
On Wednesday, 21 April 2021 at 20:26:14 UTC+1 bmad...@gmail.com wrote: > Hi! > > It would help if you filed this problem as a bug report with screenshots > or an example wiki on the github repo ( > https://github.com/adithya-badidey/TW5-codemirror-plus) > > I will get to it either this weekend or the next. Thanks! > > On Wednesday, April 21, 2021 at 12:43:01 PM UTC-6 si wrote: > >> Hi Adithya. I noticed that this plugin makes the text boxes for the >> settings "Default tiddlers" and "Text for new journal tiddlers" unusually >> large (see Control Panel > Info > Basics). Also the text box for a blank >> new tiddler is quite a bit bigger than the default. Is there any way to >> adjust this? >> >> On Sunday, 28 March 2021 at 21:59:11 UTC+1 bmad...@gmail.com wrote: >> >>> Hi Everyone, >>> >>> I first released TW5-CodeMirror-plus six months or so back but didnt get >>> time to work on it since then. This is a major update with some nice >>> additions. >>> >>> Checkout it out here: >>> https://adithya-badidey.github.io/TW5-codemirror-plus/ >>> >>> Cheers >>> Adithya >>> >> -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywiki+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/ca6ede76-513c-4606-954e-114a775d18a9n%40googlegroups.com.