git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
be0ebdb
)
Change name to editMenu
author
amwaterhouse
<Andrew Waterhouse>
Mon, 1 May 2006 14:28:32 +0000
(14:28 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Mon, 1 May 2006 14:28:32 +0000
(14:28 +0000)
src/jalview/gui/PopupMenu.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/PopupMenu.java
b/src/jalview/gui/PopupMenu.java
index
968262b
..
55aea5e
100755
(executable)
--- a/
src/jalview/gui/PopupMenu.java
+++ b/
src/jalview/gui/PopupMenu.java
@@
-68,7
+68,7
@@
public class PopupMenu extends JPopupMenu
JCheckBoxMenuItem showBoxes = new JCheckBoxMenuItem();
\r
JCheckBoxMenuItem showText = new JCheckBoxMenuItem();
\r
JCheckBoxMenuItem showColourText = new JCheckBoxMenuItem();
\r
JCheckBoxMenuItem showBoxes = new JCheckBoxMenuItem();
\r
JCheckBoxMenuItem showText = new JCheckBoxMenuItem();
\r
JCheckBoxMenuItem showColourText = new JCheckBoxMenuItem();
\r
- JMenu jMenu1 = new JMenu();
\r
+ JMenu editMenu = new JMenu();
\r
JMenuItem cut = new JMenuItem();
\r
JMenuItem copy = new JMenuItem();
\r
JMenuItem upperCase = new JMenuItem();
\r
JMenuItem cut = new JMenuItem();
\r
JMenuItem copy = new JMenuItem();
\r
JMenuItem upperCase = new JMenuItem();
\r
@@
-233,7
+233,10
@@
public class PopupMenu extends JPopupMenu
showBoxes.setSelected(sg.getDisplayBoxes());
\r
}
\r
else
\r
showBoxes.setSelected(sg.getDisplayBoxes());
\r
}
\r
else
\r
+ {
\r
groupMenu.setVisible(false);
\r
groupMenu.setVisible(false);
\r
+ editMenu.setVisible(false);
\r
+ }
\r
\r
if (!ap.av.alignment.getGroups().contains(sg))
\r
{
\r
\r
if (!ap.av.alignment.getGroups().contains(sg))
\r
{
\r
@@
-362,7
+365,7
@@
public class PopupMenu extends JPopupMenu
showColourText_actionPerformed(e);
\r
}
\r
});
\r
showColourText_actionPerformed(e);
\r
}
\r
});
\r
- jMenu1.setText("Edit");
\r
+ editMenu.setText("Edit");
\r
cut.setText("Cut");
\r
cut.addActionListener(new ActionListener()
\r
{
\r
cut.setText("Cut");
\r
cut.addActionListener(new ActionListener()
\r
{
\r
@@
-397,7
+400,7
@@
public class PopupMenu extends JPopupMenu
});
\r
add(groupMenu);
\r
add(sequenceMenu);
\r
});
\r
add(groupMenu);
\r
add(sequenceMenu);
\r
- this.add(jMenu1);
\r
+ this.add(editMenu);
\r
groupMenu.add(groupName);
\r
groupMenu.addSeparator();
\r
groupMenu.add(unGroupMenuItem);
\r
groupMenu.add(groupName);
\r
groupMenu.addSeparator();
\r
groupMenu.add(unGroupMenuItem);
\r
@@
-447,10
+450,10
@@
public class PopupMenu extends JPopupMenu
colourMenu.addSeparator();
\r
colourMenu.add(abovePIDColour);
\r
colourMenu.add(conservationMenuItem);
\r
colourMenu.addSeparator();
\r
colourMenu.add(abovePIDColour);
\r
colourMenu.add(conservationMenuItem);
\r
- jMenu1.add(copy);
\r
- jMenu1.add(cut);
\r
- jMenu1.add(upperCase);
\r
- jMenu1.add(lowerCase);
\r
+ editMenu.add(copy);
\r
+ editMenu.add(cut);
\r
+ editMenu.add(upperCase);
\r
+ editMenu.add(lowerCase);
\r
noColourmenuItem.setText("None");
\r
noColourmenuItem.addActionListener(new java.awt.event.ActionListener()
\r
{
\r
noColourmenuItem.setText("None");
\r
noColourmenuItem.addActionListener(new java.awt.event.ActionListener()
\r
{
\r