diff options
author | Remy Suen | 2012-02-22 15:54:04 +0000 |
---|---|---|
committer | Remy Suen | 2012-02-22 15:54:04 +0000 |
commit | 1354222a901b9cb79f1094954c9c47cc7cb15bb1 (patch) | |
tree | b69136b5cac16beef98185f7fc25999b579e783e /bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/IWorkbench.java | |
parent | 35dd54ca04c8806fe2963e04f8b71a1892a8637f (diff) | |
download | eclipse.platform.ui-1354222a901b9cb79f1094954c9c47cc7cb15bb1.tar.gz eclipse.platform.ui-1354222a901b9cb79f1094954c9c47cc7cb15bb1.tar.xz eclipse.platform.ui-1354222a901b9cb79f1094954c9c47cc7cb15bb1.zip |
Bug 372240 [Compatibility] Ctrl+W closes a non-active editor
When an editor has been brought to top, we should reevaluate
what the active editor is because the new editor may have
obscured the editor that was previously the active editor.
Diffstat (limited to 'bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/IWorkbench.java')
0 files changed, 0 insertions, 0 deletions