@pmario, @Mohammad, @all - the Text-Editor styling: good News: the PR(s) I made to change the look has been reverted upstream and the editor will have its old look when 5.1.18 gets released :o)
The style changes I proposed are of course a matter of taste and not fully thought-through. I'm glad it's not landing in the release like this, but I'd like to discuss it for 5.1.19 , where the discussion should go versus customisability all the best, Simon -- 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 post to this group, send email to tiddlywiki@googlegroups.com. Visit this group at https://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/da9b23a1-330b-4919-91d3-d1691c6c04f5%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
