khammond 01/09/30 20:41:56
Modified: src/org/apache/jmeter/gui MainFrame.java
Log:
Added helper routines for the new Edit menu.
Revision Changes Path
1.9 +50 -6 jakarta-jmeter/src/org/apache/jmeter/gui/MainFrame.java
Index: MainFrame.java
===================================================================
RCS file: /home/cvs/jakarta-jmeter/src/org/apache/jmeter/gui/MainFrame.java,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- MainFrame.java 2001/09/28 05:58:11 1.8
+++ MainFrame.java 2001/10/01 03:41:56 1.9
@@ -64,7 +64,7 @@
* Title: JMeter Description: Copyright: Copyright (c) 2000 Company: Apache
*
*@author Michael Stover
- *@created $Date: 2001/09/28 05:58:11 $
+ *@created $Date: 2001/10/01 03:41:56 $
*@version 1.0
***********************************************************/
@@ -93,11 +93,57 @@
init();
}
- public void setSaveEnabled(boolean save)
+ public void setFileSaveEnabled(boolean enabled)
{
- menuBar.setSaveEnabled(save);
+ menuBar.setFileSaveEnabled(enabled);
}
+ public void setFileLoadEnabled(boolean enabled)
+ {
+ menuBar.setFileLoadEnabled(enabled);
+ }
+
+ public void setEditAddMenu(JMenu menu)
+ {
+ menuBar.setEditAddMenu(menu);
+ }
+
+ public void setEditAddEnabled(boolean enabled)
+ {
+ menuBar.setEditAddEnabled(enabled);
+ }
+
+ public void setEditRemoveEnabled(boolean enabled)
+ {
+ menuBar.setEditRemoveEnabled(enabled);
+ }
+
+ public void setEditEnabled(boolean enabled)
+ {
+ menuBar.setEditEnabled(enabled);
+ }
+
+ public void closeMenu()
+ {
+ if (menuBar.isSelected())
+ {
+ MenuElement[] menuElement = menuBar.getSubElements();
+ if (menuElement != null)
+ {
+ for (int i = 0; i < menuElement.length; i++)
+ {
+ JMenu menu = (JMenu)menuElement[i];
+ if (menu.isSelected())
+ {
+ menu.setPopupMenuVisible(false);
+ menu.setSelected(false);
+ break;
+ }
+ }
+ }
+ }
+ }
+
public void setMainPanel(JComponent comp)
{
mainPanel.removeAll();
@@ -199,11 +245,10 @@
treeListener.setJTree(tree);
tree.addTreeSelectionListener(treeListener);
tree.addMouseListener(treeListener);
+ tree.addKeyListener(treeListener);
return tree;
}
-
-
public JTree getTree()
{
return tree;
@@ -219,5 +264,4 @@
running = newRunning;
this.menuBar.setEnabled(newRunning);
}
-
}
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
