[platform-ui-dev] Workbench editor cycling

[Jared Burns <jared-eclipse@xxxxxxxxx>]

WorkbenchPage includes a method cycleEditors(boolean forward) that cycles 
through a history of editors (forward or backward) that is maintained in the 
page. I'd originally implemented my own mechanism for the EditorView I'm 
working on (http://dev.eclipse.org/bugs/show_bug.cgi?id=10941). Now that I've 
found this mechanism, of course, I'd rather throw out my duplicate work.

Is there any plan to promote this method to API on IWorkbenchPage? Since I'm 
working in the UI component, I *could* just cast the page to the 
implementation type, but I'd prefer to use the interface.

Thanks,
- Jared