Bug 31564 - [editor mgmt] Remove EditorList Preferences and View
Summary: [editor mgmt] Remove EditorList Preferences and View
Status: VERIFIED FIXED
Alias: None
Product: Platform
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 2.1   Edit
Hardware: PC Windows XP
: P2 normal (vote)
Target Milestone: 2.1 RC1   Edit
Assignee: Andrew Irvine CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2003-02-11 12:05 EST by Andrew Irvine CLA
Modified: 2003-04-04 04:01 EST (History)
3 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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>