I think that Stephen is asking for the purpose of the CodeMirror plugin. I'm away from my computer on my phone so would be grateful if someone else can step in with the necessary information,
Many thanks Jeremy — [email protected] On Tue, Sep 30, 2014 at 2:47 PM, 'Stephen Kimmel' via TiddlyWiki <[email protected]> wrote: >> >> I checked again the codemirror plugin documentation. >> >> Did you read it? Try to create the $:/config/CodeMirror >> <http://www.google.com/url?q=http%3A%2F%2Flocalhost%3A8082%2F%23%2524%253A%252Fconfig%252FCodeMirror&sa=D&sntz=1&usg=AFQjCNHMfm3_Rq5iWb258HPBSWk1Z1coRg> >> tiddler >> as descirbed and try to edit a javascript, html or JSON tiddler. >> You should see a big difference. >> > While I am grateful that you are spending the time trying to help me with > this, to be honest I am more mystified than I was before. > http://tiddlywiki.com/plugins/tiddlywiki/codemirror/ contains two regular > tiddlers that I can see; "Hello There" and "LoremIpsum". Neither of those > qualify as documentation. In the main Tiddlywiki site, there is a tiddler > "CodeMirror Plugin" which mostly references what the plugin is and where to > find it. Where is the documentation you mentioned? Which I guess means I > didn't read it. > And what does it say about the documentation if a reasonably competent user > can't find it? > -- > 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 http://groups.google.com/group/tiddlywiki. > For more options, visit https://groups.google.com/d/optout. -- 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 http://groups.google.com/group/tiddlywiki. For more options, visit https://groups.google.com/d/optout.
