| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.68 $ |
| * @version $Revision: 1.69 $ |
| * |
| * Last modification: $Date: 2003/07/17 13:10:14 $ |
| * $Id: GUI.java,v 1.68 2003/07/17 13:10:14 hjokusch Exp $ |
| * Last modification: $Date: 2003/07/17 14:41:10 $ |
| * $Id: GUI.java,v 1.69 2003/07/17 14:41:10 smcsporr Exp $ |
| */ |
| |
| package src.gui; |
| 47,7 → 47,7 |
|---|
| /** |
| * @author group 5 |
| * |
| * @version $Revision: 1.68 $ Last modification: $Date: 2003/07/17 13:10:14 $ |
| * @version $Revision: 1.69 $ Last modification: $Date: 2003/07/17 14:41:10 $ |
| */ |
| public class GUI |
| extends JFrame implements GuiInterface,WindowListener { // implements ActionListener, ComponentListener, WindowListener |
| 672,7 → 672,67 |
|---|
| myMenuBar.add(pluginMenu, savePosition); |
| setVisible(true); |
| } |
| |
| /** |
| * Returns the position of the divider. |
| */ |
| public int getDivider() { |
| return splitterMain.getDividerLocation(); |
| } |
| |
| /** |
| * Sets the position of the divider. |
| */ |
| public void setDivider(int position) { |
| splitterMain.setDividerLocation(position); |
| } |
| |
| //============================================================================== |
| // methods required by ComponentListener: |
| /* //removed 240603 Sascha W. cause no need <-> new controller |
| public void componentMoved(ComponentEvent e) { |
| //repaint(); |
| } |
| |
| //Sascha Walkenhorst wrote: |
| // it should be nice to see how the properties of the components change |
| // if the window is resized, but it doesn't work with "repaint"... (?) |
| public void componentResized(ComponentEvent e) { |
| //repaint(); |
| } |
| |
| public void componentHidden(ComponentEvent e) {} |
| |
| public void componentShown(ComponentEvent e) {} |
| */ |
| |
| //============================================================================== |
| // methods required by ActionListener: |
| /* //removed 240603 Sascha W. cause no need <-> new controller |
| public void actionPerformed(ActionEvent event) |
| { |
| // exit |
| if (event.getSource()==exit) |
| { |
| } |
| |
| // open file |
| if (event.getSource() == open) |
| { |
| } |
| |
| /* added 230603 S. McSporran */ |
| /* if (event.getSource() == save) { |
| ActionEvent ownEvent = new ActionEvent(this, ActionEvent.ACTION_PERFORMED, |
| "GUI selection: save document"); |
| } |
| |
| } |
| */ |
| |
| //============================================================================== |
| // methods required by WindowListener: |
| |
| /** |
| * windowClosing takes <code>WindowEvent</code>s and starts the |
| * appropiate actions. |