[jbosstools-issues] [JBoss JIRA] (JBIDE-16638) Improve UI of Deployment Scanner settings

[Martin Malina (JIRA)]

Martin Malina created JBIDE-16638:
-------------------------------------

             Summary: 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


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: http://www.atlassian.com/software/jira