[jbosstools-issues] [JBoss JIRA] (JBIDE-3235) Missing properties view for servers elements

Missing properties view for servers elements -------------------------------------------- Key: JBIDE-3235 URL: https://issues.jboss.org/browse/JBIDE-3235 Project: Tools (JBoss Tools) Issue Type: Bug Components: JBossAS/Servers Reporter: Max Rydahl Andersen Assignee: Max Rydahl Andersen Priority: Minor Fix For: 3.3.0.Beta1 Before I could directly edit properties for ports in properties view. Now I need to right click and choose Change Value and get a non-standard edit in the tree. This I could probably live with if I could just double click the value and edit it like in properties view. Properties view was though also nice to give other details than just access to edit. i.e.. I could copy values to get the value of file names etc. I can't copy elements from the tree and get a textual representation.