src/jalview/gui/HTMLOptions.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
   3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
   4  *
   5  * This file is part of Jalview.
   6  *
   7  * Jalview is free software: you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation, either version 3
  10  * of the License, or (at your option) any later version.
  11  *
  12  * Jalview is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty
  14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  15  * PURPOSE.  See the GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
  19  * The Jalview Authors are detailed in the 'AUTHORS' file.
  20  */
  21 package jalview.gui;
  22
  23 import jalview.util.MessageManager;
  24
  25 import java.awt.BorderLayout;
  26 import java.awt.event.ActionEvent;
  27 import java.awt.event.ActionListener;
  28
  29 import javax.swing.BorderFactory;
  30 import javax.swing.ButtonGroup;
  31 import javax.swing.JButton;
  32 import javax.swing.JCheckBox;
  33 import javax.swing.JDialog;
  34 import javax.swing.JLabel;
  35 import javax.swing.JOptionPane;
  36 import javax.swing.JPanel;
  37 import javax.swing.JRadioButton;
  38
  39 public class HTMLOptions extends JPanel
  40 {
  41   JDialog dialog;
  42
  43   public boolean cancelled = false;
  44
  45   String value;
  46
  47   public HTMLOptions()
  48   {
  49     try
  50     {
  51       jbInit();
  52     } catch (Exception ex)
  53     {
  54       ex.printStackTrace();
  55     }
  56
  57     ButtonGroup bg = new ButtonGroup();
  58     bg.add(lineart);
  59     bg.add(text);
  60
  61     JOptionPane pane = new JOptionPane(null, JvOptionPane.DEFAULT_OPTION,
  62             JvOptionPane.DEFAULT_OPTION, null, new Object[] { this });
  63
  64     dialog = pane.createDialog(Desktop.desktop, "HTML Rendering options");
  65     dialog.setVisible(true);
  66
  67   }
  68
  69   private void jbInit() throws Exception
  70   {
  71     lineart.setFont(JvSwingUtils.getLabelFont());
  72     lineart.setText(MessageManager.getString("label.lineart"));
  73     text.setFont(JvSwingUtils.getLabelFont());
  74     text.setText(MessageManager.getString("action.text"));
  75     text.setSelected(true);
  76     askAgain.setFont(JvSwingUtils.getLabelFont());
  77     askAgain.setText(MessageManager.getString("label.dont_ask_me_again"));
  78     ok.setText(MessageManager.getString("action.ok"));
  79     ok.addActionListener(new ActionListener()
  80     {
  81       @Override
  82       public void actionPerformed(ActionEvent e)
  83       {
  84         ok_actionPerformed(e);
  85       }
  86     });
  87     cancel.setText(MessageManager.getString("action.cancel"));
  88     cancel.addActionListener(new ActionListener()
  89     {
  90       @Override
  91       public void actionPerformed(ActionEvent e)
  92       {
  93         cancel_actionPerformed(e);
  94       }
  95     });
  96     jLabel1.setFont(JvSwingUtils.getLabelFont());
  97     jLabel1.setText("Select HTML character rendering style");
  98     this.setLayout(borderLayout1);
  99     jPanel3.setBorder(BorderFactory.createEtchedBorder());
 100     jPanel2.add(text);
 101     jPanel2.add(lineart);
 102     jPanel2.add(askAgain);
 103     jPanel1.add(ok);
 104     jPanel1.add(cancel);
 105     jPanel3.add(jLabel1);
 106     jPanel3.add(jPanel2);
 107     this.add(jPanel3, java.awt.BorderLayout.CENTER);
 108     this.add(jPanel1, java.awt.BorderLayout.SOUTH);
 109   }
 110
 111   JRadioButton lineart = new JRadioButton();
 112
 113   JRadioButton text = new JRadioButton();
 114
 115   JCheckBox askAgain = new JCheckBox();
 116
 117   JButton ok = new JButton();
 118
 119   JButton cancel = new JButton();
 120
 121   JPanel jPanel1 = new JPanel();
 122
 123   JLabel jLabel1 = new JLabel();
 124
 125   JPanel jPanel2 = new JPanel();
 126
 127   JPanel jPanel3 = new JPanel();
 128
 129   BorderLayout borderLayout1 = new BorderLayout();
 130
 131   public void ok_actionPerformed(ActionEvent e)
 132   {
 133     if (lineart.isSelected())
 134     {
 135       value = "Lineart";
 136     }
 137     else
 138     {
 139       value = "Text";
 140     }
 141
 142     if (!askAgain.isSelected())
 143     {
 144       jalview.bin.Cache.applicationProperties.remove("HTML_RENDERING");
 145     }
 146     else
 147     {
 148       jalview.bin.Cache.setProperty("HTML_RENDERING", value);
 149     }
 150
 151     dialog.setVisible(false);
 152   }
 153
 154   public void cancel_actionPerformed(ActionEvent e)
 155   {
 156     cancelled = true;
 157     dialog.setVisible(false);
 158   }
 159
 160   public String getValue()
 161   {
 162     return value;
 163   }
 164 }