That's correct, João's extensions to the CodeMirror plugin will appear in 5.0.7
Best wishes Jeremy On Thu, Jan 23, 2014 at 7:43 PM, João Bolila <[email protected]> wrote: > Hi, > > I have one pull request with one way of implement this > > https://github.com/jbolila/TiddlyWiki5/tree/codemirror_keymap > > and I'm using this since them without major concerns. > > > regards, > > joao bolila > > > On 23/01/14 18:36, Chris Miller wrote: > > > > > > On Thursday, January 23, 2014 10:34:04 AM UTC-8, Chris Miller wrote: > > > > I looked at the code in > > > /usr/lib/node_modules/tiddlywiki/plugins/tiddlywiki/codemirror/codemirroreditor.js > > and I found: > > > > cm = CodeMirror.fromTextArea(this.domNodes[0],{ > > lineWrapping: true, > > lineNumbers: true, > > /* keyMap: "vim", */ <== I added this, > > and it is not the answer. > > showCursorWhenSelecting: true > > > > > > When I tried the naive approach above, I got an error: "Map is > > undefined". I don't yet know enough about node.js to unravel this, > > but I hope to and any instructions and explanations are welcome. > > This is as far as I can go given the current state of my > > understanding. I hope to be able to be more help. > > > > > > Oops... I neglected to say that I _*also*_ found and downloaded vim.js > > and I put it in each of ./codemirror/keymap/vim.js and > > ./codemirror/files/keymap.vim.js and in each case I failed with the > > above "Map is undefined" error. > > > > -- > > 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. > > -- > PGP: 0xD39BB7C9 > 853F 9D17 E5F9 2EE0 50C4 B276 6B5A F53C D39B B7C9 > > -- Jeremy Ruston mailto:[email protected] -- 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.
