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

fixed branding plugin inclusion in product build and fixed a few product IDs

Browse Source
This commit is contained in:
Martin Lippert
2016-12-06 17:29:07 +01:00
parent 678f126028
commit 5f9dcf20d6
9 changed files with 43 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -13,7 +13,7 @@
# Property "org.eclipse.ui/defaultPerspectiveId" controls the
# perspective that the workbench opens initially
org.eclipse.ui/defaultPerspectiveId=com.springsource.sts.ide.perspective
org.eclipse.ui/defaultPerspectiveId=org.eclipse.jdt.ui.JavaPerspective
# new-style tabs by default
org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=false