]> git.argeo.org Git - gpl/argeo-slc.git/blob - ide/plugins/org.argeo.slc.studio.ui/plugin_customization.ini
Minimal Argeo Studio.
[gpl/argeo-slc.git] / ide / plugins / org.argeo.slc.studio.ui / plugin_customization.ini
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.argeo.slc.studio.ui.perspective
12
13 # perspective bar: hide the textual description and show icons only
14 org.eclipse.ui/SHOW_TEXT_ON_PERSPECTIVE_BAR=false
15
16 # new-style tabs by default
17 org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=false
18
19 # put the perspective switcher on the top right
20 org.eclipse.ui/DOCK_PERSPECTIVE_BAR=topRight
21
22 # show progress on startup
23 org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = true
24
25 # show build id in the splash - only for nightly, integration, and milestone builds
26 org.eclipse.ui.workbench/SHOW_BUILDID_ON_STARTUP=false
27
28 # use the window set by default
29 org.eclipse.ui/USE_WINDOW_WORKING_SET_BY_DEFAULT=true
30
31 # lightweight auto-refresh on access by default
32 org.eclipse.core.resources/refresh.lightweight.enabled=true
33
34 # enable line number ruler in all textual editors by default
35 org.eclipse.ui.editors/lineNumberRuler=true
36
37 # enable UI responsiveness monitoring by default
38 org.eclipse.ui.monitoring/monitoring_enabled=true
39
40 # log an error if UI is frozen for 1 second or longer
41 org.eclipse.ui.monitoring/long_event_error_threshold=1000
42
43 # Order help books in table of contents
44 org.eclipse.help/HELP_DATA = helpData.xml
45
46 #Ensure m2e indexing is off by default
47 org.eclipse.m2e.core/eclipse.m2.updateIndexes=false
48 org.eclipse.m2e.core/eclipse.m2.downloadSources=true
49
50 # check for updates once a week
51 # https://bugs.eclipse.org/bugs/show_bug.cgi?id=421779
52 # https://bugs.eclipse.org/bugs/show_bug.cgi?id=498116
53 org.eclipse.equinox.p2.ui.sdk.scheduler/enabled=true
54 org.eclipse.equinox.p2.ui.sdk.scheduler/schedule=on-fuzzy-schedule
55 org.eclipse.equinox.p2.ui.sdk.scheduler/fuzzy_recurrence=Once a week
56
57 # disable the Oomph preference recorder - bug 470654, bug 470430
58 # https://bugs.eclipse.org/bugs/show_bug.cgi?id=470654
59 # https://bugs.eclipse.org/bugs/show_bug.cgi?id=470430
60 org.eclipse.oomph.setup.ui/enable.preference.recorder=false