[platform-ui-dev] How do I ask if editor is pinned?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[platform-ui-dev] How do I ask if editor is pinned?

From: Daniel_Megert@xxxxxxx
Date: Wed, 30 Jan 2002 18:44:30 +0100
Delivered-to: platform-ui-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/platform-ui-dev/>
List-help: <mailto:platform-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=unsubscribe>

I need to know if an editor is pinned. I could not find the corresponding API.

Background: Search reuses non-dirty editors and therefore currently also reuses a pinned editor (bug 8765). To fix it I need the above API.

Dani

Prev by Date: Re: [platform-ui-dev] Vote for new committer
Next by Date: Re: [platform-ui-dev] How do I ask if editor is pinned?
Previous by thread: [platform-ui-dev] File selection dialog that allows a directory?
Next by thread: Re: [platform-ui-dev] How do I ask if editor is pinned?
Index(es):
- Date
- Thread

Breadcrumbs