Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

enabled refresh on access option

Browse Source
This commit is contained in:
Martin Lippert
2018-03-01 10:06:36 +01:00
parent b148969f17
commit dc93550289
3 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
eclipse-distribution/org.springframework.boot.ide.branding/plugin_customization.ini
View File

@@ -24,6 +24,9 @@ org.eclipse.ui/DOCK_PERSPECTIVE_BAR=topRight
# show progress on startup
org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP=true
# lightweight auto-refresh on access by default
org.eclipse.core.resources/refresh.lightweight.enabled=true
# Order help books in table of contents
org.eclipse.help/HELP_DATA = helpData.xml