Sebastian, I am sure you can influence the code mirror css, although it has the line highlight feature so this may make intervention a little more complx.
Regards Tony On Friday, September 28, 2018 at 1:43:28 PM UTC+10, Sebastian Heyneman wrote: > > Tony, > > This is sweet. Can I modify codemirror to have the F8F8F8 editor > background color and the default editing font? > > I'll poke around the CodeMirror page to see if something comes up. > > Regards > Sebastian > > On Thursday, September 27, 2018 at 8:19:22 PM UTC-7, TonyM wrote: >> >> Sebastian, >> >> I got a lot of value recently doing a class room subject on BigData, it >> was fantastic for notes, review and documentation/links >> >> If you install the code Mirror Plugins you can include a see >> ControlPanel, Plugins, Get more plugins >> >> Also I often open large tiddlers for edit and use the browsers FF ctrl-f >> to find within the tiddler >> >> For more complex editing and replacing within a Tiddler I use the Firefox >> add on withExEditor to open the editing text field in the Free NotePad++ (I >> use the PortableApps.com version) >> >> Regards >> Tony >> >> On Friday, September 28, 2018 at 12:00:36 PM UTC+10, Sebastian Heyneman >> wrote: >>> >>> Hi. I'm a big fan of the desktop version of TiddlyWiki. I'm taking a >>> MOOC on probability and it has been a great joy to spread topics around >>> distinct Tiddlers and have something I can reference again and again in my >>> professional work. >>> >>> The search function is really spectacular. Is there an equivalent for >>> within a tiddler? >>> >>> The example that comes to mind is that I find myself searching for an >>> equation or phrase in a large Tiddler or a list of concepts and then I'm >>> scanning line-by-line to hunt it down. Thanks! >>> >>> >>> ~~~~ >>> ps, I wanted to add - the work this community has done to build >>> TiddlyWiki as a free, decentralized service is just really damn cool. >>> >> -- 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 [email protected]. To post to this group, send email to [email protected]. 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/2d141087-4301-4495-9c9c-c59cea8e479f%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
