import jalview.viewmodel.AlignmentViewport;
import java.awt.BorderLayout;
-import java.awt.Button;
-import java.awt.Choice;
+import awt2swing.Button;
+import awt2swing.Choice;
import java.awt.Color;
import java.awt.Dimension;
import java.awt.Font;
import java.awt.Graphics;
import java.awt.GridLayout;
-import java.awt.Label;
-import java.awt.Panel;
-import java.awt.ScrollPane;
-import java.awt.TextArea;
-import java.awt.TextField;
+import awt2swing.Label;
+import awt2swing.Panel;
+import awt2swing.ScrollPane;
+import awt2swing.TextArea;
+import awt2swing.TextField;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.util.Hashtable;
super(null);
}
- public void paint(Graphics g)
+ public void PaintComponent(Graphics g)
{
Dimension d = getSize();
if (isGcol)