On Thursday, October 24, 2013 11:01:34 AM UTC-4, PMario wrote: > > On Thursday, October 24, 2013 3:17:48 PM UTC+2, Jim wrote: > >> o I modified the resizeEditor() function within the ‘CM tools and helper >>> functions’ area to support the F11 key editor resize function. It’s a bit >>> flakey, but it works for the most part – could use a bit of work. >>> >> > Your "super size" mode is different to my "full screen" mode but quite > handy. On my pc the cursor handling in "super size" mode is a bit jumpy. > Yes, the "super size" is nice, but quirky as you noted - cursor can be jumpy.
> What do you think, if we create a 3 step mode. "default size" - "full > screen" - "code size" > This would be great. Maybe we can use a field to capture the current step mode. That way there would be persistence between views too. > You might also be interested in the work I did to get the >>> ListNavJQueryPlugin working with TiddlyWiki – many folks thought is wasn’t >>> possible on the net. The required files are included and listed below… >>> >> > I did an experiment at http://apm-plugins.tiddlyspot.com/#TiddlerMapTabs. > It's built with some tricky transclusions :) > Hey, now that's neat! I like the fact that one tab contains three letters, and they are listed in three columns. Keeps the listings from getting too long in the vertical direction. Today's monitors with their wider aspect ratios don't often have a lot of vertical space. > > >> CodeMirror v3.18 seems to work quite nicely now, except for the F11 key >>> support which is a little quirky, but still quite functional. I took the >>> liberty of including my name in the Authors list on zCodeMirrorPlugin and >>> CMEditCommands. But, feel free to remove it if you so choose. And, above >>> all, thanks for getting CodeMirror to work within TiddlyWiki! >>> >> > I'll include your modifications and push the new stuff to github > https://github.com/pmario/tw.CodeMirrorPlugin v2.x will get a seperated > branch. ... The build mechanism will need to be changed to use > tiddlywiki.js ... so it'll take some time. > Cool - I'm glad you found it useful. Hopefully others will benefit too. > > have fun! > mario > -- 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/groups/opt_out.
