Re: Virtual space (was: RE: [ jEdit-users ] JEdit 4.1pre1 screenshots and plugins)

[Slava P. <sl...@je...>]

On Wed, 2002-06-19 at 19:41, mi...@re... wrote:
> I used to tinker on jEdit 4.0 preSomething with having cursor stay on a 
> column when moving up or down, even beyond the last char on a line (call that 
> Virtual Space). I hate it when the cursor follows the end of the line. The 
> cursor already moved nicely but the daytime job and whatnot prevented 
> continuing to the proper block copy/paste part. Wonderful that it is already 
> implemented by you Slava. So what would need to be added to the plain cursor 
> movement is that if you press a key in that virtual space, the char and 
> preceding whitespace would need to be added to the buffer. I wonder if there 
> is other issues with that, otherwise it wouldn't be too hard to implement.

Well a lot of code assumes that to insert at the caret position, it can
do this:

buffer.insert(textArea.getCaretPosition(),"something");

With selections in virtual space it is not a problem since most uses of
selections go through textArea.get/setSelectedText().

> I wholly agree with the need for block indentation and defaulting to the 
> vertical paste when copy/cut is done in block mode. I remember Brief and 
> other editors with its keymapping defaulted to TAB for indenting a 
> highlighted column - more natural key for it than Alt+RArrow.

This can already be achieved by deleting blocks and inserting columns
using the 'column insert' feature of the text tools plugin.

> One more big wish for jEdit is having sets of configurable keymaps, so I 
> could just pick e.g. "Brief keymap" for the general key setup and then just 
> fine-tune that. I didn't look too closely on this one, but I tend to remember 
> implementing it is not trivial. Maybe something's been done already, as I 
> haven't looked at the source code for a while?

This can be done as a plugin...
-- 
Slava Pestov