Hi Thomas, yes with the official one
I have to look for the wiki where I did it, I'll post you the how-to then Simon Am Samstag, 3. Februar 2018 11:43:42 UTC+1 schrieb Thomas Elmiger: > > Hi Simon, > > Do you use this with the official Code Mirror plugin? > https://tiddlywiki.com/plugins/tiddlywiki/codemirror/ > > How did you include the addon? > > Best regards, > Thomas > > Am Samstag, 3. Februar 2018 04:10:52 UTC+1 schrieb BurningTreeC: >> >> Hi @RunningUtes, >> >> you could use CodeMirror's search&replace: >> http://codemirror.net/doc/manual.html#addon_search >> >> I've used it before, it works :) >> >> 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/968cf780-6ea7-47ee-99df-91706955ce50%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.