Project: Eclipse_Platform_UI
Bug 22071 [Editor Mgmt] Graphical hint for pinned editor
Reported: 2002-07-31 06:20:15 | Status: verified fixed

It would be nice if a pinned editor window would have some graphical decorator so that one immediately sees that it is pinned.

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/EditorManager.java bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/EditorSite.java bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/OverlayIcon.java