git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fire alignment changed if seqs hidden / revealed
[jalview.git]
/
src
/
jalview
/
gui
/
PopupMenu.java
diff --git
a/src/jalview/gui/PopupMenu.java
b/src/jalview/gui/PopupMenu.java
index
9764f4a
..
4be63e4
100755
(executable)
--- a/
src/jalview/gui/PopupMenu.java
+++ b/
src/jalview/gui/PopupMenu.java
@@
-115,11
+115,10
@@
public class PopupMenu extends JPopupMenu
colours.add(PIDColour);
\r
colours.add(BLOSUM62Colour);
\r
\r
colours.add(PIDColour);
\r
colours.add(BLOSUM62Colour);
\r
\r
- for (int i = 0; i < jalview.io.FormatAdapter.formats.size()-2; i++)
\r
+ for (int i = 0; i < jalview.io.FormatAdapter.WRITEABLE_FORMATS.length; i++)
\r
{
\r
{
\r
- JMenuItem item = new JMenuItem( (String) jalview.io.FormatAdapter.formats.
\r
- elementAt(
\r
- i));
\r
+ JMenuItem item = new JMenuItem( jalview.io.FormatAdapter.WRITEABLE_FORMATS[i] );
\r
+
\r
item.addActionListener(new java.awt.event.ActionListener()
\r
{
\r
public void actionPerformed(ActionEvent e)
\r
item.addActionListener(new java.awt.event.ActionListener()
\r
{
\r
public void actionPerformed(ActionEvent e)
\r
@@
-207,7
+206,6
@@
public class PopupMenu extends JPopupMenu
public void actionPerformed(ActionEvent e)
\r
{
\r
ap.av.showSequence(index);
\r
public void actionPerformed(ActionEvent e)
\r
{
\r
ap.av.showSequence(index);
\r
- ap.repaint();
\r
if (ap.overviewPanel != null)
\r
ap.overviewPanel.updateOverviewImage();
\r
}
\r
if (ap.overviewPanel != null)
\r
ap.overviewPanel.updateOverviewImage();
\r
}
\r
@@
-221,10
+219,9
@@
public class PopupMenu extends JPopupMenu
public void actionPerformed(ActionEvent e)
\r
{
\r
ap.av.showAllHiddenSeqs();
\r
public void actionPerformed(ActionEvent e)
\r
{
\r
ap.av.showAllHiddenSeqs();
\r
- ap.repaint();
\r
if (ap.overviewPanel != null)
\r
ap.overviewPanel.updateOverviewImage();
\r
if (ap.overviewPanel != null)
\r
ap.overviewPanel.updateOverviewImage();
\r
- }
\r
+ }
\r
});
\r
\r
add(menuItem);
\r
});
\r
\r
add(menuItem);
\r
@@
-1149,8
+1146,6
@@
public class PopupMenu extends JPopupMenu
}
\r
\r
ap.av.setSelectionGroup(null);
\r
}
\r
\r
ap.av.setSelectionGroup(null);
\r
- ap.repaint();
\r
- refresh();
\r
}
\r
\r
public void copy_actionPerformed(ActionEvent e)
\r
}
\r
\r
public void copy_actionPerformed(ActionEvent e)
\r