|
1 # plugin_customization.ini |
|
2 # sets default values for plug-in-specific preferences |
|
3 # keys are qualified by plug-in id |
|
4 # e.g., com.example.acmeplugin/myproperty=myvalue |
|
5 # java.io.Properties file (ISO 8859-1 with "\" escapes) |
|
6 # "%key" are externalized strings defined in plugin_customization.properties |
|
7 # This file does not need to be translated. |
|
8 |
|
9 # Property "org.eclipse.ui/defaultPerspectiveId" controls the |
|
10 # perspective that the workbench opens initially |
|
11 org.eclipse.ui/defaultPerspectiveId=org.eclipse.jdt.ui.JavaPerspective |
|
12 |
|
13 # new-style tabs by default |
|
14 org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=false |
|
15 |
|
16 # put the perspective switcher on the top right |
|
17 org.eclipse.ui/DOCK_PERSPECTIVE_BAR=topRight |
|
18 |
|
19 # show progress on startup |
|
20 org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP=true |
|
21 |
|
22 # show build id in the splash - only for nightly, integration, and milestone builds |
|
23 org.eclipse.ui.workbench/SHOW_BUILDID_ON_STARTUP=true |
|
24 |
|
25 # use the window set by default |
|
26 org.eclipse.ui/USE_WINDOW_WORKING_SET_BY_DEFAULT=true |
|
27 |
|
28 # Intro-related preferences (since 3.2) |
|
29 |
|
30 # Welcome theme to use |
|
31 org.eclipse.ui.intro/INTRO_THEME = org.eclipse.ui.intro.universal.circles |
|
32 |
|
33 # Root page links to show in the Universal Welcome |
|
34 org.eclipse.ui.intro.universal/INTRO_ROOT_PAGES = overview,tutorials,samples,whatsnew |
|
35 |
|
36 # Initial page layout of the Universal Welcome |
|
37 org.eclipse.ui.intro.universal/INTRO_DATA = product:introData.xml |
|
38 |
|
39 # Order help books in table of contents |
|
40 org.eclipse.help/HELP_DATA = helpData.xml |