D'oh! Should hhave checked that. It works in pango just fine, but not in konsole (for me). So it's probably a conflict with konsole's keymap.
On Friday, 5 December 2014 17:47:44 UTC, Dmitry Ivanov wrote: > > Could it be a bug in a frontend? Have you tried shift+arrows with both vty > and pango to see that behavior is the same? > > On Fri, Dec 5, 2014 at 11:04 PM, Amy de Buitleir <a...@nualeargais.ie > <javascript:>> wrote: > >> I've been writing some documentation on the CUA mode for yi, and noticed >> a bug: >> >> Shift + up/down arrow extends/reduces selection by one line, as expected. >> Alt + shift + up/down arrow extends/reduced *rectangular* selection by >> one line, as expected >> >> Shift + left/right arrow does nothing! I would expect it to extend/reduce >> *rectangular* selection by one character. >> Alt + shift + left/right arrow extends/reduces *rectangular* selection by >> one character, as expected >> >> I have examined `Yi.Keymap.Cua`, and if my understanding of how `move` >> and `select` are defined is correct, it seems like Shift + left/right arrow >> should work. I've looked at `setMark` as well, but I haven't looked any >> deeper than that because I started to feel a bit lost. If anyone can point >> me in the right direction, I'll try to fix this problem and do a pull >> request. >> >> -- >> -- >> Yi development mailing list >> yi-d...@googlegroups.com <javascript:> >> http://groups.google.com/group/yi-devel >> --- >> You received this message because you are subscribed to the Google Groups >> "yi.devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to yi-devel+u...@googlegroups.com <javascript:>. >> For more options, visit https://groups.google.com/d/optout. >> > > -- -- Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel --- You received this message because you are subscribed to the Google Groups "yi.devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to yi-devel+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
