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

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 Assignee: Rob Stryker Fix For: 4.5.x Attachments: scanner-options-mockup.png, 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. !scanner-options.png! Instead, I propose adding a checkbox in front of the options: !scanner-options-mockup.png! Excuse the ugly picture, but the idea is that if the checkbox is not checked, the field is greyed out (and empty). If it is checked, a value is expected. WDYT?