[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?


I would like to try it and see how it works. We can try to make it better once we get some feedback. I think it is important to have a uniform behavior and try to make this  behavior simple/predictable so the user understands it.

IMO, there is no decent way to have the search results in the current perspective.

Let's say I am editing a method in A.java then I search for something and A.java is part of the search result. After browsing the search results, A.java will not be showing the same method anymore and I do not have a way go to back to the initial context. Then I have to manually find the method I was editing.

Eduardo.



Daniel_Megert@xxxxxxx
Sent by: platform-ui-dev-admin@xxxxxxxxxxx

01/31/2002 02:42 AM
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?



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