diff options
Diffstat (limited to 'source/com/c2kernel/gui/MainFrame.java')
| -rw-r--r-- | source/com/c2kernel/gui/MainFrame.java | 309 |
1 files changed, 0 insertions, 309 deletions
diff --git a/source/com/c2kernel/gui/MainFrame.java b/source/com/c2kernel/gui/MainFrame.java deleted file mode 100644 index d09bc4c..0000000 --- a/source/com/c2kernel/gui/MainFrame.java +++ /dev/null @@ -1,309 +0,0 @@ -package com.c2kernel.gui;
-import java.awt.BorderLayout;
-import java.awt.Color;
-import java.awt.Dimension;
-import java.awt.Font;
-import java.awt.GridBagConstraints;
-import java.awt.GridBagLayout;
-import java.awt.Point;
-import java.io.File;
-import java.io.FileInputStream;
-import java.io.FileOutputStream;
-import java.io.IOException;
-import java.net.URL;
-import java.util.Properties;
-import java.util.StringTokenizer;
-
-import javax.swing.BorderFactory;
-import javax.swing.ImageIcon;
-import javax.swing.JComboBox;
-import javax.swing.JFileChooser;
-import javax.swing.JLabel;
-import javax.swing.JPanel;
-import javax.swing.JSplitPane;
-import javax.swing.SwingUtilities;
-import javax.swing.UIManager;
-
-import com.c2kernel.entity.proxy.AgentProxy;
-import com.c2kernel.gui.data.Node;
-import com.c2kernel.gui.data.NodeContext;
-import com.c2kernel.gui.tabs.execution.DefaultExecutor;
-import com.c2kernel.gui.tabs.execution.Executor;
-import com.c2kernel.lookup.DomainPath;
-import com.c2kernel.process.Gateway;
-import com.c2kernel.utils.Language;
-import com.c2kernel.utils.Logger;
-import com.c2kernel.utils.Resource;
-/**
- * @version $Revision: 1.83 $ $Date: 2005/09/12 14:56:19 $
- * @author $Author: abranson $
- */
-public class MainFrame extends javax.swing.JFrame {
- public static TreeBrowser treeBrowser;
- public static EntityTabManager myDesktopManager;
- public static EntityFinder itemFinder;
- protected static Node userNode = null;
- protected MenuBuilder menuBuilder;
- protected org.omg.CORBA.ORB orb;
- public static Properties prefs = new Properties();
- public static JLabel status = new JLabel();
- public String logoURL;
- public static AgentProxy userAgent;
- protected JSplitPane splitPane;
- public static boolean isAdmin;
- int splitPanePos;
- public static final JFileChooser xmlChooser;
-
- static {
- xmlChooser = new JFileChooser();
- xmlChooser.addChoosableFileFilter(
- new javax.swing.filechooser.FileFilter() {
- @Override
- public String getDescription() {
- return "XML Files";
- }
- @Override
- public boolean accept(File f) {
- if (f.isDirectory() || (f.isFile() && f.getName().endsWith(".xml"))) {
- return true;
- }
- return false;
- }
- });
- }
- /** Creates new gui client for Cristal2 */
-
- public MainFrame() {
-
- // Load gui preferences
- try {
- FileInputStream prefsfile =
- new FileInputStream("cristal.preferences");
- prefs.load(prefsfile);
- prefsfile.close();
- } catch (IOException e) {
- Logger.msg(2, "Creating new preference file");
- }
-
- // set look & feel from pref
- try {
- String lf = getPref("Style", null);
- if (lf == null)
- lf = UIManager.getCrossPlatformLookAndFeelClassName();
- UIManager.setLookAndFeel(lf);
- SwingUtilities.updateComponentTreeUI(this);
- } catch (Exception e) {
- e.printStackTrace();
- }
- }
-
- public void showLogin() {
- // Log in
- logoURL = Gateway.getProperty("Logo");
- URL pictureUrl;
- String bottomMessage =
- Language.translate("Please enter username & password");
- ImageIcon imageHolder = new ImageIcon("");
- try {
- pictureUrl = new URL(logoURL);
- imageHolder = new ImageIcon(pictureUrl);
- } catch (java.net.MalformedURLException m) {
- imageHolder = Resource.findImage(logoURL);
- }
-
- LoginBox login =
- new LoginBox(
- 5,
- Gateway.getProperty("Name"),
- getPref("lastUser."+Gateway.getCentreId(), null),
- bottomMessage,
- imageHolder, this);
-
- login.setVisible(true);
- }
-
- public void mainFrameShow() {
- prefs.setProperty("lastUser."+Gateway.getCentreId(), userAgent.getName());
- isAdmin = userAgent.getPath().hasRole("Admin");
- GridBagLayout gridbag = new GridBagLayout();
- getContentPane().setLayout(gridbag);
-
- this.setTitle(
- userAgent.getName()+"@"+Gateway.getProperty("Name") + " - " + Language.translate("Cristal 2"));
-
- String iconFile = Gateway.getProperty("AppIcon");
- if (iconFile != null)
- this.setIconImage(Resource.findImage(iconFile).getImage());
-
- //preload loading image
- Resource.findImage("loading.gif");
- // close listener
- addWindowListener(new java.awt.event.WindowAdapter() {
- @Override
- public void windowClosing(java.awt.event.WindowEvent evt) {
- exitForm();
- }
- });
- // initialise the desktop manager
- myDesktopManager = new EntityTabManager();
-
- //get the menu bar and add it to the frame
- menuBuilder = new MenuBuilder(this);
- setJMenuBar(menuBuilder);
-
- // set the menu builder in the window manager
- myDesktopManager.setMenuBuilder(menuBuilder);
-
- userNode = new NodeContext(new DomainPath(""), myDesktopManager);
- treeBrowser = new TreeBrowser(myDesktopManager, userNode);
- treeBrowser.setVisible(getPref("ShowTree", "true").equals("true"));
-
- // add search box
- itemFinder = new EntityFinder();
- GridBagConstraints c = new GridBagConstraints();
- c.gridx = 0;
- c.gridy = 0;
- c.weightx = 1.0;
- c.weighty = 0.0;
- c.fill = GridBagConstraints.HORIZONTAL;
- gridbag.setConstraints(itemFinder, c);
- getContentPane().add(itemFinder);
- // register the browser as the key consumer
- itemFinder.setDefaultConsumer(treeBrowser);
-
- c.gridy++;
- c.weightx = 1.0;
- c.weighty = 1.0;
- c.fill = GridBagConstraints.BOTH;
- gridbag.setConstraints(getSplitPanel(), c);
- getContentPane().add(getSplitPanel());
- // setup status bar
- status.setText("Cristal 2");
- status.setFont(
- new Font("SansSerif", Font.PLAIN, status.getFont().getSize()));
- JPanel statusPanel = new JPanel();
- statusPanel.setLayout(new BorderLayout());
- statusPanel.setBorder(BorderFactory.createLoweredBevelBorder());
- status.setForeground(Color.black);
-
- statusPanel.add(status);
- c.gridy++;
- c.weighty = 0.0;
- gridbag.setConstraints(statusPanel, c);
- getContentPane().add(statusPanel);
- pack();
- String paneSize = getPref("WindowSize", null);
- if (paneSize != null) {
- StringTokenizer tok = new StringTokenizer(paneSize, ",");
- Dimension window = new Dimension();
- window.setSize(
- Integer.parseInt(tok.nextToken()),
- Integer.parseInt(tok.nextToken()));
- this.setSize(window);
- }
- String panePos = getPref("WindowPosition", null);
- if (panePos != null) {
- StringTokenizer tok = new StringTokenizer(panePos, ",");
- Point window =
- new Point(
- Integer.parseInt(tok.nextToken()),
- Integer.parseInt(tok.nextToken()));
- this.setLocation(window);
- }
- super.toFront();
- this.validate();
- this.setVisible(true);
- }
- public static String getPref(String name, String defaultValue) {
- return prefs.getProperty(name, defaultValue);
- }
- public static void setPref(String name, String value) {
- prefs.setProperty(name, value);
- }
- // things to do on exit
- public void exitForm() {
- // close connections
- Gateway.close();
- // save window sizing
- setPref(
- "WindowSize",
- (int) (this.getSize().getWidth())
- + ","
- + (int) (this.getSize().getHeight()));
- setPref(
- "WindowPosition",
- (int) (this.getLocation().getX())
- + ","
- + (int) (this.getLocation().getY()));
- setPref(
- "Style",
- UIManager.getLookAndFeel().getClass().getName());
- setPref(
- "SplitPanePosition",
- String.valueOf(splitPane.getDividerLocation()));
- // save preferences file
- try {
- FileOutputStream prefsfile =
- new FileOutputStream("cristal.preferences", false);
- prefs.store(prefsfile, "Cristal 2");
- prefsfile.close();
- } catch (Exception e) {
- Logger.warning(
- "Could not write to preferences file. Preferences have not been updated.");
- }
- this.setVisible(false);
- // allow waiting threads time to quit
- try {
- Thread.sleep(2000);
- } catch (InterruptedException e) {
- }
- System.exit(0);
- }
-
- public void toggleTree() {
- boolean showTree = getPref("ShowTree", "true").equals("false");
- setPref("ShowTree", String.valueOf(showTree));
- if (!showTree) splitPanePos = splitPane.getDividerLocation();
- getSplitPanel().getLeftComponent().setVisible(showTree);
- if (showTree) getSplitPanel().setDividerLocation(splitPanePos);
- getSplitPanel().validate();
- }
-
- public static JComboBox getExecutionPlugins() {
- JComboBox plugins = new JComboBox();
- // create execution selector
- Executor defaultExecutor = new DefaultExecutor();
- plugins.addItem(defaultExecutor);
- plugins.setSelectedIndex(0);
-
- // load execution plugins
- String pluginList = Gateway.getProperty("Executors");
- if (pluginList != null) {
- StringTokenizer tok = new StringTokenizer(pluginList, ",");
- while (tok.hasMoreTokens()) {
- String pluginName = tok.nextToken();
- try {
- Class<?> pluginClass = Class.forName(pluginName);
- Executor domainExecutor = (Executor)pluginClass.newInstance();
- plugins.addItem(domainExecutor);
- } catch (Exception ex) {
- Logger.error("Could not load the executor plugin "+pluginName);
- }
- }
- }
- return plugins;
- }
- protected JSplitPane getSplitPanel()
- {
- // create the split pane, and add the Tree to it.
- if (splitPane == null)
- {
- splitPane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, true, treeBrowser, myDesktopManager);
- splitPane.setDividerSize(5);
- splitPanePos = Integer.parseInt(getPref("SplitPanePosition", "200"));
- getSplitPanel().setDividerLocation(splitPanePos);
- }
- return splitPane;
- }
-
-}
|