Bug 31564

Summary: [editor mgmt] Remove EditorList Preferences and View
Product: [Eclipse Project] Platform Reporter: Andrew Irvine <airvine>
Component: UIAssignee: Andrew Irvine <airvine>
Status: VERIFIED FIXED QA Contact:
Severity: normal    
Priority: P2 CC: mlq.eclipse, n.a.edgar, xdonat
Version: 2.1   
Target Milestone: 2.1 RC1   
Hardware: PC   
OS: Windows XP   
Whiteboard:

Description Andrew Irvine CLA 2003-02-11 12:06:00 EST 
Eclipse 20030206

Removal of the preferences for accessing the editorList as well as tab group 
compression has been requested prior to release of R2.1  Remove only the 
setting of the preferences, not the code that is triggerred if the preferences 
are set.  In this manner users may override the preference page if they wish 
this functionality.

Remove the EditorList view from the plugin.xml file.  Again only comment it out 
so users can uncomment if they desire the view.
Comment 1 Andrew Irvine CLA 2003-02-11 13:38:31 EST 
Resolved for 20030212 build.
User can access EditorView by editting the plugin.xml of org.eclipse.ui, 
uncommenting the EditorView entry.

User can access EditorList and TabCompression via 
org.eclipse.platform#plugin_customization.ini For example add the following two 
lines to have the pulldown active, and the tabs not compress:
org.eclipse.ui.workbench/EDITORLIST_PULLDOWN_ACTIVE=true
org.eclipse.ui.workbench/EDITOR_TAB_WIDTH=20

Values for compression were: high=3, medium=6, low=9, none=30
Comment 2 Andrew Irvine CLA 2003-03-19 15:37:43 EST 
I20030318
Comment 3 Andrew Irvine CLA 2003-03-31 16:45:17 EST 
Entry to add in plugin.xml.  Search on Views.ResourceNavigator and add below 
that entry.
  
    <view
            name="%Views.EditorView"
            icon="icons/full/cview16/editor_view.gif"
            category="org.eclipse.ui"
            class="org.eclipse.ui.internal.EditorView"
            id="org.eclipse.ui.internal.EditorView">
      </view>