[jbosstools-issues] [JBoss JIRA] (JBIDE-13015) Add server and connection URL to user properties view

Add server and connection URL to user properties view ----------------------------------------------------- Key: JBIDE-13015 URL: https://issues.jboss.org/browse/JBIDE-13015 Project: Tools (JBoss Tools) Issue Type: Sub-task Components: openshift Affects Versions: 4.0.0.Beta1 Reporter: Andre Dietisheim Assignee: Andre Dietisheim Labels: new_and_noteworthy Fix For: 4.0.0.CR1 Attachments: key-property.png, key-property.png, user-properties.png the properties view for the user is currently offering domain and username. !user-properties.png! We should add the server and the connection url to it. As URL we should use the abbreviated form we're using when storing the connection. The form that uses "empty string" for the server when the connction's using the default server. Ex. https://adietish@ (what connects to https://adietish@openshift.redhat.com if openshift.redhat.com is the default server)