diff options
Diffstat (limited to 'java/src/IceGridGUI/Application/ServerInstancePropertySetEditor.java')
-rw-r--r-- | java/src/IceGridGUI/Application/ServerInstancePropertySetEditor.java | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/Application/ServerInstancePropertySetEditor.java b/java/src/IceGridGUI/Application/ServerInstancePropertySetEditor.java new file mode 100644 index 00000000000..90c20209d36 --- /dev/null +++ b/java/src/IceGridGUI/Application/ServerInstancePropertySetEditor.java @@ -0,0 +1,67 @@ +// ********************************************************************** +// +// Copyright (c) 2003-2011 ZeroC, Inc. All rights reserved. +// +// This copy of Ice is licensed to you under the terms described in the +// ICE_LICENSE file included in this distribution. +// +// ********************************************************************** + +package IceGridGUI.Application; + +import javax.swing.DefaultComboBoxModel; +import javax.swing.JComboBox; +import javax.swing.JComponent; +import javax.swing.JTextField; + +import IceGrid.*; +import IceGridGUI.*; + +class ServerInstancePropertySetEditor extends PropertySetEditor +{ + ServerInstancePropertySetEditor() + { + super("Service Name"); + _id.setToolTipText("The name of the service"); + + JTextField idTextField = (JTextField)_id.getEditor().getEditorComponent(); + idTextField.getDocument().addDocumentListener(_updateListener); + } + + protected void buildPropertiesPanel() + { + super.buildPropertiesPanel(); + _propertiesPanel.setName("Service Instance Property Set"); + } + + protected JComponent getIdComponent() + { + return _id; + } + + protected String getIdText() + { + if(_id.getSelectedItem() == null) + { + return ""; + } + else + { + return _id.getSelectedItem().toString().trim(); + } + } + + protected void showId(String unsubstitutedId, Utils.Resolver resolver) + { + ServerInstance s = (ServerInstance)_target.getParent(); + + _id.setEnabled(true); + _id.setEditable(true); + _id.setModel(new DefaultComboBoxModel(s.getServiceNames())); + _id.setSelectedItem(Utils.substitute(unsubstitutedId, resolver)); + _id.setEditable(resolver == null); + _id.setEnabled(resolver == null); + } + + private JComboBox _id = new JComboBox(); +} |