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: server Reporter: Max Rydahl Andersen Assignee: Max Rydahl Andersen Priority: Minor Fix For: 4.3.0.CR1 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.