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. |