On Mon, Oct 14, 2013 at 6:32 AM, Paul LeoNerd <[email protected]>wrote:
> On Sun, 13 Oct 2013 14:00:15 -0700 (PDT) > Joseph Pea <[email protected]> wrote: > > > The most trouble this will cause is that some people will have to > > rewrite their mappings with the correct keystroke identifiers, which > > is very easy to do. > > > > I hope this proposal becomes reality sometime sooner than later! > > +1 > > This has been dragging on for years now (I think it was 8 years ago > that I first commented this to vim-dev@). > > We've yet to even receive agreement /that/ the problem really exists, > let along agreement on /how/ to fix it, or heaven forbid, a patch to > actually fix it. Personally, I'm in favor of extending the existing modifier byte sequence (mentioned by Bram). I also like the idea of using up to 128 bit integers, and making sure that the higher bits are usually zero, and then use variable length encoding (also mentioned by Bram, with this reference link: code.google.com/apis/protocolbuffers/docs/encoding.html). I have a suggestion. Maybe vim can participate in Google Summer of Code and find students to work on this through a summer-long effort. Considering Bram's relation to Google, I'm sure Vim would have no problem being accepted as a participating organization in the Google Summer of Code. I think you, Paul Evans, would be a good choice for the mentor who would guide the students through the effort. It'd be a win-win situation because Google would get to help the open source community (let alone the best text editor ever [IMHO]), vim would get an awesome upgrade, everyone would be able to use every key possible to make Vim truly theirs, and Bram would be happy the students got supported for their academic efforts. * /#!/*JoePea -- -- 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/groups/opt_out.
