From: Jamie L. <ja...@ea...> - 2001-02-12 17:34:04
|
whats C+ENTER? is that what used to be the "command line" ? if so, can ther be some sort of visual representation associated with this? thanx. _____________________ ///o-o\\\ Jamie LaScolea | -----Original Message----- | From: jed...@li... | [mailto:jed...@li...]On Behalf Of Slava Pestov | Sent: Saturday, February 10, 2001 10:28 PM | To: jed...@li... | Subject: Re: [ jEdit-devel ] Select Line Range | | | Hi, | | I don't like this feature because a) most people won't need it b) | it adds a | non-intuitive element to the UI and c) because you can just position the | caret on the start line and press C+ENTER 59 UP, or C+ENTER 42 DOWN, etc. | | Slava | | Oliver Rutherfurd wrote: | > | > Hey Slava, | > | > I was using 'Select Line Range' yesterday, and I was wishing I | could select | > line ranges relative to a start or end line, such as: | > | > Start Line: 231 | > End Line: +59 | > | > or | > | > Start Line: 123 | > End Line: -42 | > | > Don't know whether others would like this feature, or not - but | below is a | > diff against SelectLineRange.java with this added. | | | | -- | ----------------------------------------------- | jEdit Developers' List | jEd...@li... | http://lists.sourceforge.net/lists/listinfo/jedit-devel | |