diff options
author | John Arthorne | 2012-04-04 12:54:37 +0000 |
---|---|---|
committer | John Arthorne | 2012-04-04 12:54:37 +0000 |
commit | 624dafba89ca9abed4397b97a1fb97b1c1b4e27f (patch) | |
tree | 3866a77d31fc07905ef9963bf977c01c5209ef7c | |
parent | b8db24d6cec6865c2b7e3a7702042b518d1fa46d (diff) | |
download | eclipse.platform-624dafba89ca9abed4397b97a1fb97b1c1b4e27f.tar.gz eclipse.platform-624dafba89ca9abed4397b97a1fb97b1c1b4e27f.tar.xz eclipse.platform-624dafba89ca9abed4397b97a1fb97b1c1b4e27f.zip |
Bug 340977 - Change default of PREF_LIGHTWEIGHT_AUTO_REFRESH to truev20120404-1254I20120405-0114I20120404-2228I20120404-2006I20120404-1351
-rw-r--r-- | platform/org.eclipse.sdk/plugin_customization.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/platform/org.eclipse.sdk/plugin_customization.ini b/platform/org.eclipse.sdk/plugin_customization.ini index e3d93bbda..6a88d79fb 100644 --- a/platform/org.eclipse.sdk/plugin_customization.ini +++ b/platform/org.eclipse.sdk/plugin_customization.ini @@ -25,6 +25,9 @@ org.eclipse.ui.workbench/SHOW_BUILDID_ON_STARTUP=true # 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
+
# Intro-related preferences (since 3.2)
# Welcome theme to use
|