[
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@eclipse.org
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