Re: [ jEdit-users ] final thought on text selection behavior (then I won't bring it up again)

[George F. <eu...@ya...>]

--- Mike <mh...@op...> wrote:
<snip>
> Perhaps I should not have said "typical windows
> editor" but rather "typical editor/word processor"
> -- I don't know of any other editor that 
> handles selections like this.  To me it is
> non-intuitive, since you expect the selection to be
> operated on, not the selection plus the line 
> the cursor is on.  That's why the highlighting is
> shown--to show you which area will be affected.
> 
> It also seems inconsistent since some operations
> (cut) only affect the highlighted lines, while
> others (indent, sort, etc) affect selection 
> plus current line.
> 
Technically this is perfectly consistent. 
Cut/copy/paste operate only on selected CHARACTERS,
where indent/sort/etc... operate on LINES.  Plus, say
you only hilited half a line, or even one character of
a line and then attempted to indent, given that you
only perform the operation on the selcted area, this
could cause major formatting problems.

> The bottom line is I was just wondering what
> everyone else thought and if there is a consensus on
> whether or not this should be 
> changed.  Is everyone else, like me, just living
> with it because "that's the way it is", or are there
> some that actual prefer it to work this 
> way?
> 
> 
> 
> -- 
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
>
http://lists.sourceforge.net/lists/listinfo/jedit-users


=====
010101000110100001101001011100110010000001110011011001010110111001110100011000010110111001100011011001010010000001110000011100100110111101100100011101010110001101100101011100110010000001100001001000000110110001100001011100100110011101100101001000000110001001101001011011100110000101110010011110010010000001110011011101000111001001101001011011100110011100101110
----------------------------------
Nathan Tenney
Alumni Utah State University
eu...@ya...
----------------------------------

__________________________________________________
Do You Yahoo!?
Get personalized email addresses from Yahoo! Mail - only $35 
a year!  http://personal.mail.yahoo.com/