Hi Yakov, I did a manual update [1] at the codemirror-plugins space. From cm version 2.23 to version 2.38. 2.38 is the last one, prior to the big step to v3.0 which is not compatible anymore. (New plugins will be needed)
There have been quite some improvements with the selection handling. May be this will fix your selection problems. I did a fast test, to see if the new version works with all default languages. For me everything is fine. As I do use the codemirror stuff all the time with my pmario space (and several others), I hope I'll see, if there are problems. have fun! mario [1] http://codemirror-plugins.tiddlyspace.com -- 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
