[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [platform-text-dev] Patch proposal
|
I'm resending this message since it didn't get posted initially.
In addition to the comments below, if you are going to provide a new key
binding for Ctrl+Up/Down I personally prefer the second option you mention
(scroll the text, don't move the caret). However, it is more difficult to
implement. You have to worry about things like what should happen if there
is no text underneath the caret once the text has been scrolled. I.e., the
caret was on a long line and now hovers over a short line.
The idea of the Ctrl+Up/Down action is to be able to view text without
moving the caret so that you can easily go back to the old caret/edit
location. Changing this to move the caret in certain cases defeats this
purpose.
That said, I don't even use this feature so I may be the only one who
thinks this is the way it should work.
Note that the default behavior of this action is defined in the SWT text
widget. org.eclipse.ui.text could certainly override it.
Knut
Ron Baldwin <ron.baldwin@xxxxxxxxxxxxxxx>
Sent by: platform-text-dev-admin@xxxxxxxxxxx
01/27/2003 04:24 PM
Please respond to platform-text-dev
To: "'platform-text-dev@xxxxxxxxxxx'" <platform-text-dev@xxxxxxxxxxx>
cc:
Subject: [platform-text-dev] Patch proposal
I would like to submit a patch for something I consider a bug, but want to
run it by the list before I spend any time on it.
In an editor, you can Ctrl+Arrow Up/Down to scroll the window without
moving
the caret position. The problem comes in when the caret scrolls off
screen
and then you hit an arrow key (without Ctrl) and the window jumps back to
where the caret is.
What I think should happen is once the caret hits the first or last
visible
line (depending on which way you are scrolling) it should not go any
further. Instead the caret should bump one line at a time as necessary to
keep it visible.
Thoughts? Comments? Green Light?
Ron
_______________________________________________
platform-text-dev mailing list
platform-text-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/platform-text-dev