Hi Bram, I'm the author of the JSON plugin Ingo mentioned[1]. It's built on Jeroen Ruigrok van der Werven's JSON plugin[2] and he himself recommends this update. Both works are MIT licensed[3].
I'd hereby like to submit the plugin for inclusion in the official runtime and commit myself to its maintenance. Since 9 months ago Ingo approached me about it but I wasn't sure at the moment if the plugin was ready or popular enough. With no marketing on my part the plugin has reached 241 stars on github and we've closed 20 issues[4] as its functionality has grown and been refined. Thanks, -Eli Parra 1: https://github.com/elzr/vim-json 2: http://www.vim.org/scripts/script.php?script_id=1945 3: https://github.com/elzr/vim-json/issues/6 4: https://github.com/elzr/vim-json/issues?q=is%3Aissue+is%3Aclosed On Monday, November 18, 2013 1:09:38 PM UTC-6, Bram Moolenaar wrote: > Eddie Monge wrote: > > > > > JSON is a hyper-strict subset of JavaScript-like syntax. It should not > > > be treated as JS. Treating it as JS breaks all sorts of other plugins > > > for minimum gain, if any. > > > > > > https://github.com/b4winckler/macvim/pull/39 > > > > OK, but it would be nice to have syntax and indent files for json. > > Which would borrow some parts from Javascript. > > Can't be difficult, someone wants to take this on? > > > > Oh, Ingo mentions there is some. Hmm, it's unclear where it came from. > > > > > > -- > > I have read and understood the above. X________________ > > > > /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ > > /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ > > \\\ an exciting new programming language -- http://www.Zimbu.org /// > > \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
