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
private IWorkbenchPage page;
    private IAdaptable file;
    private IEditorRegistry registry = PlatformUI.getWorkbench()
            .getEditorRegistry();
    private static Hashtable imageCache = new Hashtable(11);
    /**
     * The id of this action.
     */
    public static final String ID = PlatformUI.PLUGIN_ID + ".OpenWithMenu";
    /*
     * Compares the labels from two IEditorDescriptor objects 
     */
    private static final Comparator comparer = new Comparator() {
        private Collator collator = Collator.getInstance();
        public int compare(Object arg0, Object arg1) {
            String s1 = ((IEditorDescriptor) arg0).getLabel();
            String s2 = ((IEditorDescriptor) arg1).getLabel();
            return collator.compare(s1, s2);
        }
    };
    /**
     * Constructs a new instance of <code>OpenWithMenu</code>. 
     * <p>
     * If this method is used be sure to set the selected file by invoking
     * <code>setFile</code>.  The file input is required when the user
     * selects an item in the menu.  At that point the menu will attempt to
     * open an editor with the file as its input.
     * </p>
     *
     * @param page the page where the editor is opened if an item within