[jbosstools-issues] [JBoss JIRA] (JBIDE-13195) Deployment tab of server editor is enabled when server is stopped but not synchronized

Deployment tab of server editor is enabled when server is stopped but not synchronized -------------------------------------------------------------------------------------- Key: JBIDE-13195 URL: https://issues.jboss.org/browse/JBIDE-13195 Project: Tools (JBoss Tools) Issue Type: Bug Components: server Affects Versions: 4.0.0.CR1 Environment: JBDS 6.0.0.CR1b B147 Reporter: Martin Malina Assignee: Rob Stryker Fix For: 4.1.0.Beta1 When verifying JBIDE-13136 I found one edge scenario that still doesn't work correctly. See these steps: 1. Server is started and module is deployed - editing disabled - fine 2. Stop server - editing disabled - fine 3. Remove module - editing enabled! - FAIL - it should still be disabled unless you click Publish on the server Please see the other JIRA if you need more information.