31 lines
1.6 KiB
Diff
31 lines
1.6 KiB
Diff
--- eclipse.platform.resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/PreferenceInitializer.java.orig 2018-03-20 11:12:44.290938564 +0000
|
|
+++ eclipse.platform.resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/PreferenceInitializer.java 2018-03-20 11:13:02.098871393 +0000
|
|
@@ -25,7 +25,7 @@
|
|
|
|
// DEFAULTS
|
|
public static final boolean PREF_AUTO_REFRESH_DEFAULT = false;
|
|
- public static final boolean PREF_LIGHTWEIGHT_AUTO_REFRESH_DEFAULT = false;
|
|
+ public static final boolean PREF_LIGHTWEIGHT_AUTO_REFRESH_DEFAULT = true;
|
|
public static final boolean PREF_DISABLE_LINKING_DEFAULT = false;
|
|
public static final String PREF_ENCODING_DEFAULT = ""; //$NON-NLS-1$
|
|
public static final boolean PREF_AUTO_BUILDING_DEFAULT = true;
|
|
--- eclipse.platform/platform/org.eclipse.sdk/plugin_customization.ini.orig 2018-03-20 11:11:59.872097288 +0000
|
|
+++ eclipse.platform/platform/org.eclipse.sdk/plugin_customization.ini 2018-03-20 11:12:05.093080476 +0000
|
|
@@ -25,9 +25,6 @@
|
|
# 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
|
|
|
|
@@ -43,4 +40,4 @@
|
|
org.eclipse.ui.intro.universal/INTRO_DATA = product:introData.xml
|
|
|
|
# Order help books in table of contents
|
|
-org.eclipse.help/HELP_DATA = helpData.xml
|
|
\ No newline at end of file
|
|
+org.eclipse.help/HELP_DATA = helpData.xml
|