16 lines
681 B
INI
16 lines
681 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.
|
|
# NLS_MESSAGEFORMAT_NONE
|
|
org.eclipse.help.base/banner=/rzari/hw_ICbanner_iseries.html
|
|
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=/rzahg/icmain.htm
|
|
org.eclipse.help.base/productIndex=rzahg
|
|
org.eclipse.help/baseTOCS=/rzahg/icnavx_toc.xml
|