| commit | 22b991e05e1d86e9fce2ae9c840f0964998296c8 | [log] [tgz] |
|---|---|---|
| author | Markus Keller <markus_keller@ch.ibm.com> | Tue Sep 23 19:29:16 2014 +0200 |
| committer | Markus Keller <markus_keller@ch.ibm.com> | Tue Sep 23 19:29:16 2014 +0200 |
| tree | 996c0c61e40940b3d80231316b930dffeaeb4a53 | |
| parent | 76a4576bcc03624b248334e9eeafabdc500b3428 [diff] |
Bug 444831: [projection] Selection lost when trying to cut folded text
diff --git a/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java b/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java index cc28cc0..7e3d27e 100644 --- a/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java +++ b/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java
@@ -1431,7 +1431,7 @@ if (redraws()) { selection= (ITextSelection) getSelection(); if (exposeModelRange(new Region(selection.getOffset(), selection.getLength()))) - return; + setSelection(selection); if (selection.getLength() == 0) copyMarkedRegion(true);