Inform users which deployment scanner's interval they're setting ---------------------------------------------------------------- Key: JBIDE-17211 URL: https://issues.jboss.org/browse/JBIDE-17211 Project: Tools (JBoss Tools) Issue Type: Feature Request Components: server Affects Versions: 4.2.0.Beta1 Reporter: Martin Malina Assignee: Rob Stryker Fix For: 4.2.0.CR1 You asked for a new JIRA in JBIDE-15287 so here you go :) It is possible to change the interval for the custom deployment scanners that the tools add. But the UI doesn't state this, so it seems that in fact we alter the interval even for the default deployment scanner which we don't.