| # customization.ini |
| # sets default values for plug-in-specific preferences |
| # keys are qualified by plug-in id |
| # e.g., com.example.acmeplugin/myproperty=myvalue |
| # java.io.Properties file (ISO 8859-1 with "\" escapes) |
| # "%key" are externalized strings defined in plugin_customization.properties |
| # This file does not need to be translated. |
| |
| # Property "org.eclipse.ui/defaultPerspectiveId" controls the |
| # perspective that the workbench opens initially |
| org.eclipse.ui/defaultPerspectiveId=org.eclipse.efm.execution.ui.perspectiveExecution |
| |
| #org.eclipse.ui/defaultPerspectiveId=org.eclipse.efm.editing.ui.perspectiveEditing |
| #org.eclipse.ui/defaultPerspectiveId=org.eclipse.efm.modeling.ui.perspectiveModeling |
| #org.eclipse.ui/defaultPerspectiveId=org.eclipse.papyrus.infra.core.perspective |
| |
| # new-style tabs by default |
| org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=false |
| |
| # put the perspective switcher on the top right |
| org.eclipse.ui/DOCK_PERSPECTIVE_BAR=topRight |
| org.eclipse.ui/SHOW_TEXT_ON_PERSPECTIVE_BAR=true |
| |
| # show progress on startup |
| org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP=true |
| |
| # Show Intro |
| org.eclipse.ui/showIntro=true |
| |
| # a comma-separated list of root page identifiers that should be visible in the home page |
| # possible values: overview,firststeps,tutorials,samples,whatsnew,migrate,webresources |
| org.eclipse.ui.intro.universal/INTRO_ROOT_PAGES=tutorials |
| |
| # a file name pointing at the XML file with the page layout settings (see more about this below). The file name relative to the product bundle must have 'product:' prefix. |
| org.eclipse.ui.intro.universal/INTRO_DATA=product:welcome/introData.xml |
| |
| # a unique identifier of the presentation theme to be used for this product. Note that this preference comes from 'org.eclipse.ui.intro plug-in' because active theme selection is performed at the framework level. |
| org.eclipse.ui.intro/INTRO_THEME=org.eclipse.ui.intro.universal.solstice |
| |
| # the id of the page which will be shown when Eclipse starts the first time. |
| # org.eclipse.ui.intro/INTRO_START_PAGE= |
| |
| # the id of the page which will be shown when the home button is pressed. |
| # org.eclipse.ui.intro/INTRO_HOME_PAGE= |
| |
| # the id of the page which will be shown when welcome is displayed in a non-maximized form. |
| # org.eclipse.ui.intro/INTRO_STANDBY_PAGE= |
| |
