X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGWebserviceInfo.java;h=8e8e505f9c9bac357d8c6e16f65079f64cab710d;hb=57738a1f3c19b1c3a00bd3ac5108f8cd0af32f99;hp=ba84411c1d264052343b95c9b2bfdfcc5ea6b2ba;hpb=3d0101179759ef157b088ea135423cd909512d9f;p=jalview.git diff --git a/src/jalview/jbgui/GWebserviceInfo.java b/src/jalview/jbgui/GWebserviceInfo.java index ba84411..8e8e505 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,12 +109,16 @@ 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() { + @Override public void actionPerformed(ActionEvent e) { cancel_actionPerformed(e);