diff options
Diffstat (limited to 'packages/org.eclipse.epp.package.reporting')
| -rw-r--r-- | packages/org.eclipse.epp.package.reporting/plugin_customization.ini | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/packages/org.eclipse.epp.package.reporting/plugin_customization.ini b/packages/org.eclipse.epp.package.reporting/plugin_customization.ini index 0849b75f..3d04f49a 100644 --- a/packages/org.eclipse.epp.package.reporting/plugin_customization.ini +++ b/packages/org.eclipse.epp.package.reporting/plugin_customization.ini @@ -34,4 +34,7 @@ org.eclipse.ui.intro.universal/INTRO_ROOT_PAGES = overview,tutorials,samples,wha 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 + +# lightweight auto-refresh on access by default (bug 384104) +org.eclipse.core.resources/refresh.lightweight.enabled=true |