/* The contents of this file are subject to the THDL Open Community License Version 1.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License on the THDL web site (http://www.thdl.org/). Software distributed under the License is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License for the specific terms governing rights and limitations under the License. The Initial Developer of this software is the Tibetan and Himalayan Digital Library (THDL). Portions created by the THDL are Copyright 2001 THDL. All Rights Reserved. Contributor(s): ______________________________________. */ package org.thdl.savant; import java.io.*; import java.awt.*; import java.net.*; import java.util.*; import javax.swing.*; import java.awt.event.*; import javax.swing.text.*; import javax.swing.text.rtf.*; import org.thdl.savant.ucuchi.*; import org.thdl.savant.tib.*; import org.thdl.util.TeeStream; import org.thdl.util.ThdlDebug; import org.thdl.util.ThdlActionListener; import org.thdl.util.RTFPane; import org.thdl.util.SimpleFrame; public class SavantShell extends JFrame { private static int numberOfSavantsOpen = 0; private static JScrollPane helpPane = null; private static JScrollPane aboutPane = null; private static String mediaPath = null; private JFileChooser fileChooser; private javax.swing.filechooser.FileFilter savantFilter; private Savant savant = null; public static void main(String[] args) { try { ThdlDebug.attemptToSetUpLogFile("savant", ".log"); try { UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName()); } catch (Exception e) { ThdlDebug.noteIffyCode(); } try { helpPane = new RTFPane(SavantShell.class, "savanthelp.rtf"); aboutPane = new RTFPane(SavantShell.class, "aboutsavant.rtf"); } catch (FileNotFoundException e) { System.out.println("Can't find " + e.getMessage() + "."); System.exit(1); } catch (IOException e) { System.out.println("Can't find one of savanthelp.rtf or aboutsavant.rtf."); System.exit(1); } catch (BadLocationException e) { System.out.println("Error reading one of savanthelp.rtf or aboutsavant.rtf."); System.exit(1); } catch (Exception e) { /* Carry on. A security exception, probably. */ ThdlDebug.noteIffyCode(); } SavantShell ssh = new SavantShell(); ssh.setVisible(true); ssh.initFileChooser(); } catch (NoClassDefFoundError err) { ThdlDebug.handleClasspathError("Savant's CLASSPATH", err); } } public void initFileChooser() { fileChooser = new JFileChooser(); fileChooser.setFileView(new SavantFileView()); savantFilter = new SavantFilter(); fileChooser.addChoosableFileFilter(savantFilter); } public void setFileChooser(JFileChooser fc) { fileChooser = fc; } private class SavantFilter extends javax.swing.filechooser.FileFilter { // accepts all directories and all savant files public boolean accept(File f) { if (f.isDirectory()) { return true; } return f.getName().toLowerCase().endsWith(SavantFileView.getDotSavant()); } //the description of this filter public String getDescription() { return "Savant data (.savant)"; } } /** Closes one open title, if there is one open. Returns true if one was closed, or false if no titles are open. */ private boolean closeOneSavantTitle() { if (savant != null) { ThdlDebug.verify("There should be one or more Savant titles open: ", numberOfSavantsOpen >= 1); if (numberOfSavantsOpen < 2) { savant.close(); savant = null; getContentPane().removeAll(); setTitle("Savant"); invalidate(); validate(); repaint(); } else { savant.close(); dispose(); } numberOfSavantsOpen--; return true; } else { ThdlDebug.verify("There should be zero Savant titles open: ", numberOfSavantsOpen == 0); return false; } } public SavantShell() { setTitle("Savant"); JMenuBar menuBar = new JMenuBar(); JMenu fileMenu = new JMenu("File"); JMenuItem openItem = new JMenuItem("Open"); openItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_O,2)); openItem.addActionListener(new ThdlActionListener() { public void theRealActionPerformed(ActionEvent e) { if (fileChooser.showOpenDialog(SavantShell.this) != JFileChooser.APPROVE_OPTION) return; Properties p = new Properties(); try { File fileChosen = fileChooser.getSelectedFile(); p.load(new FileInputStream(fileChosen)); String path = "file:" + fileChosen.getParent() + File.separatorChar; newSavantWindow(p.getProperty("PROJECT"), p.getProperty("TITLE"), new URL(path + p.getProperty("TRANSCRIPT")), new URL(path + p.getProperty("MEDIA")), null); } catch (MalformedURLException murle) { murle.printStackTrace(); ThdlDebug.noteIffyCode(); } catch (FileNotFoundException fnfe) { fnfe.printStackTrace(); ThdlDebug.noteIffyCode(); } catch (IOException ioe) { ioe.printStackTrace(); ThdlDebug.noteIffyCode(); } } }); JMenuItem closeItem = new JMenuItem("Close"); closeItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_C,2)); closeItem.addActionListener(new ThdlActionListener() { public void theRealActionPerformed(ActionEvent e) { // Return value doesn't matter: closeOneSavantTitle(); } }); JMenuItem quitItem = new JMenuItem("Quit"); quitItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_Q,2)); quitItem.addActionListener(new ThdlActionListener() { public void theRealActionPerformed(ActionEvent e) { // Close all Savant titles: while (closeOneSavantTitle()) ; // Exit normally: System.exit(0); } }); /* Hey developers: To test ThdlActionListener, use this: JMenuItem errorThrowerItem = new JMenuItem("ErrorThrower"); errorThrowerItem.addActionListener(new ThdlActionListener() { public void theRealActionPerformed(ActionEvent e) { throw new Error("Testing ThdlActionListener"); } }); fileMenu.add(errorThrowerItem); */ fileMenu.add(openItem); fileMenu.add(closeItem); fileMenu.addSeparator(); fileMenu.add(quitItem); JMenu infoMenu = new JMenu("Information"); JMenuItem helpItem = new JMenuItem("Help"); helpItem.addActionListener(new ThdlActionListener() { public void theRealActionPerformed(ActionEvent e) { new SimpleFrame("Help", helpPane); } }); JMenuItem aboutItem = new JMenuItem("About"); aboutItem.addActionListener(new ThdlActionListener() { public void theRealActionPerformed(ActionEvent e) { new SimpleFrame("About", aboutPane); } }); infoMenu.add(helpItem); infoMenu.add(aboutItem); //make heavyweight to mix better with jmf video player fileMenu.getPopupMenu().setLightWeightPopupEnabled(false); infoMenu.getPopupMenu().setLightWeightPopupEnabled(false); menuBar.add(fileMenu); menuBar.add(infoMenu); setJMenuBar(menuBar); addWindowListener(new WindowAdapter () { public void windowClosing (WindowEvent e) { if (numberOfSavantsOpen < 2) System.exit(0); if (savant != null) savant.close(); numberOfSavantsOpen--; } }); // Code for Merlin if (JdkVersionHacks.maximizedBothSupported(getToolkit())) { setLocation(0,0); setSize(getToolkit().getScreenSize().width,getToolkit().getScreenSize().height); setVisible(true); // call setExtendedState(Frame.MAXIMIZED_BOTH) if possible: if (!JdkVersionHacks.maximizeJFrameInBothDirections(this)) { throw new Error("badness at maximum: the frame state is supported, but setting that state failed. JdkVersionHacks has a bug."); } } else { Dimension gs = getToolkit().getScreenSize(); setLocation(0,0); setSize(new Dimension(gs.width, gs.height)); setVisible(true); } /* Code for JDK 1.3, including Mac OS X Dimension gs = g.getToolkit().getScreenSize(); g.setLocation(0,0); g.setSize(new Dimension(gs.width, gs.height)); */ } public void newSavantWindow(String project, String titleName, URL trn, URL vid, URL abt) { try { if (numberOfSavantsOpen == 0) openSavant(project, titleName, trn, vid, abt); else { SavantShell scp = new SavantShell(); scp.setVisible(true); scp.openSavant(project, titleName, trn, vid, abt); scp.setFileChooser(fileChooser); } numberOfSavantsOpen++; } catch (NoClassDefFoundError err) { ThdlDebug.handleClasspathError("Savant's CLASSPATH", err); } } public void openSavant(String project, String titleName, URL trn, URL vid, URL abt) { setTitle(titleName); savant = new Savant(); setContentPane(savant); validate(); savant.paintImmediately(0,0,savant.getWidth(),savant.getHeight()); InputStreamReader isr = null; try { InputStream in = trn.openStream(); isr = new InputStreamReader(in, "UTF8"); } catch (IOException ioe) { System.out.println("input stream error"); return; } if (project.equals("Ucuchi")) { TranscriptView[] views = new TranscriptView[5]; views[0] = new org.thdl.savant.ucuchi.Quechua(isr); views[1] = new org.thdl.savant.ucuchi.SegmentedQuechua(views[0].getDocument()); views[2] = new org.thdl.savant.ucuchi.English(views[0].getDocument()); views[3] = new org.thdl.savant.ucuchi.QuechuaEnglish(views[0].getDocument()); views[4] = new org.thdl.savant.ucuchi.All(views[0].getDocument()); savant.open(views, vid, abt); return; } if (project.equals("THDL")) { GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment(); String fonts[] = ge.getAvailableFontFamilyNames(); int i=0; for (; i