[jbosstools-issues] [JBoss JIRA] (JBIDE-12571) Eclipse preferences: allow users to define a default server

Andre Dietisheim created JBIDE-12571: ---------------------------------------- Summary: Eclipse preferences: allow users to define a default server Key: JBIDE-12571 URL: https://issues.jboss.org/browse/JBIDE-12571 Project: Tools (JBoss Tools) Issue Type: Sub-task Components: openshift Affects Versions: 3.3.0.Final Reporter: Andre Dietisheim Assignee: Andre Dietisheim Fix For: 4.0.0.Alpha1 Add UI to the preferences that allows users to provide a default OpenShift server to connect to. In terms of widget we need a text-field for the server url and a checkbox that allows people to refer to the default server that is defined in the openshift configfurations (~/.openshift/express.conf and /etc/openshift/express.conf). If the checkbox is checked, the text-field is disabled. Once unchecked the user can enter a default server and override the openshift server that is configured in the openshift (rhc cli-tooling) configuration. -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira