[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
] [
List Home
]
Re: [platform-ui-dev] How do I ask if editor is pinned?
From
: Kai-Uwe Maetzel <
kai-uwe_maetzel@xxxxxxx
>
Date
: Thu, 31 Jan 2002 10:31:33 +0100
Delivered-to
: platform-ui-dev@eclipse.org
What is the rational behind a search perspective?
For me, searching is not an independent task. It's orthogonal to the task I am working on and the context I am working in. The working context potentially implies the search scope but even this is not for granted.
Kai
References
:
Re: [platform-ui-dev] How do I ask if editor is pinned?
From:
Daniel_Megert
Prev by Date:
Re: [platform-ui-dev] How do I ask if editor is pinned?
Next by Date:
[platform-ui-dev] Setting the Editor Threshold
Previous by thread:
Re: [platform-ui-dev] How do I ask if editor is pinned?
Next by thread:
Re: [platform-ui-dev] How do I ask if editor is pinned?
Index(es):
Date
Thread