14 lines
745 B
INI
14 lines
745 B
INI
# plugin_customization.ini
|
|
# sets default values for plug-in-specific preferences
|
|
# keys are qualified by plug-in id
|
|
# e.g., org.eclipse.ui/RECENT_FILES=10
|
|
# 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.
|
|
# org.eclipse.ui/defaultPerspectiveId=org.eclipse.ui.resourcePerspective
|
|
org.eclipse.help.base/banner=/com.ibm.help.ic.doc/banner.htm
|
|
org.eclipse.help.base/banner_height=44
|
|
org.eclipse.help.base/windowTitlePrefix=false
|
|
org.eclipse.help.base/linksView=false
|
|
org.eclipse.help.base/help_home=/com.ibm.help.ic.doc/using_system/about_the_system.html
|
|
org.eclipse.help/baseTOCS=/com.ibm.help.ic.doc/toc.xml |