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:
6ae5fa6
)
more accelerators
author
amwaterhouse
<Andrew Waterhouse>
Wed, 25 Oct 2006 13:58:30 +0000
(13:58 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Wed, 25 Oct 2006 13:58:30 +0000
(13:58 +0000)
src/jalview/jbgui/GAlignFrame.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GAlignFrame.java
b/src/jalview/jbgui/GAlignFrame.java
index
6df2122
..
0611a72
100755
(executable)
--- a/
src/jalview/jbgui/GAlignFrame.java
+++ b/
src/jalview/jbgui/GAlignFrame.java
@@
-462,6
+462,8
@@
public class GAlignFrame
}
\r
});
\r
removeRedundancyMenuItem.setText("Remove Redundancy...");
\r
}
\r
});
\r
removeRedundancyMenuItem.setText("Remove Redundancy...");
\r
+ removeRedundancyMenuItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
\r
+ java.awt.event.KeyEvent.VK_R, java.awt.event.KeyEvent.CTRL_MASK, false));
\r
removeRedundancyMenuItem.addActionListener(new java.awt.event.
\r
ActionListener()
\r
{
\r
removeRedundancyMenuItem.addActionListener(new java.awt.event.
\r
ActionListener()
\r
{
\r
@@
-647,6
+649,8
@@
public class GAlignFrame
}
\r
});
\r
overviewMenuItem.setText("Overview Window");
\r
}
\r
});
\r
overviewMenuItem.setText("Overview Window");
\r
+ overviewMenuItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.
\r
+ event.KeyEvent.VK_O, java.awt.event.KeyEvent.CTRL_MASK, false));
\r
overviewMenuItem.addActionListener(new java.awt.event.ActionListener()
\r
{
\r
public void actionPerformed(ActionEvent e)
\r
overviewMenuItem.addActionListener(new java.awt.event.ActionListener()
\r
{
\r
public void actionPerformed(ActionEvent e)
\r
@@
-758,6
+762,8
@@
public class GAlignFrame
}
\r
});
\r
deleteGroups.setText("Undefine groups");
\r
}
\r
});
\r
deleteGroups.setText("Undefine groups");
\r
+ deleteGroups.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.
\r
+ event.KeyEvent.VK_U, java.awt.event.KeyEvent.CTRL_MASK, false));
\r
deleteGroups.addActionListener(new java.awt.event.ActionListener()
\r
{
\r
public void actionPerformed(ActionEvent e)
\r
deleteGroups.addActionListener(new java.awt.event.ActionListener()
\r
{
\r
public void actionPerformed(ActionEvent e)
\r