diff options
| author | Markus Knauer | 2013-12-10 13:50:40 +0000 |
|---|---|---|
| committer | Markus Knauer | 2013-12-10 13:50:40 +0000 |
| commit | 6c63ef0756b33d129afe25ce04f10f5ba5326d1c (patch) | |
| tree | 6411deb39cf99b2540d26f31b2a9776587b08db8 /packages/org.eclipse.epp.package.cpp | |
| parent | c121552b8b174420c01d03004c5588eb785e8a49 (diff) | |
| download | org.eclipse.epp.packages-6c63ef0756b33d129afe25ce04f10f5ba5326d1c.tar.gz org.eclipse.epp.packages-6c63ef0756b33d129afe25ce04f10f5ba5326d1c.tar.xz org.eclipse.epp.packages-6c63ef0756b33d129afe25ce04f10f5ba5326d1c.zip | |
Re-initialize plugin_customization.ini in all packages from SDK
Over time there have been many changes to the upstream
plugin_customization.ini of the Eclipse SDK. With this change we
incorporate all those updates but keep the package specific settings
(e.g. initial perspective, m2e settings, etc.)
Additionally it enables line numbers in text editors; see bug 191154 for
further information https://bugs.eclipse.org/bugs/show_bug.cgi?id=191154
Diffstat (limited to 'packages/org.eclipse.epp.package.cpp')
| -rw-r--r-- | packages/org.eclipse.epp.package.cpp/plugin_customization.ini | 26 |
1 files changed, 16 insertions, 10 deletions
diff --git a/packages/org.eclipse.epp.package.cpp/plugin_customization.ini b/packages/org.eclipse.epp.package.cpp/plugin_customization.ini index f637095b..10a2b863 100644 --- a/packages/org.eclipse.epp.package.cpp/plugin_customization.ini +++ b/packages/org.eclipse.epp.package.cpp/plugin_customization.ini @@ -6,11 +6,6 @@ # "%key" are externalized strings defined in plugin_customization.properties # This file does not need to be translated. -# WARNING: This file defines the preference overrides for the Platform build -# (the one with no JDT or PDE), not the SDK build (aka the IDE). -# For the SDK build, use the plugin_customization.ini file in the -# org.eclipse.sdk plug-in instead. - # Property "org.eclipse.ui/defaultPerspectiveId" controls the # perspective that the workbench opens initially org.eclipse.ui/defaultPerspectiveId=org.eclipse.cdt.ui.CPerspective @@ -22,10 +17,24 @@ org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=false org.eclipse.ui/DOCK_PERSPECTIVE_BAR=topRight # show progress on startup -org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = true +org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP=true + +# show build id in the splash - only for nightly, integration, and milestone builds +org.eclipse.ui.workbench/SHOW_BUILDID_ON_STARTUP=false + +# use the window set by default +org.eclipse.ui/USE_WINDOW_WORKING_SET_BY_DEFAULT=true + +# lightweight auto-refresh on access by default +org.eclipse.core.resources/refresh.lightweight.enabled=true + +# enable line number ruler in all textual editors by default +org.eclipse.ui.editors/lineNumberRuler=true + +# Intro-related preferences (since 3.2) # Welcome theme to use -org.eclipse.ui.intro/INTRO_THEME = org.eclipse.ui.intro.universal.circles +org.eclipse.ui.intro/INTRO_THEME = org.eclipse.ui.intro.universal.slate # Root page links to show in the Universal Welcome org.eclipse.ui.intro.universal/INTRO_ROOT_PAGES = overview,tutorials,samples,whatsnew @@ -35,6 +44,3 @@ org.eclipse.ui.intro.universal/INTRO_DATA = product:introData.xml # Order help books in table of contents org.eclipse.help/HELP_DATA = helpData.xml - -# lightweight auto-refresh on access by default (bug 384104) -org.eclipse.core.resources/refresh.lightweight.enabled=true |