Project: Eclipse_Platform_UI
Bug 23331 [Editor Mgmt] Pinned editors not restored as pinned
Reported: 2002-09-09 11:33:02 | Status: resolved fixed

When I started up the workbench, four editors that I had previously opened were restored, but they were not pinned. They had previously been pinned when I shut down the workbench.

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