| ############################################################################### |
| # Copyright (c) 2009, 2019 Xored Software Inc and others. |
| # All rights reserved. This program and the accompanying materials |
| # are made available under the terms of the Eclipse Public License v2.0 |
| # which accompanies this distribution, and is available at |
| # https://www.eclipse.org/legal/epl-v20.html |
| # |
| # Contributors: |
| # Xored Software Inc - initial API and implementation and/or initial documentation |
| ############################################################################### |
| # 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. |
| |
| # WARNING: This file defines the preference overrides for the Platform build |
| # (the one with no JDT or PDE), not the SDK build (aka the IDE). |
| # For the SDK build, use the plugin_customization.ini file in the |
| # org.eclipse.sdk plug-in instead. |
| |
| # Property "org.eclipse.ui/defaultPerspectiveId" controls the |
| # perspective that the workbench opens initially |
| org.eclipse.ui/defaultPerspectiveId=org.eclipse.rcptt.ui.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 |
| |
| # show progress on startup |
| org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP=true |
| |
