Bug 2345 [Editor Mgmt] Open with a different type of editor has no effect if file already open (1GEWMSQ)
Reproduce the steps in: 1GEWMOZ: ITPUI:WIN2000 - Scripted resource editor example opens on XML files by default - new basic project - new file test.xml - the editor used is the scripted resource editor example, which totally ignores the XML file content - select test.xml in Navigator - choose Open With... / Default Text Editor - nothing happens; it's reactivating the scripted resource editor example Searching for an existing open file should also consider editor types. It should open a new editor on the file, because the editor type is different. NOTES:
bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/actions/OpenWithMenu.java
* @param menu the menu to add the item to
     * @param descriptor the editor descriptor, or null for the system editor
     * @param preferredEditor the descriptor of the preferred editor, or <code>null</code>
     */
    private void createMenuItem(Menu menu, final IEditorDescriptor descriptor,
            final IEditorDescriptor preferredEditor) {
        
        final MenuItem menuItem = new MenuItem(menu, SWT.RADIO);
        boolean isPreferred = preferredEditor != null
                && descriptor.getId().equals(preferredEditor.getId());
        menuItem.setSelection(isPreferred);
        menuItem.setText(descriptor.getLabel());
        Image image = getImage(descriptor);
        if (image != null) {
            menuItem.setImage(image);
        }
        Listener listener = new Listener() {
            public void handleEvent(Event event) {
                switch (event.type) {
                case SWT.Selection:
                    if (menuItem.getSelection())
                        openEditor(descriptor);
                    break;
                }
            }
        };
        menuItem.addListener(SWT.Selection, listener);
    }
    /* (non-Javadoc)
     * Fills the menu with perspective items.