[ https://issues.jboss.org/browse/JBIDE-16638?page=com.atlassian.jira.plugi... ] Martin Malina updated JBIDE-16638: ---------------------------------- Description: 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: was: 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