Skip to content
Snippets Groups Projects
Splash.java 29.5 KiB
Newer Older
  • Learn to ignore specific revisions
  • tjc's avatar
    tjc committed
    /* Splash.java
     *
     * created: Wed May 10 2000
     *
     * This file is part of Artemis
     *
     * Copyright (C) 2000,2002  Genome Research Limited
     *
     * This program is free software; you can redistribute it and/or
     * modify it under the terms of the GNU General Public License
     * as published by the Free Software Foundation; either version 2
     * of the License, or (at your option) any later version.
     *
     * This program is distributed in the hope that it will be useful,
     * but WITHOUT ANY WARRANTY; without even the implied warranty of
     * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     * GNU General Public License for more details.
     *
     * You should have received a copy of the GNU General Public License
     * along with this program; if not, write to the Free Software
     * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
     *
    
     * $Header: //tmp/pathsoft/artemis/uk/ac/sanger/artemis/components/Splash.java,v 1.27 2007-04-10 13:39:38 tjc Exp $
    
    tjc's avatar
    tjc committed
     */
    
    package uk.ac.sanger.artemis.components;
    
    import uk.ac.sanger.artemis.Options;
    import uk.ac.sanger.artemis.EntrySourceVector;
    import uk.ac.sanger.artemis.Logger;
    import uk.ac.sanger.artemis.util.InputStreamProgressListener;
    import uk.ac.sanger.artemis.util.InputStreamProgressEvent;
    
    tjc's avatar
    tjc committed
    import uk.ac.sanger.artemis.util.StringVector;
    import uk.ac.sanger.artemis.sequence.Bases;
    
    import uk.ac.sanger.artemis.sequence.AminoAcidSequence;
    
    tjc's avatar
    tjc committed
    
    
    tjc's avatar
    tjc committed
    import java.io.*;
    
    tjc's avatar
    tjc committed
    import java.awt.*;
    import java.awt.event.*;
    import javax.swing.*;
    import javax.swing.border.Border;
    
    tjc's avatar
    tjc committed
    import java.lang.reflect.Constructor;
    
    tjc's avatar
    tjc committed
    import java.util.Properties;
    
    
    
    tjc's avatar
    tjc committed
    
    /**
     *  Base class that creates a generic "Splash Screen"
     *
     *  @author Kim Rutherford <kmr@sanger.ac.uk>
    
     *  @version $Id: Splash.java,v 1.27 2007-04-10 13:39:38 tjc Exp $
    
    tjc's avatar
    tjc committed
     **/
    
    abstract public class Splash extends JFrame 
    {
    
      /**
       *  Do any necessary cleanup then exit.
       **/
      abstract protected void exit();
    
      /**
       *  A label for status and error messages.
       **/
      final private JLabel status_line = new JLabel("");
    
      /**
       *  The program name that was passed to the constructor.
       **/
      private String program_name;
    
      /**
       *  The program version that was passed to the constructor.
       **/
      private String program_version;
    
      /**
       *  The JComponent to draw the main splash screen into
       **/
      private JComponent helix_canvas;
    
      /**
       *  JMenu bar for the main window.
       **/
      private JMenuBar menu_bar;
    
      protected JMenu file_menu;
    
      protected JMenu options_menu;
    
    
    tjc's avatar
    tjc committed
      private String geneticCode;
    
    
      private static boolean save_wd_properties = false;
      public static boolean save_display_name = false;
      public static boolean save_systematic_names = false;
    
    tjc's avatar
    tjc committed
      /**  The Artemis LogViewer. */
      private final static LogViewer logger = new LogViewer();
      
    
    tjc's avatar
    tjc committed
      public static org.apache.log4j.Logger logger4j = 
             org.apache.log4j.Logger.getLogger(Splash.class);
      
    
    tjc's avatar
    tjc committed
      /**
       *  Create a new JFrame for a Splash screen.
       *  @param program_name The full name of the program.
       *  @param program_title The name to use in the title.
       *  @param program_version The version string.
       **/
      public Splash(final String program_name,
                    final String program_title,
                    final String program_version) 
      {
        super(program_title + " " + program_version);
    
    
    tjc's avatar
    tjc committed
        initLogger();
    
    tjc's avatar
    tjc committed
        
    
    tjc's avatar
    tjc committed
        logger4j.info(System.getProperty("java.version"));
        logger4j.info(System.getProperty("os.name"));
        logger4j.info("Starting application: "+program_name);
    
    tjc's avatar
    tjc committed
        
    
    tjc's avatar
    tjc committed
        if(isMac()) 
        {
    
          setWorkingDirectory();
    
    tjc's avatar
    tjc committed
    
    
    tjc's avatar
    tjc committed
          {
    
            Object[] args = { this, program_title };
            Class[] arglist = { Splash.class, String.class };
    
    tjc's avatar
    tjc committed
            Class mac_class = Class.forName(
    
                "uk.ac.sanger.artemis.components.MacHandler");
            Constructor new_one = mac_class.getConstructor(arglist);
            new_one.newInstance(args);
    
    tjc's avatar
    tjc committed
          }
    
          catch(Exception e)
    
    tjc's avatar
    tjc committed
          {
    
            System.out.println(e);
    
    tjc's avatar
    tjc committed
          }
        }
    
    
    tjc's avatar
    tjc committed
        this.program_name    = program_name;
        this.program_version = program_version;
    
        addWindowListener(new WindowAdapter() 
        {
          public void windowClosing(WindowEvent event) 
          {
    
    tjc's avatar
    tjc committed
            exitApp();
    
    tjc's avatar
    tjc committed
          }
        });
    
    
    tjc's avatar
    tjc committed
        //final javax.swing.LookAndFeel look_and_feel =
        //  javax.swing.UIManager.getLookAndFeel();
    
    tjc's avatar
    tjc committed
    
        final javax.swing.plaf.FontUIResource font_ui_resource =
          Options.getOptions().getFontUIResource();
    
        java.util.Enumeration keys = UIManager.getDefaults().keys();
        while(keys.hasMoreElements()) 
        {
          Object key = keys.nextElement();
          Object value = UIManager.get(key);
          if(value instanceof javax.swing.plaf.FontUIResource) 
            UIManager.put(key, font_ui_resource);
        }
    
        getContentPane().setLayout(new BorderLayout());
    
        makeAllMenus();
    
        helix_canvas = makeHelixCanvas();
    
        status_line.setFont(Options.getOptions().getFont());
    
        final FontMetrics fm =
          this.getFontMetrics(status_line.getFont());
    
        final int font_height = fm.getHeight()+10;
    
        status_line.setMinimumSize(new Dimension(100, font_height));
        status_line.setPreferredSize(new Dimension(100, font_height));
    
        Border loweredbevel = BorderFactory.createLoweredBevelBorder();
        Border raisedbevel = BorderFactory.createRaisedBevelBorder();
        Border compound = BorderFactory.createCompoundBorder(raisedbevel,loweredbevel);
        status_line.setBorder(compound);
    
        getContentPane().add(helix_canvas, "Center");
        getContentPane().add(status_line, "South");
    
        ClassLoader cl = this.getClass().getClassLoader();
        ImageIcon icon = new ImageIcon(cl.getResource("images/icon.gif"));
    
        if(icon != null) 
        {
          final Image icon_image = icon.getImage();
          MediaTracker tracker = new MediaTracker(this);
          tracker.addImage(icon_image, 0);
    
          try
          {
            tracker.waitForAll();
            setIconImage(icon_image);
          }
          catch(InterruptedException e) 
          {
            // ignore and continue
          }
        }
    
    tjc's avatar
    tjc committed
        
    
    tjc's avatar
    tjc committed
        pack();
    
        final int x = 460;
        final int y = 250;
    
        setSize(x, y);
    
        final Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
        setLocation(new Point((screen.width - getSize().width) / 2,
                              (screen.height - getSize().height) / 2));
      }
    
    
    tjc's avatar
    tjc committed
      public static void initLogger()
      {
    
        logger.log("");
        logger.getFileViewer().setHideOnClose(true);
    
    tjc's avatar
    tjc committed
        final InputStream options_input_stream =
          Splash.class.getResourceAsStream("/etc/log4j.properties");
    
        if(options_input_stream != null)
        {
          Properties logProperties = new Properties();
          try
          {
            logProperties.load(options_input_stream);
            org.apache.log4j.PropertyConfigurator.configure(logProperties);
          }
          catch(FileNotFoundException e)
          {
          }
          catch(IOException e)
          {
          }
        }
      }
    
    tjc's avatar
    tjc committed
      
      private boolean isMac() 
      {
        return System.getProperty("mrj.version") != null;
      }
    
     
      public void about()
      {
        ClassLoader cl = this.getClass().getClassLoader();
        ImageIcon icon = new ImageIcon(cl.getResource("images/icon.gif"));
    
        JOptionPane.showMessageDialog(this,
                getTitle()+ "\nthis is free software and is distributed"+
                            "\nunder the terms of the GNU General Public License.",
                "About", JOptionPane.INFORMATION_MESSAGE,
                icon);
    
    //  JOptionPane.showMessageDialog(this,
    //          getTitle()+ "\nthis is free software and is distributed"+
    //                      "\nunder the terms of the GNU General Public License.");
      }
    
    
    
    tjc's avatar
    tjc committed
      /**
       *  Return a JComponent object that will display a helix and a short
       *  copyright notice.
       **/
      private JComponent makeHelixCanvas() 
      {
    
    tjc's avatar
    tjc committed
        return new JPanel() 
        {
          /** */
          private static final long serialVersionUID = 1L;
    
    
    tjc's avatar
    tjc committed
          public void update(Graphics g) 
          {
            paint(g);
          }
    
          // return the program name and the program mode in one String
    
    tjc's avatar
    tjc committed
    //    private String getNameString() 
    //    {
    //      if(Options.getOptions().isEukaryoticMode())
    //        return program_name + "  [Eukaryotic mode]";
    //      else
    //        return program_name + "  [Prokaryotic mode]";
    //      return geneticCode;
    //    }
    
    tjc's avatar
    tjc committed
    
          /**
           *  Draws the splash screen text.
           **/
          public int textPaint(final Graphics g)
          {
            FontMetrics fm = this.getFontMetrics(g.getFont());
            final int font_height = fm.getHeight() + 3;
            g.setColor(Color.black);
            final int left_margin = 5;
    
            g.drawString(program_name,
                         helix_width + left_margin, font_height);
            g.drawString(program_version,
                          helix_width + left_margin, font_height * 2);
    
    tjc's avatar
    tjc committed
    //      if(Options.getOptions().isEukaryoticMode()) 
    //        g.drawString("[Eukaryotic mode]",
    //                      helix_width + left_margin, font_height * 3);
    //      else
    //        g.drawString("[Prokaryotic mode]",
    //                      helix_width + left_margin, font_height * 3);
            g.drawString(geneticCode,
    
                         helix_width + left_margin, font_height * 3);
    
    tjc's avatar
    tjc committed
    
    
    tjc's avatar
    tjc committed
            g.drawString("Copyright 1998 - 2007",
    
    tjc's avatar
    tjc committed
                          helix_width + left_margin, font_height * 9 / 2);
            g.drawString("Genome Research Limited",
                          helix_width + left_margin, font_height * 11 / 2);
    
            return font_height;
          }
    
          public void paint(final Graphics g) 
          {
            final boolean simple_splash_screen =
              Options.getOptions().getPropertyTruthValue("simple_splash_screen");
    
            g.setColor(Color.white);
    
            g.fillRect(0, 0, this.getSize().width, this.getSize().height);
    
            if(simple_splash_screen) {
              // java SIGILL bug work-around
              textPaint(g);
              return;
            }
    
            if(helix == null) 
            {
    //        Toolkit toolkit = Toolkit.getDefaultToolkit();
    //        final URL helix_url = Splash.class.getResource("/uk.ac.sanger.artemis/helix.gif");
    //        helix = toolkit.getImage(helix_url);
    
              ClassLoader cl = this.getClass().getClassLoader();
              ImageIcon helix_icon = new ImageIcon(cl.getResource("images/helix.gif"));
              helix = helix_icon.getImage();
    
    //        final URL sanger_url =
    //          Splash.class.getResource("/uk.ac.sanger.artemis/sanger-centre.gif");
    //        sanger = toolkit.getImage(sanger_url);
              ImageIcon sanger_icon = new ImageIcon(cl.getResource("images/sanger-centre.gif"));
              sanger = sanger_icon.getImage();
    
              tracker = new MediaTracker(this);
              tracker.addImage(helix, 0);
              tracker.addImage(sanger, 1);
    
              try 
              {
                tracker.waitForAll();
                helix_height = helix.getHeight(this);
                helix_width = helix.getWidth(this);
                sanger_height = sanger.getHeight(this);
              }
              catch(InterruptedException e) 
              {
                return;
              }
            }
    
    
    tjc's avatar
    tjc committed
            if(helix_height > 0)
              for(int i=0; i*helix_height<=this.getSize().height; ++i) 
                g.drawImage(helix,
                            0,
                            i * helix_height, this);
    
    tjc's avatar
    tjc committed
    
            final int font_height = textPaint(g);
    
            int sanger_position = this.getSize().height - sanger_height;
    
            if(sanger_position > font_height * 5.5) 
              g.drawImage(sanger,
                           helix_width + 5,
                           sanger_position, this);
          }
    
          MediaTracker tracker = null;
    
          /**
           *  The image of the Sanger DNA logo.  This is set in paint().
           **/
          private Image helix = null;
    
          /**
           *  The image of the Sanger logo.  This is set in paint().
           **/
          private Image sanger = null;
    
          /**
           *  The height of the Sanger logo.  This is set in paint().
           **/
          private int sanger_height;
    
          /**
           *  The height of the Sanger DNA logo.  This is set in paint().
           **/
          private int helix_height;
    
          /**
           *  The width of the Sanger DNA logo.  This is set in paint().
           **/
          private int helix_width;
        };
      }
    
      /**
       *  Return the reference of the Label used as a status line.
       **/
      public JLabel getStatusLabel() 
      {
        return status_line;
      }
    
      /**
       *  The possible sources for reading Entry objects.
       **/
      public EntrySourceVector getEntrySources(final JFrame frame) 
      {
        return Utilities.getEntrySources(frame, stream_progress_listener);
      }
    
      /**
       *  Return an InputStreamProgressListener which updates the error label with
       *  the current number of chars read while reading
       **/
      public InputStreamProgressListener getInputStreamProgressListener() 
      {
        return stream_progress_listener;
      }
    
      /**
       *  Force the options files to be re-read and the EntryEdit components to be
       *  redisplayed.
       **/
      private void resetOptions() 
      {
        Options.getOptions().reset();
      }
    
      /**
       *  Make all the menus and menu items for the main window.  Also sets up
       *  suitable ActionListener objects for each item.
       */
      private void makeAllMenus() 
      {
        menu_bar = new JMenuBar();
        file_menu = new JMenu("File");
    
    tjc's avatar
    tjc committed
        file_menu.setMnemonic(KeyEvent.VK_F);
    
    
    tjc's avatar
    tjc committed
        options_menu = new JMenu("Options");
    
    tjc's avatar
    tjc committed
        options_menu.setMnemonic(KeyEvent.VK_O);
    
    tjc's avatar
    tjc committed
    
        menu_bar.add(file_menu);
        menu_bar.add(options_menu);
    
        setJMenuBar(menu_bar);
    
        ActionListener menu_listener = null;
    
        menu_listener = new ActionListener() 
        {
          public void actionPerformed(ActionEvent event) 
          {
            resetOptions();
          }
        };
        makeMenuItem(options_menu, "Re-read Options", menu_listener);
    
        final JCheckBoxMenuItem enable_direct_edit_item =
          new JCheckBoxMenuItem("Enable Direct Editing");
        enable_direct_edit_item.setState(Options.getOptions().canDirectEdit());
        enable_direct_edit_item.addItemListener(new ItemListener() 
        {
          public void itemStateChanged(ItemEvent event) 
          {
            final boolean item_state = enable_direct_edit_item.getState();
            Options.getOptions().setDirectEdit(item_state);
          }
        });
        options_menu.add(enable_direct_edit_item);
    
    
        options_menu.addSeparator();
        options_menu.add(new JLabel(" --- Genetic Codes Tables ---"));
    
    
        makeGeneticCodeMenu(options_menu);
    
        options_menu.addSeparator();
    
    
    tjc's avatar
    tjc committed
        final JCheckBoxMenuItem j2ssh_option = new JCheckBoxMenuItem(
                                             "Send Searches via SSH");
    
    tjc's avatar
    tjc committed
    
    
    tjc's avatar
    tjc committed
        if(System.getProperty("j2ssh") != null)
          j2ssh_option.setState(true);
        else
          j2ssh_option.setState(false);
    
        j2ssh_option.addItemListener(new ItemListener() 
        {
          public void itemStateChanged(ItemEvent event) 
          {
            final boolean item_state = j2ssh_option.getState();
            if(item_state) 
              System.setProperty("j2ssh", "");
            else
              System.setProperty("j2ssh", "false");
          }
        });
        options_menu.add(j2ssh_option);
        options_menu.addSeparator();
    
    
        final JCheckBoxMenuItem highlight_active_entry_item =
          new JCheckBoxMenuItem("Highlight Active Entry");
        final boolean highlight_active_entry_state =
          Options.getOptions().highlightActiveEntryFlag();
        highlight_active_entry_item.setState(highlight_active_entry_state);
        highlight_active_entry_item.addItemListener(new ItemListener() 
        {
          public void itemStateChanged(ItemEvent event) 
          {
            final boolean item_state = highlight_active_entry_item.getState();
            Options.getOptions().setHighlightActiveEntryFlag(item_state);
          }
        });
        options_menu.add(highlight_active_entry_item);
    
        if(Options.getOptions().getPropertyTruthValue("sanger_options") &&
            Options.getOptions().getProperty("black_belt_mode") != null) 
        {
          final JCheckBoxMenuItem black_belt_mode_item =
            new JCheckBoxMenuItem("Black Belt Mode");
          final boolean state =
            Options.getOptions().isBlackBeltMode();
          black_belt_mode_item.setState(state);
          black_belt_mode_item.addItemListener(new ItemListener() 
          {
            public void itemStateChanged(ItemEvent event) 
            {
              final boolean item_state = black_belt_mode_item.getState();
              if(item_state) 
                Options.getOptions().put("black_belt_mode", "true");
              else 
                Options.getOptions().put("black_belt_mode", "false");
            }
          });
          options_menu.add(black_belt_mode_item);
        }
    
        if(Options.isUnixHost()) 
        {
          options_menu.addSeparator();
    
          menu_listener = new ActionListener() 
          {
            public void actionPerformed(ActionEvent event) 
            {
              showLog();
            }
          };
          makeMenuItem(options_menu, "Show Log Window", menu_listener);
    
          menu_listener = new ActionListener() 
          {
            public void actionPerformed(ActionEvent event) 
            {
              logger.setVisible(false);
            }
          };
          makeMenuItem(options_menu, "Hide Log Window", menu_listener);
        }
    
        menu_listener = new ActionListener()
        {
          public void actionPerformed(ActionEvent event)
          {
            setWorkingDirectory();
          }
        };
        makeMenuItem(options_menu, "Set Working Directory...", menu_listener);
    
    tjc's avatar
    tjc committed
    
      }
    
      /**
       *
       * Set the working directory, used by the file manager.
       *
       */
      public static void setWorkingDirectory()
      {
        final JTextField wdir = new JTextField(System.getProperty("user.dir")+"   ");
    
        if(Options.getOptions() != null &&
           Options.getOptions().getProperty("artemis.user.dir") != null)
          wdir.setText( Options.getOptions().getProperty("artemis.user.dir") );
    
        Box bdown   = Box.createVerticalBox();
        Box bacross = Box.createHorizontalBox();
        JButton browse = new JButton("Browse...");
        browse.addActionListener(new ActionListener ()
        {
          public void actionPerformed (ActionEvent e)
          {
            final StickyFileChooser file_dialog = new StickyFileChooser();
            file_dialog.setFileSelectionMode(JFileChooser.DIRECTORIES_ONLY);
            final int status = file_dialog.showOpenDialog(null);
            if(status == JFileChooser.APPROVE_OPTION)
              wdir.setText(file_dialog.getSelectedFile().getAbsolutePath());
          }
        });
        bacross.add(wdir);
        bacross.add(browse);
        bdown.add(bacross);
    
        bacross = Box.createHorizontalBox();
        JCheckBox saveDir = new JCheckBox("Save between sessions");
        bacross.add(saveDir);
        bacross.add(Box.createHorizontalGlue());
        bdown.add(bacross);    
     
        Object[] possibleValues = { "OK" };
    
    tjc's avatar
    tjc committed
        JOptionPane.showOptionDialog(null,
    
    tjc's avatar
    tjc committed
                                   bdown,
                                   "Set Working Directory",
                                   JOptionPane.DEFAULT_OPTION,
                                   JOptionPane.QUESTION_MESSAGE,null,
                                   possibleValues, possibleValues[0]);
    
        if( (new File(wdir.getText().trim())).exists() )
        {
          System.setProperty("user.dir", wdir.getText().trim());
          if(saveDir.isSelected())
    
            save_wd_properties = true;
    
    tjc's avatar
    tjc committed
        }
      }
    
      protected static void exitApp()
      {
    
        if(save_wd_properties || save_display_name || save_systematic_names)
    
    tjc's avatar
    tjc committed
          saveProperties();
        System.exit(0);
      }
    
      /**
       *
       * Save properties (working directory) between sessions.
       *
       */
      private static void saveProperties()
      {
        String uhome = System.getProperty("user.home");
        String fs = System.getProperty("file.separator");
        String prop = uhome+fs+".artemis_options";
    
    
        writeProperties(prop);
        
    
    tjc's avatar
    tjc committed
      }
    
      /**
      *
      * Write or re-write properties and insert/update the user.dir property
      * @param jemProp      properties file
      * @param uHome        user working directory
      *
      */
    
      private static void writeProperties(String prop)
    
    tjc's avatar
    tjc committed
      {
         File file_txt = new File(prop);
         File file_tmp = new File(prop + ".tmp");
         try
         {
           if(file_txt.exists())
           {
             BufferedReader bufferedreader = new BufferedReader(new FileReader(file_txt));
             BufferedWriter bufferedwriter = new BufferedWriter(new FileWriter(file_tmp));
             String line;
             while ((line = bufferedreader.readLine()) != null)
             {
    
               if(line.startsWith("artemis.user.dir") && save_wd_properties)
               {
                 line = addEscapeChars("artemis.user.dir="+System.getProperty("user.dir"));
                 save_wd_properties = false;
               }
    
               if(line.startsWith("display_name_qualifiers") && save_display_name)
               {
                 String str = "display_name_qualifiers=";
                 StringVector strs = Options.getOptions().getDisplayQualifierNames();
                 for(int i=0; i<strs.size(); i++)
                   str = str.concat(" "+strs.get(i));
                 line = addEscapeChars(str);
                 save_display_name = false;
               }
               
               if(line.startsWith("systematic_name_qualifiers") && save_systematic_names)
               {
                 String str = "systematic_name_qualifiers=";
                 StringVector strs = Options.getOptions().getSystematicQualifierNames();
                 for(int i=0; i<strs.size(); i++)
                   str = str.concat(" "+strs.get(i));
                 line = addEscapeChars(str);
                 save_systematic_names = false;
               }
    
    tjc's avatar
    tjc committed
               bufferedwriter.write(line);
               bufferedwriter.newLine();
             }
    
             
             if(save_wd_properties)
             {
               bufferedwriter.write(
                   addEscapeChars("artemis.user.dir="+System.getProperty("user.dir")));
               bufferedwriter.newLine();
             }
             
             if(save_display_name)
             {
               String str = "display_name_qualifiers=";
               StringVector strs = Options.getOptions().getDisplayQualifierNames();
               for(int i=0; i<strs.size(); i++)
                 str = str.concat(" "+strs.get(i));
               bufferedwriter.write(addEscapeChars(str));
               bufferedwriter.newLine();
             }
             
             if(save_systematic_names)
             {
               String str = "systematic_name_qualifiers=";
               StringVector strs = Options.getOptions().getSystematicQualifierNames();
               for(int i=0; i<strs.size(); i++)
                 str = str.concat(" "+strs.get(i));
               bufferedwriter.write(addEscapeChars(str));
               bufferedwriter.newLine();
             }
             
    
    tjc's avatar
    tjc committed
             bufferedreader.close();
             bufferedwriter.close();
             file_txt.delete();
             file_tmp.renameTo(file_txt);
           }
    
           else // no existing options file
    
    tjc's avatar
    tjc committed
           {
             BufferedWriter bufferedwriter = new BufferedWriter(new FileWriter(file_txt));
    
             
             if(save_wd_properties)
             {
               bufferedwriter.write(
                   addEscapeChars("artemis.user.dir="+System.getProperty("user.dir")));
               bufferedwriter.newLine();
             }
             
             if(save_display_name)
             {
               String str = "display_name_qualifiers=";
               StringVector strs = Options.getOptions().getDisplayQualifierNames();
               for(int i=0; i<strs.size(); i++)
                 str = str.concat(" "+strs.get(i));
               bufferedwriter.write(addEscapeChars(str));
               bufferedwriter.newLine();
             }
             
             if(save_systematic_names)
             {
               String str = "systematic_name_qualifiers=";
               StringVector strs = Options.getOptions().getSystematicQualifierNames();
               for(int i=0; i<strs.size(); i++)
                 str = str.concat(" "+strs.get(i));
               bufferedwriter.write(addEscapeChars(str));
               bufferedwriter.newLine();
             }
    
    tjc's avatar
    tjc committed
             bufferedwriter.close();
           }
         }
         catch (FileNotFoundException filenotfoundexception)
         {
           System.err.println("jemboss.properties read error");
         }
         catch (IOException e)
         {
           System.err.println("jemboss.properties i/o error");
         }
    
      }
    
    
      /**
      *
      * Add in escape chars (for windows) to the backslash chars
      * @param l    string to insert escape characters to
      *
      */
      private static String addEscapeChars(String l)
      {
        int n = l.indexOf("\\");
    
        while( n > -1)
        {
          l = l.substring(0,n)+"\\"+l.substring(n,l.length());
          n = l.indexOf("\\",n+2);
        }
        return l;
    
      }
    
      /**
      *
      * Construct menu for genetic code tables.
      *
      */
    
      protected void makeGeneticCodeMenu(final JMenu options_menu)
    
    tjc's avatar
    tjc committed
        // available genetic codes
    
    tjc's avatar
    tjc committed
    
        StringVector v_genetic_codes = Options.getOptions().getOptionValues("genetic_codes");
        String gcodes[] = (String[])v_genetic_codes.toArray(new String[v_genetic_codes.size()]);
    
    tjc's avatar
    tjc committed
    
    
        // get the default
        StringVector gcode_default = Options.getOptions().getOptionValues("genetic_code_default");
    
        // determine default genetic code table
        int default_code = 0;
        if(gcode_default != null)
        {
    
    tjc's avatar
    tjc committed
          String defS = (String)gcode_default.elementAt(0);
    
          if(defS.length() < 3)
          {
            try
            {
              int num = Integer.parseInt(defS);
              if(num > 0 && num <= gcodes.length)
                default_code = num-1;
              else
                System.err.println(defS+" is not a valid number");
            }
            catch(NumberFormatException nfe)
            {
              System.err.println(defS+" is not a valid number");
            }
          }
        }
        
    
    tjc's avatar
    tjc committed
        ButtonGroup gcodeGroup = new ButtonGroup();
    
    tjc's avatar
    tjc committed
        for(int i = 0; i< gcodes.length; i++)
    
    tjc's avatar
    tjc committed
        {
    
    tjc's avatar
    tjc committed
          if(gcodes[i].equals("-"))
            continue;
    
          int ind1; 
          while((ind1 = gcodes[i].indexOf("_")) > -1)
            gcodes[i] = gcodes[i].substring(0,ind1) + " " +
                        gcodes[i].substring(ind1+1,gcodes[i].length());
    
          String num = Integer.toString(i+1);
          final String gc_name = num+". "+gcodes[i];
          final JCheckBoxMenuItem geneCode = new JCheckBoxMenuItem(gc_name);
          gcodeGroup.add(geneCode);
          geneCode.setActionCommand(num);
    
          geneCode.addItemListener(new ItemListener()
    
    tjc's avatar
    tjc committed
          {
    
    tjc's avatar
    tjc committed
            public void itemStateChanged(ItemEvent event)
            {
              if(geneCode.getState())
              {
                geneticCode = gc_name;
                String tab = "translation_table_"+geneCode.getActionCommand();
                String startCodons = "start_codons_"+geneCode.getActionCommand();
    
                StringVector options_file_table =
                             Options.getOptions().getOptionValues(tab);
    
                if(options_file_table != null)
                {
                  if(options_file_table.size() == 64) 
                  {
                    StringBuffer sbuff = new StringBuffer();
                    for(int i = 0; i < 64; ++i) 
                      sbuff.append(options_file_table.elementAt(i)+" ");
    
                    Options.getOptions().setGeneticCode(sbuff.toString());
                  }
                  else
                  {
                    StringVector table = Options.getOptions().getOptionValues("translation_table_1");
    
                    for(int i = 0; i < options_file_table.size(); ++i)
                    {
    
    tjc's avatar
    tjc committed
                      String cod_plus_aa = (String)options_file_table.elementAt(i);
    
    tjc's avatar
    tjc committed
    //                System.out.println(cod_plus_aa);
                      final int codon_index = Bases.getIndexOfBase(cod_plus_aa.charAt(0)) * 16 +
                                              Bases.getIndexOfBase(cod_plus_aa.charAt(1)) * 4 +
                                              Bases.getIndexOfBase(cod_plus_aa.charAt(2));
    
    //                System.out.println(cod_plus_aa.substring(3)+"  "+codon_index+"  "+
    //                                   table.elementAt(codon_index));
                      table.setElementAt(cod_plus_aa.substring(3), codon_index);
                    }
                    
                    StringBuffer sbuff = new StringBuffer();
                    for(int i = 0; i < 64; ++i)
                      sbuff.append(table.elementAt(i)+" ");
    
                    Options.getOptions().setGeneticCode(sbuff.toString());
                  }
    
                  options_file_table =
                             Options.getOptions().getOptionValues(startCodons);
    
                  if(options_file_table != null)
                  {
                    StringBuffer sbuff = new StringBuffer();
                    for(int i = 0; i < options_file_table.size(); ++i)
                      sbuff.append(options_file_table.elementAt(i)+" ");
                    
                    Options.getOptions().setProperty("start_codons",sbuff.toString());
                  }
                }
    
               
                AminoAcidSequence.setGeneCode();
     
    
    tjc's avatar
    tjc committed
                if(helix_canvas != null)
                  helix_canvas.repaint();
              }
            }
          });
          options_menu.add(geneCode);
    
    tjc's avatar
    tjc committed
    
    
          if(i == default_code)
    
    tjc's avatar
    tjc committed
            geneCode.setState(true);
        }
    
    tjc's avatar
    tjc committed
      }
    
    tjc's avatar
    tjc committed
      /**
       *  Make a new menu item in the given menu, with its label given the
       *  String and add the given ActionListener to it.
       */
      protected static void makeMenuItem(JMenu menu, String name,
                                         ActionListener listener) 
      {
        JMenuItem new_item = new JMenuItem(name);
        menu.add(new_item);
        new_item.addActionListener(listener);
        if(name.equals("Open ..."))
          new_item.setAccelerator(KeyStroke.getKeyStroke
    
                 (KeyEvent.VK_O, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask())); // InputEvent.CTRL_MASK));
    
    tjc's avatar
    tjc committed
      }
    
      /**
       *  Return a Logger for warnings/errors/messages.
       **/
      public static Logger getLogger() 
      {
        return logger;
      }
    
      /**
       *  Return the JComponent that the Splash screen is drawing on.
       **/
      public JComponent getCanvas() 
      {
        return helix_canvas;
      }
    
      /**
       *  Make the LogViewer visible.
       **/
      public static void showLog() 
      {
        logger.setVisible(true);
      }
    
      /**
       *  An InputStreamProgressListener used to update the error label with the
       *  current number of chars read.
       **/
      private final InputStreamProgressListener stream_progress_listener =
        new InputStreamProgressListener() {
          public void progressMade(final InputStreamProgressEvent event) 
          {
            final int char_count = event.getCharCount();
            if(char_count == -1) 
              getStatusLabel().setText("");
            else 
              getStatusLabel().setText("chars read so far: " + char_count);
          }
    
    
          public void progressMade(String progress)
          {
            getStatusLabel().setText(progress);
          }
    
    
    tjc's avatar
    tjc committed
        };