|
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=com.nokia.tools.s60.ide.perspective |
|
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 org.eclipse.debug.ui/org.eclipse.debug.ui.switch_to_perspective=always |
|
23 org.eclipse.core.resources/description.autobuilding=false |
|
24 |
|
25 com.nokia.tools.s60.ide/com.nokia.tools.s60.ide.activate.perspective=always |
|
26 |
|
27 #where to store temporary files during packaging this is important for licensees |
|
28 com.nokia.tools.screen.ui/com.nokia.tools.screen.ui.packaging.dir=project |
|
29 |
|
30 org.eclipse.help/ignoredTOCS=/org.eclipse.platform.doc.user/toc.xml,\ |
|
31 /org.eclipse.platform.doc.isv/toc.xml,\ |
|
32 /org.eclipse.jdt.doc.user/toc.xml,\ |
|
33 /org.eclipse.jdt.doc.isv/toc.xml,\ |
|
34 /org.eclipse.pde.doc.user/toc.xml,\ |
|
35 /org.eclipse.emf.doc/toc.xml,\ |
|
36 /org.eclipse.emf.ecore.sdo.doc/toc.xml,\ |
|
37 /org.eclipse.gef.doc.isv/toc.xml,\ |
|
38 /org.eclipse.wst.doc.isv/toc.xml,\ |
|
39 /org.eclipse.wst.doc.user/toc.xml,\ |
|
40 /org.eclipse.xsd.doc/toc.xml,\ |
|
41 /org.eclipse.ve.doc/ve.xml |
|
42 |
|
43 # enable/disable dynamic tooltips |
|
44 com.nokia.tools.media.utils/dynamicTooltip=true |
|
45 |
|
46 # enable/disable svg colorizing support |
|
47 com.nokia.tools.s60.ide/svgColorizing=true |
|
48 |
|
49 # animation duration |
|
50 com.nokia.tools.screen.ui/com.nokia.tools.screen.ui.max.animation.duration=-1 |
|
51 |
|
52 # packaging optimization (experimental) |
|
53 com.nokia.tools.screen.ui/com.nokia.tools.screen.ui.packaging.optimization.enabled=false |
|
54 |
|
55 # changing the home page for help system |
|
56 org.eclipse.help.base/help_home=\ |
|
57 /com.nokia.tools.carbide.ui.themeedition.doc/doc/help_home.html |
|
58 |