Hi, Shift-F10 in an editor tab pops up a nice list of open documents. I'm proposing to change this shortcut to Shift-MenuKey. I can add, instead of replace, it if Shift-F10 is too important for you, but replacing is easy. What do you think? Thanks, bye.