4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.23 $ |
* @version $Revision: 1.24 $ |
* |
* Last modification: $Date: 2003/07/25 11:42:06 $ |
* $Id: PopUpJTree.java,v 1.23 2003/07/25 11:42:06 smcsporr Exp $ |
* Last modification: $Date: 2003/07/26 13:04:52 $ |
* $Id: PopUpJTree.java,v 1.24 2003/07/26 13:04:52 smcsporr Exp $ |
*/ |
|
package src.gui; |
34,7 → 34,7 |
* |
* @author Group 5 |
* |
* @version $Revision: 1.23 $ Last modification: $Date: 2003/07/25 11:42:06 $ |
* @version $Revision: 1.24 $ Last modification: $Date: 2003/07/26 13:04:52 $ |
*/ |
class PopUpJTree extends JTree implements ActionListener { |
|
54,6 → 54,7 |
*/ |
public PopUpJTree () { |
super((Object[]) null); |
this.setDoubleBuffered(false); |
} |
|
/** |
70,6 → 71,7 |
*/ |
public PopUpJTree (src.parser.AdapterDomToTreeModel model) { |
super(model); |
this.setDoubleBuffered(false); |
m=model; |
|
// define the popup |
77,9 → 79,9 |
mi = new JMenuItem("Insert child"); |
mi.addActionListener(this); |
mi.setActionCommand("insert"); |
popup.add(mi); |
popup.addSeparator(); |
mi = new JMenuItem("Cut"); |
popup.add(mi); |
popup.addSeparator(); |
mi = new JMenuItem("Cut"); |
mi.addActionListener(this); |
mi.setActionCommand("cut"); |
popup.add(mi); |