]
Martin Malina updated JBIDE-16638:
----------------------------------
Attachment: scanner-options.png
Improve UI of Deployment Scanner settings
-----------------------------------------
Key: JBIDE-16638
URL:
https://issues.jboss.org/browse/JBIDE-16638
Project: Tools (JBoss Tools)
Issue Type: Feature Request
Components: server
Affects Versions: 4.2.0.Alpha2
Environment: JBDS 8.0.0.Alpha2b B71
Reporter: Martin Malina
Fix For: 4.2.0.Beta1
Attachments: scanner-options.png
Looking at the new options introduced in JBIDE-15287, I don't quite like to look of
it.
Let me know if you disagree, but using "(default)" in a field that's
supposed to take numbers is not very nice.
Instead, I propose adding a checkbox in front of the options:
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: