Bug 513687 - Double-click includes escape chars
Summary: Double-click includes escape chars
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 4.7   Edit
Hardware: All All
: P3 minor (vote)
Target Milestone: 4.22 M1   Edit
Assignee: Jeff Johnston CLA
QA Contact:
URL:
Whiteboard:
Keywords: bugday, helpwanted
Depends on:
Blocks:
 
Reported: 2017-03-15 03:34 EDT by Christian Dietrich CLA
Modified: 2021-09-29 13:27 EDT (History)
5 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Christian Dietrich CLA 2017-03-15 03:34:19 EDT 
consider following code

package org.xtext.example.mydsl5;

public class Demo {
	
	public static void main(String[] args) {
		System.out.println("Hello, \nWorld");
	}

}

double clicking "World" select nWorld,

i'd expect World to be selected.
i am not sure if jdt does some customization of
generic jface behaviour here
Comment 1 Dani Megert CLA 2017-04-12 11:23:02 EDT 
This works when using navigate (+ select) actions in the editor.
Comment 2 Eclipse Genie CLA 2019-08-24 02:52:21 EDT 
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet.

If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.

--
The automated Eclipse Genie.
Comment 3 Christian Dietrich CLA 2019-08-24 02:55:45 EDT 
the problem is still there in 2019-06
Comment 4 Eclipse Genie CLA 2021-08-16 08:39:18 EDT 
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet.

If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.

--
The automated Eclipse Genie.
Comment 5 Christian Dietrich CLA 2021-08-17 14:31:10 EDT 
problem still is there
Comment 6 Niraj Modi CLA 2021-08-20 07:25:39 EDT 
IMO, this is a special case for StyledText to handle, instead it should be handled in JDT-UI.
Comment 7 Eclipse Genie CLA 2021-08-20 07:29:22 EDT 
New Gerrit change created: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/184257
Comment 8 Niraj Modi CLA 2021-08-20 07:32:41 EDT 
(In reply to Eclipse Genie from comment #7)
> New Gerrit change created:
> https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/184257

Hi Jeff/Noopur,
Sharing a working patch, with limited testing.
Comment 9 Eclipse Genie CLA 2021-08-20 15:23:06 EDT 
New Gerrit change created: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/184277
Comment 10 Thomas Wolf CLA 2021-08-20 15:31:25 EDT 
(In reply to Eclipse Genie from comment #9)
> New Gerrit change created:
> https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/184277

An alternative approach. Hope you don't mind.
Comment 12 Jeff Johnston CLA 2021-09-15 15:20:52 EDT 
Released for 4.22 M1
Comment 13 Jeff Johnston CLA 2021-09-29 13:27:02 EDT 
Verified for 4.22 M1 using I20210929 build.