Re: [platform-ui-dev] Filter and Switch between Workbench Elements

["Daniel Megert" <daniel_megert@xxxxxxxxxx>]

With this change, Ctrl+E no longer lists
the editors as they appear in the editor area. So, for example switching
quickly to the first / left-most editor by selecting the first element
in the list no longer works. This might disturb heavy users of Ctrl+E.

Dani



From:      
 Patrik Suzzi <psuzzi@xxxxxxxxx>
To:      
 "Eclipse Platform
UI component developers list." <platform-ui-dev@xxxxxxxxxxx>
Date:      
 15.10.2016 14:05
Subject:    
   [platform-ui-dev]
Filter and Switch between Workbench Elements
Sent by:    
   platform-ui-dev-bounces@xxxxxxxxxxx

---

Hi All,

I recently fixed Bug
368977, so when you press Ctrl+E you can filter
editors among the same list you see when pressing Ctrl+F7 (switch editors)
See: https://www.eclipse.org/eclipse/news/4.7/M3/#ctrl-e-command-improvements

Then, with Bug
504082 (and related), I ensured we use the same
base class  for filtering Editors (Ctrl+E) and switching among Editors,
Views, Perspectives and Pages (Ctrl+F6/F7F8 and Alt+F7)

Note: With the new shared base class, you can turn a selectable list
(Ctrl+F6) into a filtered list (Ctrl+E), just by switching a boolean flag. 

This e-mail is for:

(1.) Tell you about the changes so you can try the commands
and verify your workflow is not affected by the change. Don't forget to
check also how it looks now with the Dark Theme! 

(2.) Ask : Do you like the idea of converting the Switch
Editor (Ctrl+F6) and Switch View (Ctrl+F7) dialogs from "cycle through
a list" to "filter elements and cycle through a list"
?

--> To check the difference: get the latest I-build,
open some editors and try:
* Ctrl+E : to "filter elements and cycle through
a list"
* Ctrl+F6 : to  "cycle through a list"

Best Regards,

Patrik Suzzi
Software Engineer, Eclipse
Platform UI Committer
https://about.me/psuzzi
_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe
from this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev