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

[Daniel_Megert@xxxxxxx]

The Search perspective is an open feature request. I will convert Search to the default workbench behavior for the next I-build and hope for feedback on this forum.

I don't think the new behavior will work out well (at least not for everybody, since there were feature requests for the current behavior). I agree that depending on a users working style a Search perspective would help but it should also be possible to look at search results in a decent way in the current perspective:
Let's say I want to use 10 editors and no Search perspective (if available in the future) then I would "pollute" my perspective with search result related editors until 10 are open.

Dani

Eduardo_Pereira@xxxxxxx Sent by: platform-ui-dev-admin@xxxxxxxxxxx 01/30/02 09:26 PM Please respond to platform-ui-dev

To:        platform-ui-dev@xxxxxxxxxxx         cc:                 Subject:        Re: [platform-ui-dev] How do I ask if editor is pinned?

There is no API that returns if an editor is pinned or not. 

The idea is that you should not do editor management. It should be done at the workbench level. So search, debugger and any other plugin that open editors would have the same behavior. 

There are two API in WorkbenchPage related to editor management: 
        public int getEditorReuseThreshold(); 
        public void setEditorReuseThreshold(int openEditors); 
The idea is that  each page has a number of editors opened before they are reused and editors are reused in the order they were activated. This number is got from the workbench preference page (Number of opened editors before reusing) but can be overwritten programmatically. For example the debugger perspective could overwrite it to be "1". 

I would expect Search to open the editors and let them be closed according the number set by the user. I have hacked the Debugger to do it and I liked the result but I did not try Search. 

PS: As a user I would like to see a "Search perspective" which I could open in another window instead of having only a view. 
That way the search would not change the context of the perspective I am developing in. 

Eduardo.

Daniel_Megert@xxxxxxx Sent by: platform-ui-dev-admin@xxxxxxxxxxx 01/30/2002 12:44 PM Please respond to platform-ui-dev

To:        platform-ui-dev@xxxxxxxxxxx        cc:                Subject:        [platform-ui-dev] How do I ask if editor is pinned?

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