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
JAL-3594 added BG and UoD logo and banner to splashscreens, and adjusted status text box
[jalview.git]
/
src
/
jalview
/
gui
/
AnnotationChooser.java
diff --git
a/src/jalview/gui/AnnotationChooser.java
b/src/jalview/gui/AnnotationChooser.java
index
f20d0e6
..
791421d
100644
(file)
--- a/
src/jalview/gui/AnnotationChooser.java
+++ b/
src/jalview/gui/AnnotationChooser.java
@@
-56,7
+56,8
@@
import javax.swing.JPanel;
public class AnnotationChooser extends JPanel
{
public class AnnotationChooser extends JPanel
{
- private static final Font CHECKBOX_FONT = new Font("Serif", Font.BOLD, 12);
+ private static final Font CHECKBOX_FONT = new Font("Serif", Font.BOLD,
+ 12);
private static final int MY_FRAME_WIDTH = 600;
private static final int MY_FRAME_WIDTH = 600;
@@
-81,7
+82,7
@@
public class AnnotationChooser extends JPanel
private boolean applyToUnselectedSequences;
// currently selected 'annotation type' checkboxes
private boolean applyToUnselectedSequences;
// currently selected 'annotation type' checkboxes
- private Map<String, String> selectedTypes = new HashMap<String, String>();
+ private Map<String, String> selectedTypes = new HashMap<>();
/**
* Constructor.
/**
* Constructor.
@@
-194,14
+195,7
@@
public class AnnotationChooser extends JPanel
{
setAnnotationVisibility(true);
{
setAnnotationVisibility(true);
- // copied from AnnotationLabel.actionPerformed (after show/hide row)...
- // TODO should drive this functionality into AlignmentPanel
ap.updateAnnotation();
ap.updateAnnotation();
- // this.ap.annotationPanel.adjustPanelHeight();
- // this.ap.alabels.setSize(this.ap.alabels.getSize().width,
- // this.ap.annotationPanel.getSize().height);
- // this.ap.validate();
- this.ap.paintAlignment(true);
}
/**
}
/**
@@
-228,11
+222,6
@@
public class AnnotationChooser extends JPanel
}
}
ap.updateAnnotation();
}
}
ap.updateAnnotation();
- // // this.ap.annotationPanel.adjustPanelHeight();
- // this.ap.alabels.setSize(this.ap.alabels.getSize().width,
- // this.ap.annotationPanel.getSize().height);
- // this.ap.validate();
- this.ap.paintAlignment(true);
}
/**
}
/**
@@
-248,9
+237,7
@@
public class AnnotationChooser extends JPanel
{
setAnnotationVisibility(false);
{
setAnnotationVisibility(false);
- this.ap.updateAnnotation();
- // this.ap.annotationPanel.adjustPanelHeight();
- this.ap.paintAlignment(true);
+ ap.updateAnnotation();
}
/**
}
/**
@@
-355,7
+342,7
@@
public class AnnotationChooser extends JPanel
public static List<String> getAnnotationTypes(AlignmentI alignment,
boolean sequenceSpecificOnly)
{
public static List<String> getAnnotationTypes(AlignmentI alignment,
boolean sequenceSpecificOnly)
{
- List<String> result = new ArrayList<String>();
+ List<String> result = new ArrayList<>();
for (AlignmentAnnotation aa : alignment.getAlignmentAnnotation())
{
if (!sequenceSpecificOnly || aa.sequenceRef != null)
for (AlignmentAnnotation aa : alignment.getAlignmentAnnotation())
{
if (!sequenceSpecificOnly || aa.sequenceRef != null)