418231 – [EditorMgmt] [regression] Editor pin doesn't toggle, doesn't remember preference on restart

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 418231 - [EditorMgmt] [regression] Editor pin doesn't toggle, doesn't remember preference on restart

Summary: [EditorMgmt] [regression] Editor pin doesn't toggle, doesn't remember prefere...

Status:	CLOSED DUPLICATE of bug 387579

Alias:	None

Product:	Platform
Classification:	Eclipse Project
Component:	UI (show other bugs)
Version:	4.2
Hardware:	PC Linux

Importance:	P3 normal (vote)
Target Milestone:	---
Assignee:	Platform UI Triaged
QA Contact:

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2013-09-27 19:12 EDT by Eric Woodruff
Modified:	2014-09-05 12:05 EDT (History)
CC List:	3 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Eric Woodruff

2013-09-27 19:12:36 EDT

I always set editor pinning to only open 1 new editor before closing old ones, and I utilize the pinning to keep open the editors I want. Since the redesign (in 4.0?), the pinning has been broken. The pin on the toolbar never toggles to show if the editor is pinned. And the editors that are pinned (I have to discover empirically by opening new editors) are not persisted on restart.

This is a regression from the 3.x behavior.

Comment 1 Eric Woodruff

2013-10-12 23:16:34 EDT

It would be nice if the pin was still decorated on the editor tab icon so users would know which ones were in the pin state. Why was this changed?

Comment 2 Paul Webster

2013-10-15 11:48:25 EDT

(In reply to Eric Woodruff from comment #1)
> It would be nice if the pin was still decorated on the editor tab icon so
> users would know which ones were in the pin state. Why was this changed?

It's a bug

PW

Comment 3 Martin Oberhuber

2014-02-03 08:13:00 EST

Is this a duplicate of https://bugs.eclipse.org/bugs/show_bug.cgi?id=387579 ?

Comment 4 Martin Oberhuber

2014-09-05 06:26:07 EDT

Bug 387579 definitely has the longer discussion thread about editor pinning.
Unless I'm missing something, I believe this should be marked as a duplicate.

Comment 5 Dani Megert

2014-09-05 09:54:31 EDT


*** This bug has been marked as a duplicate of bug 387579 ***