File: preferences.ini

package info (click to toggle)
eclipse-platform 4.30-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 71,112 kB
  • sloc: java: 528,935; xml: 64,472; javascript: 4,902; jsp: 4,211; ansic: 870; makefile: 38
file content (16 lines) | stat: -rw-r--r-- 598 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# Toc ordering.  Ordered list of help TOC's (books) as they would appear
# on the bookshelf. All the other TOCS will be follow these books.
# Non-present TOC's on this list will be ignored. Use the location of each TOC
# as /pluginId/path/to/toc.xml. This option is deprecated, 
# use org.eclipse.help.base.HELP_DATA instead
baseTOCS= 

# Filtering by criteria
# Set true to enable criteria filtering, otherwise set false
enableCriteria=false

# List all the supported criteria names, separated by comma 
supportedCriteria= 

# Apply filtering by enablement to the infocenter
filterInfocenter=false