[jbosstools-issues] [JBoss JIRA] Resolved: (JBDS-103) Enable buildid by default for splashscreen ?
[ http://jira.jboss.com/jira/browse/JBDS-103?page=all ]
Marshall Culpepper resolved JBDS-103.
-------------------------------------
Resolution: Done
this is done in the build system now, but currently disabled since the splash has a tattoo
of the release (which clashes on release builds)
Enable buildid by default for splashscreen ?
--------------------------------------------
Key: JBDS-103
URL: http://jira.jboss.com/jira/browse/JBDS-103
Project: Developer Studio
Issue Type: Feature Request
Components: Build
Affects Versions: 1.0.0.GA
Reporter: Max Rydahl Andersen
Assigned To: Marshall Culpepper
Priority: Critical
Fix For: 1.0.1
I committed this to plugin customization:
# Enables the build id to show up via the default EclipseSplashHandler
# org.eclipse.ui.workbench/SHOW_BUILDID_ON_STARTUP=true
When i comment it out it shows the buildid on the splashscreen - but it says unknown
build id so I haven't enabled it yet.
should we ? and if yes, where/how is the buildid set at buildtime ?
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
http://jira.jboss.com/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira