Project: JDT
Bug 303605 [content assist] overwrite highlighting on Ctrl only works first time
Reported: 2010-02-23 06:35:13 | Status: verified fixed

HEAD, was OK in 3.6M5 - Have: public class Try { void test() { Objekt o; } } - put caret after "Obj" - press Ctrl+Space - press and hold Ctrl => "ekt" is highlighted (good) - release Ctrl, press and hold again => no highlight

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/AbstractJavaCompletionProposal.java