From: <no...@so...> - 2001-11-26 19:47:38
|
Bugs item #485750, was opened at 2001-11-26 11:47 You can respond by visiting: http://sourceforge.net/tracker/?func=detail&atid=100588&aid=485750&group_id=588 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Double-Click on White Space Initial Comment: java.version=1.3.0 java.vendor=Sun Microsystems Inc. java.compiler=null os.name=Windows 98 os.version=4.10 os.arch=x86 jEdit: jEdit version 3.2.2 Suppose I have code such as: x = y; // assign value If I double-click on the space before the comment, jEdit selects: ; // I find this a nuisance. It may be because I have tabs rather than spaces before the comment. But I'd expect jEdit to select only spaces if I double click on white space. This may be related to jEdit's notion of what a word or non-word is. Some editors allow word characters to be specified (e.g. [a-zA-Z0-9_.%]*). Since jEdit is so configurable, this might be a possible enhancement. In the meantime, correct space selection would be nice. ---------------------------------------------------------------------- You can respond by visiting: http://sourceforge.net/tracker/?func=detail&atid=100588&aid=485750&group_id=588 |
From: <no...@so...> - 2001-11-29 02:38:46
|
Bugs item #485750, was opened at 2001-11-26 11:47 You can respond by visiting: http://sourceforge.net/tracker/?func=detail&atid=100588&aid=485750&group_id=588 Category: None Group: None >Status: Closed >Resolution: Fixed Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Double-Click on White Space Initial Comment: java.version=1.3.0 java.vendor=Sun Microsystems Inc. java.compiler=null os.name=Windows 98 os.version=4.10 os.arch=x86 jEdit: jEdit version 3.2.2 Suppose I have code such as: x = y; // assign value If I double-click on the space before the comment, jEdit selects: ; // I find this a nuisance. It may be because I have tabs rather than spaces before the comment. But I'd expect jEdit to select only spaces if I double click on white space. This may be related to jEdit's notion of what a word or non-word is. Some editors allow word characters to be specified (e.g. [a-zA-Z0-9_.%]*). Since jEdit is so configurable, this might be a possible enhancement. In the meantime, correct space selection would be nice. ---------------------------------------------------------------------- >Comment By: Slava Pestov (spestov) Date: 2001-11-28 18:38 Message: Logged In: YES user_id=2280 fixed in 4.0pre3. ---------------------------------------------------------------------- You can respond by visiting: http://sourceforge.net/tracker/?func=detail&atid=100588&aid=485750&group_id=588 |