| # plugin_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.ui.resourcePerspective |
| org.eclipse.ui/defaultPerspectiveId=org.eclipse.bpel.ui.perspective |
| |
| # The additional perspectives to add to the perspective bar (comma-separated) |
| # org.eclipse.ui/PERSPECTIVE_BAR_EXTRAS= |
| |
| # put the perspective switcher on the top right |
| org.eclipse.ui/DOCK_PERSPECTIVE_BAR=topRight |
| |
| # old-style tabs by default |
| org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=true |
| |
| # refresh the workspace automatically |
| org.eclipse.core.resources/refresh.enabled=true |
| org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP=true |
| |
| # Link the resource view with the editors |
| org.eclipse.ui/LINK_NAVIGATOR_TO_EDITOR=true |
| |
| # Show the memory usage |
| org.eclipse.ui/SHOW_MEMORY_MONITOR=true |
