X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGWebserviceInfo.java;h=cddbb3bd64a00dc0fda661a83f69d19fa51c7233;hb=9b74b98cc1471c8b2d221bde484f7cacd1c1d968;hp=ba84411c1d264052343b95c9b2bfdfcc5ea6b2ba;hpb=3d0101179759ef157b088ea135423cd909512d9f;p=jalview.git diff --git a/src/jalview/jbgui/GWebserviceInfo.java b/src/jalview/jbgui/GWebserviceInfo.java index ba84411..cddbb3b 100755 --- a/src/jalview/jbgui/GWebserviceInfo.java +++ b/src/jalview/jbgui/GWebserviceInfo.java @@ -25,6 +25,7 @@ import jalview.util.MessageManager; import java.awt.BorderLayout; import java.awt.Color; import java.awt.Dimension; +import java.awt.Font; import java.awt.GridBagConstraints; import java.awt.GridBagLayout; import java.awt.GridLayout; @@ -61,6 +62,8 @@ public class GWebserviceInfo extends JPanel protected JPanel buttonPanel = new JPanel(); + public JLabel titleText = new JLabel(); + public JButton cancel = new JButton(); public JButton showResultsNewFrame = new JButton(); @@ -95,7 +98,7 @@ public class GWebserviceInfo extends JPanel */ private void jbInit() throws Exception { - infoText.setFont(new java.awt.Font("Verdana", 0, 10)); + infoText.setFont(new Font("Verdana", 0, 10)); infoText.setBorder(null); infoText.setEditable(false); infoText.setText(""); @@ -106,13 +109,17 @@ public class GWebserviceInfo extends JPanel titlePanel.setBackground(Color.white); titlePanel.setPreferredSize(new Dimension(0, 60)); titlePanel.setLayout(borderLayout3); + titleText.setFont(new Font("Arial", Font.BOLD, 12)); + titleText.setBorder(null); + titleText.setText(""); jScrollPane1.setBorder(null); jScrollPane1.setPreferredSize(new Dimension(400, 70)); - cancel.setFont(new java.awt.Font("Verdana", 0, 11)); + cancel.setFont(new Font("Verdana", 0, 11)); cancel.setText(MessageManager.getString("action.cancel")); cancel.addActionListener(new java.awt.event.ActionListener() { - public void actionPerformed(ActionEvent e) + @Override + public void actionPerformed(ActionEvent e) { cancel_actionPerformed(e); }