Community
Participate
Working Groups
Build Identifier: RAP 1.3.2, RAP 1.4.M6 Pinned editor image overlay is not displayed and the comment in the source code states that OverlayImage is (still) not available, which is perfectly correct. Anyway the org.eclipse.jface.viewers.DecorationOverlayIcon could do the the same job. Reproducible: Always Steps to Reproduce: 1. Allow editor reusage with IPreferenceStore prefStore = WorkbenchPlugin.getDefault().getPreferenceStore(); prefStore.setValue(IPreferenceConstants.REUSE_EDITORS, 1); prefStore.setValue(IPreferenceConstants.REUSE_EDITORS_BOOLEAN, true); 2. Pin manually an editor. 3. The editor part image is not changed.
Created attachment 192538 [details] proposed patch based on diffs from RAP 1.3.2
Created attachment 192552 [details] Clean patch This is the same patch created with Eclipse against CVS HEAD.