1096 lines
36 KiB
Java
1096 lines
36 KiB
Java
/*
|
|
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-2003 THDL.
|
|
All Rights Reserved.
|
|
|
|
Contributor(s): ______________________________________.
|
|
*/
|
|
|
|
package org.thdl.tib.input;
|
|
|
|
import java.io.*;
|
|
import java.net.URL;
|
|
import java.awt.*;
|
|
import java.awt.event.*;
|
|
|
|
import java.awt.print.*;
|
|
import javax.swing.plaf.basic.*;
|
|
|
|
import javax.swing.*;
|
|
import javax.swing.event.*;
|
|
import javax.swing.text.*;
|
|
import javax.swing.text.rtf.*;
|
|
|
|
import java.util.Vector;
|
|
|
|
import org.thdl.tib.text.*;
|
|
import org.thdl.util.ThdlDebug;
|
|
import org.thdl.util.ThdlOptions;
|
|
import org.thdl.util.ThdlVersion;
|
|
import org.thdl.util.StatusBar;
|
|
import org.thdl.util.ThdlActionListener;
|
|
import org.thdl.util.HTMLPane;
|
|
import org.thdl.util.SimpleFrame;
|
|
import org.thdl.util.ThdlLazyException;
|
|
|
|
|
|
|
|
/**
|
|
* A simple Tibetan text editor. Jskad editors lack most of the
|
|
* functionality of a word-processor, but they do provide
|
|
* multiple keyboard input methods, as well as
|
|
* conversion routines to go back and forth between Extended
|
|
* Wylie and TibetanMachineWeb.
|
|
* <p>
|
|
* Jskad embeds {@link DuffPane DuffPane}, which is the editing
|
|
* window where the keyboard logic and most functionality is housed.
|
|
* <p>
|
|
* Depending on the object passed to the constructor,
|
|
* a Jskad object can be used in either an application or an
|
|
* applet.
|
|
* @author Edward Garrett, Tibetan and Himalayan Digital Library
|
|
* @version 1.0
|
|
*/
|
|
public class Jskad extends JPanel implements DocumentListener {
|
|
|
|
/** the name of the property a developer should set to see
|
|
low-level info on how keypresses in "Tibetan" input mode are
|
|
being interpreted */
|
|
private final static String enableKeypressStatusProp
|
|
= "thdl.Jskad.enable.tibetan.mode.status";
|
|
|
|
/** the middleman that keeps code regarding Tibetan keyboards
|
|
* clean */
|
|
private final static JskadKeyboardManager keybdMgr
|
|
= new JskadKeyboardManager(JskadKeyboardFactory.getAllAvailableJskadKeyboards());
|
|
|
|
private JComboBox fontFamilies, fontSizes;
|
|
private JFileChooser fileChooser;
|
|
private javax.swing.filechooser.FileFilter rtfFilter;
|
|
private javax.swing.filechooser.FileFilter txtFilter;
|
|
private int fontSize = 0;
|
|
private Object parentObject = null;
|
|
private static int numberOfTibsRTFOpen = 0;
|
|
private static int x_size;
|
|
private static int y_size;
|
|
|
|
/**
|
|
* The text editing window which this Jskad object embeds.
|
|
*/
|
|
public DuffPane dp;
|
|
/**
|
|
* Has the document been saved since it was last changed?
|
|
*/
|
|
public boolean hasChanged = false;
|
|
|
|
/**
|
|
* The filename, if any, associated with this instance of Jskad.
|
|
*/
|
|
public String fileName = null;
|
|
|
|
/** the status bar for this frame */
|
|
private StatusBar statusBar;
|
|
|
|
/** Do not use this JPanel constructor. */
|
|
private Jskad() { super(); }
|
|
|
|
/** Do not use this JPanel constructor. */
|
|
private Jskad(boolean isDB) { super(isDB); }
|
|
|
|
/** Do not use this JPanel constructor. */
|
|
private Jskad(LayoutManager lm) { super(lm); }
|
|
|
|
/** Do not use this JPanel constructor. */
|
|
private Jskad(LayoutManager lm, boolean isDB) { super(lm, isDB); }
|
|
|
|
/** Saves user preferences to disk if possible. */
|
|
private static void savePreferencesAction() {
|
|
try {
|
|
ThdlOptions.saveUserPreferences();
|
|
} catch (IOException ioe) {
|
|
System.out.println("IO Exception saving user preferences to " + ThdlOptions.getUserPreferencesPath());
|
|
ioe.printStackTrace();
|
|
ThdlDebug.noteIffyCode();
|
|
}
|
|
}
|
|
|
|
/** pane displaying Jskad's single HTML help file */
|
|
private static HTMLPane helpPane;
|
|
|
|
/**
|
|
* @param parent the object that embeds this instance of Jskad.
|
|
* Supported objects include JFrames and JApplets. If the parent
|
|
* is a JApplet then the File menu is omitted from the menu bar.
|
|
*/
|
|
public Jskad(final Object parent) {
|
|
super();
|
|
|
|
if (ThdlOptions.getBooleanOption("thdl.Jskad.disable.status.bar")) {
|
|
statusBar = null;
|
|
} else {
|
|
statusBar
|
|
= new StatusBar(ThdlOptions.getStringOption("thdl.Jskad.initial.status.message",
|
|
"Welcome to Jskad!"));
|
|
}
|
|
parentObject = parent;
|
|
numberOfTibsRTFOpen++;
|
|
JMenuBar menuBar = new JMenuBar();
|
|
|
|
if (parentObject instanceof JFrame || parentObject instanceof JInternalFrame) {
|
|
String whereToStart
|
|
= ThdlOptions.getStringOption("thdl.Jskad.working.directory",
|
|
null);
|
|
fileChooser
|
|
= new JFileChooser(whereToStart.equals("") ? null : whereToStart);
|
|
rtfFilter = new RTFFilter();
|
|
txtFilter = new TXTFilter();
|
|
fileChooser.addChoosableFileFilter(rtfFilter);
|
|
|
|
JMenu fileMenu = new JMenu("File");
|
|
|
|
JMenuItem newItem = new JMenuItem("New");
|
|
// newItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_N,java.awt.Event.CTRL_MASK)); //Ctrl-n
|
|
newItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
newFile();
|
|
}
|
|
});
|
|
fileMenu.add(newItem);
|
|
|
|
JMenuItem openItem = new JMenuItem("Open");
|
|
// openItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_O,java.awt.Event.CTRL_MASK)); //Ctrl-o
|
|
openItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
openFile();
|
|
}
|
|
});
|
|
fileMenu.add(openItem);
|
|
|
|
if (parentObject instanceof JFrame) {
|
|
JMenuItem closeItem = new JMenuItem("Close");
|
|
closeItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
if (!hasChanged || hasChanged && checkSave()) {
|
|
numberOfTibsRTFOpen--;
|
|
|
|
if (numberOfTibsRTFOpen == 0)
|
|
System.exit(0);
|
|
else {
|
|
final JFrame parentFrame = (JFrame)parentObject;
|
|
parentFrame.dispose();
|
|
}
|
|
}
|
|
}
|
|
});
|
|
fileMenu.add(closeItem);
|
|
}
|
|
|
|
JMenuItem saveItem = new JMenuItem("Save");
|
|
// saveItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_S,java.awt.Event.CTRL_MASK)); //Ctrl-s
|
|
saveItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
if (fileName == null)
|
|
saveAsFile();
|
|
else
|
|
saveFile();
|
|
}
|
|
|
|
});
|
|
fileMenu.addSeparator();
|
|
fileMenu.add(saveItem);
|
|
|
|
JMenuItem saveAsItem = new JMenuItem("Save as");
|
|
saveAsItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
saveAsFile();
|
|
}
|
|
});
|
|
fileMenu.add(saveAsItem);
|
|
|
|
menuBar.add(fileMenu);
|
|
}
|
|
|
|
JMenu editMenu = new JMenu("Edit");
|
|
|
|
if (parentObject instanceof JFrame || parentObject instanceof JInternalFrame) {
|
|
JMenuItem cutItem = new JMenuItem("Cut");
|
|
cutItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_X,
|
|
java.awt.Event.CTRL_MASK)); //Ctrl-x
|
|
cutItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
cutSelection();
|
|
}
|
|
});
|
|
editMenu.add(cutItem);
|
|
|
|
JMenuItem copyItem = new JMenuItem("Copy");
|
|
copyItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_C,
|
|
java.awt.Event.CTRL_MASK)); //Ctrl-c
|
|
copyItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
copySelection();
|
|
}
|
|
});
|
|
editMenu.add(copyItem);
|
|
|
|
JMenuItem pasteItem = new JMenuItem("Paste");
|
|
pasteItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_V,
|
|
java.awt.Event.CTRL_MASK)); //Ctrl-v
|
|
pasteItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
pasteSelection();
|
|
}
|
|
});
|
|
editMenu.add(pasteItem);
|
|
editMenu.addSeparator();
|
|
|
|
JMenuItem selectallItem = new JMenuItem("Select All");
|
|
selectallItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_A,
|
|
java.awt.Event.CTRL_MASK)); //Ctrl-a
|
|
selectallItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
dp.setSelectionStart(0);
|
|
dp.setSelectionEnd(dp.getDocument().getLength());
|
|
}
|
|
});
|
|
editMenu.add(selectallItem);
|
|
}
|
|
|
|
{
|
|
JMenuItem preferencesItem = new JMenuItem("Preferences");
|
|
preferencesItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
getPreferences();
|
|
}
|
|
});
|
|
editMenu.addSeparator();
|
|
editMenu.add(preferencesItem);
|
|
}
|
|
|
|
{
|
|
JMenuItem preferencesItem = new JMenuItem("Save preferences to " + ThdlOptions.getUserPreferencesPath());
|
|
preferencesItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
savePreferencesAction();
|
|
}
|
|
});
|
|
editMenu.add(preferencesItem);
|
|
}
|
|
|
|
menuBar.add(editMenu);
|
|
|
|
JMenu toolsMenu = new JMenu("Tools");
|
|
|
|
JMenuItem TMWWylieItem = new JMenuItem("Convert Tibetan to Wylie");
|
|
TMWWylieItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
toWylie();
|
|
}
|
|
});
|
|
toolsMenu.add(TMWWylieItem);
|
|
|
|
JMenuItem wylieTMWItem = new JMenuItem("Convert Wylie to Tibetan");
|
|
wylieTMWItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
toTibetan();
|
|
}
|
|
});
|
|
toolsMenu.add(wylieTMWItem);
|
|
|
|
if (parentObject instanceof JFrame || parentObject instanceof JInternalFrame) {
|
|
JMenuItem importItem = new JMenuItem("Import Wylie as Tibetan");
|
|
importItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
importWylie();
|
|
}
|
|
});
|
|
toolsMenu.addSeparator();
|
|
toolsMenu.add(importItem);
|
|
}
|
|
|
|
if (ThdlOptions.getBooleanOption("thdl.add.developer.options.to.menu")) {
|
|
toolsMenu.addSeparator();
|
|
JMenuItem DevelItem = new JMenuItem("Toggle read-only");
|
|
DevelItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
dp.setEditable(!dp.isEditable());
|
|
}
|
|
});
|
|
toolsMenu.add(DevelItem);
|
|
}
|
|
|
|
menuBar.add(toolsMenu);
|
|
|
|
JMenu infoMenu = new JMenu("Info");
|
|
|
|
{
|
|
JMenuItem helpItem = new JMenuItem("Help");
|
|
helpItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
if (helpPane == null) {
|
|
try {
|
|
helpPane
|
|
= new HTMLPane(Jskad.class,
|
|
"/org/thdl/tib/input/jskad_doc.html");
|
|
} catch (Exception ex) {
|
|
ex.printStackTrace(System.err);
|
|
throw new ThdlLazyException(ex);
|
|
/* DLC FIXME--handle this better.
|
|
show a dialog saying "help can't be
|
|
loaded, surf to thdl's web site and
|
|
also submit a bug report." */
|
|
}
|
|
}
|
|
new SimpleFrame("Help for Jskad", helpPane);
|
|
/* DLC FIXME -- pressing the "Help" menu item
|
|
twice causes the first pane to become dead.
|
|
We should check to see if the first pane
|
|
exists and raise it rather than creating a
|
|
second pane. */
|
|
}
|
|
});
|
|
infoMenu.add(helpItem);
|
|
infoMenu.addSeparator();
|
|
}
|
|
|
|
for (int i = 0; i < keybdMgr.size(); i++) {
|
|
final JskadKeyboard kbd = keybdMgr.elementAt(i);
|
|
if (kbd.hasQuickRefFile()) {
|
|
JMenuItem keybdItem = new JMenuItem(kbd.getIdentifyingString());
|
|
keybdItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
new SimpleFrame(kbd.getIdentifyingString(),
|
|
kbd.getQuickRefPane());
|
|
/* DLC FIXME -- pressing the "Extended
|
|
Wylie" menu item twice causes the first
|
|
pane to become dead. We should check
|
|
to see if the first pane exists and
|
|
raise it rather than creating a second
|
|
pane. */
|
|
}
|
|
});
|
|
infoMenu.add(keybdItem);
|
|
}
|
|
}
|
|
|
|
infoMenu.addSeparator();
|
|
|
|
{
|
|
JMenuItem aboutItem = new JMenuItem("About");
|
|
aboutItem.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
JOptionPane.showMessageDialog(Jskad.this,
|
|
"Copyright 2001-2003 Tibetan and Himalayan Digital Library\n\n"+
|
|
"Jskad is protected by the THDL Open Community License.\n\n"+ /* FIXME HARD-CODED VERSION NUMBER */
|
|
|
|
"For more information, or to download the source code\n"+
|
|
"for Jskad, visit our web site:\n"+
|
|
" http://www.thdl.org/\n" +
|
|
"\n" +
|
|
"When submitting bug reports, please indicate that the\n" +
|
|
"time of compilation is "
|
|
+ ThdlVersion.getTimeOfCompilation() + "\n",
|
|
"About Jskad", JOptionPane.PLAIN_MESSAGE);
|
|
}
|
|
});
|
|
infoMenu.add(aboutItem);
|
|
}
|
|
|
|
menuBar.add(infoMenu);
|
|
|
|
/* Initialize dp before calling
|
|
JskadKeyboard.activate(DuffPane) or dp.toggleLanguage(). */
|
|
if (ThdlOptions.getBooleanOption(Jskad.enableKeypressStatusProp)) {
|
|
dp = new DuffPane(statusBar);
|
|
} else {
|
|
dp = new DuffPane();
|
|
}
|
|
|
|
|
|
JToolBar toolBar = new JToolBar();
|
|
toolBar.setBorder(null);
|
|
toolBar.addSeparator();
|
|
toolBar.add(new JLabel("Input mode:"));
|
|
toolBar.addSeparator();
|
|
|
|
String[] input_modes = {"Tibetan","Roman"};
|
|
final JComboBox inputmethods = new JComboBox(input_modes);
|
|
|
|
int initialInputMethod
|
|
= ThdlOptions.getIntegerOption("thdl.Jskad.input.method", 0);
|
|
if (!dp.isRomanEnabled() && 1 == initialInputMethod) {
|
|
initialInputMethod = 0;
|
|
System.out.println("Hey yo! Roman input mode is not enabled, but your preference is for Roman mode at startup. Sorry!");
|
|
ThdlDebug.noteIffyCode();
|
|
}
|
|
try {
|
|
inputmethods.setSelectedIndex(initialInputMethod);
|
|
} catch (IllegalArgumentException e) {
|
|
initialInputMethod = 0; // Tibetan is the default.
|
|
inputmethods.setSelectedIndex(initialInputMethod);
|
|
}
|
|
// Because we start in Tibetan mode, we must toggle initially
|
|
// if the user wants it that way:
|
|
if (1 == initialInputMethod && dp.isRomanEnabled())
|
|
dp.toggleLanguage();
|
|
|
|
inputmethods.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
int si = inputmethods.getSelectedIndex();
|
|
ThdlOptions.setUserPreference("thdl.Jskad.input.method", si);
|
|
switch (si) {
|
|
case 0: //Tibetan
|
|
if (dp.isRomanMode())
|
|
dp.toggleLanguage();
|
|
statusBar.replaceStatus("Now inputting Tibetan script");
|
|
break;
|
|
|
|
case 1: //Roman
|
|
if (!dp.isRomanMode() && dp.isRomanEnabled())
|
|
dp.toggleLanguage();
|
|
statusBar.replaceStatus("Now inputting Roman script");
|
|
break;
|
|
}
|
|
}
|
|
});
|
|
|
|
|
|
toolBar.add(inputmethods);
|
|
toolBar.add(Box.createHorizontalGlue());
|
|
|
|
toolBar.add(new JLabel("Keyboard:"));
|
|
toolBar.addSeparator();
|
|
|
|
final JComboBox keyboards
|
|
= new JComboBox(keybdMgr.getIdentifyingStrings());
|
|
int initialKeyboard
|
|
= ThdlOptions.getIntegerOption("thdl.default.tibetan.keyboard", 0);
|
|
try {
|
|
keyboards.setSelectedIndex(initialKeyboard);
|
|
} catch (IllegalArgumentException e) {
|
|
initialKeyboard = 0; // good ol' Wylie
|
|
keyboards.setSelectedIndex(initialKeyboard);
|
|
}
|
|
keybdMgr.elementAt(initialKeyboard).activate(dp);
|
|
keyboards.addActionListener(new ThdlActionListener() {
|
|
public void theRealActionPerformed(ActionEvent e) {
|
|
int ki = keyboards.getSelectedIndex();
|
|
keybdMgr.elementAt(keyboards.getSelectedIndex()).activate(dp);
|
|
ThdlOptions.setUserPreference("thdl.default.tibetan.keyboard",
|
|
ki);
|
|
}
|
|
});
|
|
toolBar.add(keyboards);
|
|
toolBar.add(Box.createHorizontalGlue());
|
|
|
|
JScrollPane sp = new JScrollPane(dp, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
|
|
dp.getDocument().addDocumentListener(this);
|
|
|
|
if (parentObject instanceof JFrame) {
|
|
final JFrame parentFrame = (JFrame)parentObject;
|
|
parentFrame.setJMenuBar(menuBar);
|
|
parentFrame.setDefaultCloseOperation(WindowConstants.DO_NOTHING_ON_CLOSE);
|
|
parentFrame.addWindowListener(new WindowAdapter () {
|
|
public void windowClosing (WindowEvent e) {
|
|
if (!hasChanged || hasChanged && checkSave()) {
|
|
numberOfTibsRTFOpen--;
|
|
if (numberOfTibsRTFOpen == 0)
|
|
System.exit(0);
|
|
else
|
|
parentFrame.dispose();
|
|
}
|
|
}
|
|
});
|
|
}
|
|
|
|
else if (parentObject instanceof JInternalFrame) {
|
|
final JInternalFrame parentFrame = (JInternalFrame)parentObject;
|
|
parentFrame.setJMenuBar(menuBar);
|
|
}
|
|
|
|
else if (parentObject instanceof JApplet) {
|
|
JApplet parentApplet = (JApplet)parentObject;
|
|
parentApplet.setJMenuBar(menuBar);
|
|
dp.disableCutAndPaste();
|
|
}
|
|
|
|
setLayout(new BorderLayout());
|
|
add("North", toolBar);
|
|
add("Center", sp);
|
|
if (statusBar != null)
|
|
add("South", statusBar);
|
|
}
|
|
|
|
private void getPreferences() {
|
|
GraphicsEnvironment genv = GraphicsEnvironment.getLocalGraphicsEnvironment();
|
|
String[] fontNames = genv.getAvailableFontFamilyNames();
|
|
|
|
JPanel tibetanPanel;
|
|
JComboBox tibetanFontSizes;
|
|
|
|
tibetanPanel = new JPanel();
|
|
tibetanPanel.setBorder(BorderFactory.createTitledBorder("Set Tibetan Font Size"));
|
|
tibetanFontSizes = new JComboBox(new String[] {"8","10","12","14","16","18","20","22","24","26","28","30","32","34","36","48","72"});
|
|
tibetanFontSizes.setMaximumSize(tibetanFontSizes.getPreferredSize());
|
|
tibetanFontSizes.setSelectedItem(String.valueOf(dp.getTibetanFontSize()));
|
|
tibetanFontSizes.setEditable(true);
|
|
tibetanPanel.add(tibetanFontSizes);
|
|
|
|
JPanel romanPanel;
|
|
JComboBox romanFontFamilies;
|
|
JComboBox romanFontSizes;
|
|
|
|
romanPanel = new JPanel();
|
|
romanPanel.setBorder(BorderFactory.createTitledBorder("Set non-Tibetan Font and Size"));
|
|
romanFontFamilies = new JComboBox(fontNames);
|
|
romanFontFamilies.setMaximumSize(romanFontFamilies.getPreferredSize());
|
|
romanFontFamilies.setSelectedItem(dp.getRomanFontFamily());
|
|
romanFontFamilies.setEditable(true);
|
|
romanFontSizes = new JComboBox(new String[] {"8","10","12","14","16","18","20","22","24","26","28","30","32","34","36","48","72"});
|
|
romanFontSizes.setMaximumSize(romanFontSizes.getPreferredSize());
|
|
romanFontSizes.setSelectedItem(String.valueOf(dp.getRomanFontSize()));
|
|
romanFontSizes.setEditable(true);
|
|
romanPanel.setLayout(new GridLayout(1,2));
|
|
romanPanel.add(romanFontFamilies);
|
|
romanPanel.add(romanFontSizes);
|
|
|
|
JPanel preferencesPanel = new JPanel();
|
|
preferencesPanel.setLayout(new GridLayout(2,1));
|
|
preferencesPanel.add(tibetanPanel);
|
|
preferencesPanel.add(romanPanel);
|
|
|
|
JOptionPane pane = new JOptionPane(preferencesPanel);
|
|
JDialog dialog = pane.createDialog(this, "Preferences");
|
|
|
|
// This returns only when the user has closed the dialog:
|
|
dialog.show();
|
|
|
|
int size;
|
|
try {
|
|
size = Integer.parseInt(tibetanFontSizes.getSelectedItem().toString());
|
|
dp.setByUserTibetanFontSize(size);
|
|
}
|
|
catch (NumberFormatException ne) {
|
|
size = dp.getTibetanFontSize();
|
|
dp.setTibetanFontSize(size);
|
|
}
|
|
|
|
String font = romanFontFamilies.getSelectedItem().toString();
|
|
try {
|
|
size = Integer.parseInt(romanFontSizes.getSelectedItem().toString());
|
|
}
|
|
catch (NumberFormatException ne) {
|
|
size = dp.getRomanFontSize();
|
|
}
|
|
dp.setByUserRomanAttributeSet(font, size);
|
|
}
|
|
|
|
private void newFile() {
|
|
if (dp.getDocument().getLength()>0 && parentObject instanceof JFrame) {
|
|
JFrame parentFrame = (JFrame)parentObject;
|
|
JFrame newFrame = new JFrame("Jskad");
|
|
Point point = parentFrame.getLocationOnScreen();
|
|
newFrame.setSize(parentFrame.getSize().width, parentFrame.getSize().height);
|
|
newFrame.setLocation(point.x+50, point.y+50);
|
|
newFrame.getContentPane().add(new Jskad(newFrame));
|
|
newFrame.setVisible(true);
|
|
}
|
|
else {
|
|
if (parentObject instanceof JFrame) {
|
|
JFrame parentFrame = (JFrame)parentObject;
|
|
parentFrame.setTitle("Jskad");
|
|
}
|
|
else if (parentObject instanceof JInternalFrame) {
|
|
JInternalFrame parentFrame = (JInternalFrame)parentObject;
|
|
parentFrame.setTitle("Jskad");
|
|
}
|
|
dp.newDocument();
|
|
dp.getDocument().addDocumentListener(Jskad.this);
|
|
hasChanged = false;
|
|
}
|
|
}
|
|
|
|
private void openFile() {
|
|
String whereToStart
|
|
= ThdlOptions.getStringOption("thdl.Jskad.working.directory",
|
|
null);
|
|
fileChooser
|
|
= new JFileChooser(whereToStart.equals("") ? null : whereToStart);
|
|
fileChooser.addChoosableFileFilter(rtfFilter);
|
|
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
|
|
|
|
if (fileChooser.showOpenDialog(this) != JFileChooser.APPROVE_OPTION) {
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
return;
|
|
}
|
|
|
|
final File fileChosen = fileChooser.getSelectedFile();
|
|
final String f_name = fileChosen.getAbsolutePath();
|
|
|
|
try {
|
|
if (dp.getDocument().getLength()>0 && parentObject instanceof JFrame) {
|
|
JFrame parentFrame = (JFrame)parentObject;
|
|
InputStream in = new FileInputStream(fileChosen);
|
|
ThdlOptions.setUserPreference("thdl.Jskad.working.directory",
|
|
fileChosen.getParentFile().getAbsolutePath());
|
|
JFrame newFrame = new JFrame(f_name);
|
|
Point point = parentFrame.getLocationOnScreen();
|
|
newFrame.setSize(x_size, y_size);
|
|
newFrame.setLocation(point.x+50, point.y+50);
|
|
Jskad newRTF = new Jskad(newFrame);
|
|
newFrame.getContentPane().add(newRTF);
|
|
newRTF.dp.rtfEd.read(in, newRTF.dp.getDocument(), 0);
|
|
newRTF.dp.getDocument().addDocumentListener(newRTF);
|
|
in.close();
|
|
newFrame.setTitle(f_name);
|
|
newRTF.fileName = new String(f_name);
|
|
newRTF.hasChanged = false;
|
|
newRTF.dp.getCaret().setDot(0);
|
|
newFrame.setVisible(true);
|
|
} else {
|
|
InputStream in = new FileInputStream(fileChosen);
|
|
ThdlOptions.setUserPreference("thdl.Jskad.working.directory",
|
|
fileChosen.getParentFile().getAbsolutePath());
|
|
dp.newDocument();
|
|
dp.rtfEd.read(in, dp.getDocument(), 0);
|
|
in.close();
|
|
dp.getCaret().setDot(0);
|
|
dp.getDocument().addDocumentListener(Jskad.this);
|
|
hasChanged = false;
|
|
fileName = new String(f_name);
|
|
|
|
if (parentObject instanceof JFrame) {
|
|
JFrame parentFrame = (JFrame)parentObject;
|
|
parentFrame.setTitle(fileName);
|
|
}
|
|
else if (parentObject instanceof JInternalFrame) {
|
|
JInternalFrame parentFrame = (JInternalFrame)parentObject;
|
|
parentFrame.setTitle(fileName);
|
|
}
|
|
}
|
|
}
|
|
catch (FileNotFoundException fnfe) {
|
|
JOptionPane.showMessageDialog(Jskad.this,
|
|
"No such file exists.",
|
|
"Open File Error",
|
|
JOptionPane.ERROR_MESSAGE);
|
|
}
|
|
catch (IOException ioe) {
|
|
JOptionPane.showMessageDialog(Jskad.this,
|
|
"Error reading file.",
|
|
"Open File Error",
|
|
JOptionPane.ERROR_MESSAGE);
|
|
}
|
|
catch (BadLocationException ble) {
|
|
ThdlDebug.noteIffyCode();
|
|
}
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
}
|
|
|
|
private void saveFile() {
|
|
String s = getSave(fileName);
|
|
if (null != s) {
|
|
if (parentObject instanceof JFrame) {
|
|
JFrame parentFrame = (JFrame)parentObject;
|
|
parentFrame.setTitle(s);
|
|
fileName = new String(s);
|
|
}
|
|
else if (parentObject instanceof JInternalFrame) {
|
|
JInternalFrame parentFrame = (JInternalFrame)parentObject;
|
|
parentFrame.setTitle(s);
|
|
fileName = new String(s);
|
|
}
|
|
}
|
|
}
|
|
|
|
private void saveAsFile() {
|
|
String s = getSaveAs();
|
|
if (null != s) {
|
|
if (parentObject instanceof JFrame) {
|
|
JFrame parentFrame = (JFrame)parentObject;
|
|
parentFrame.setTitle(s);
|
|
fileName = new String(s);
|
|
}
|
|
else if (parentObject instanceof JInternalFrame) {
|
|
JInternalFrame parentFrame = (JInternalFrame)parentObject;
|
|
parentFrame.setTitle(s);
|
|
fileName = new String(s);
|
|
}
|
|
}
|
|
}
|
|
|
|
private boolean checkSave() {
|
|
if (ThdlOptions.getBooleanOption("thdl.Jskad.do.not.confirm.quit")) {
|
|
return true;
|
|
}
|
|
|
|
int saveFirst = JOptionPane.showConfirmDialog(this, "Do you want to save your changes?", "Please select", JOptionPane.YES_NO_CANCEL_OPTION);
|
|
|
|
switch (saveFirst) {
|
|
case JOptionPane.NO_OPTION: //don't save but do continue
|
|
return true;
|
|
|
|
case JOptionPane.YES_OPTION: //save and continue
|
|
if (fileName == null) {
|
|
saveAsFile();
|
|
}
|
|
else
|
|
saveFile();
|
|
return true;
|
|
|
|
default:
|
|
return false;
|
|
}
|
|
}
|
|
|
|
private String getSave(String f_name) {
|
|
File fileChosen = new File(f_name);
|
|
|
|
try {
|
|
BufferedOutputStream out = new BufferedOutputStream(new FileOutputStream(fileChosen));
|
|
dp.rtfEd.write(out, dp.getDocument(), 0, dp.getDocument().getLength());
|
|
out.flush();
|
|
out.close();
|
|
hasChanged = false;
|
|
} catch (IOException exception) {
|
|
JOptionPane.showMessageDialog(Jskad.this,
|
|
"Cannot save to that file.",
|
|
"Save As Error",
|
|
JOptionPane.ERROR_MESSAGE);
|
|
|
|
return null;
|
|
} catch (BadLocationException ble) {
|
|
ble.printStackTrace();
|
|
ThdlDebug.noteIffyCode();
|
|
}
|
|
return f_name;
|
|
}
|
|
|
|
private String getSaveAs() {
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
|
|
|
|
if (fileName == null)
|
|
fileChooser.setSelectedFile(null);
|
|
else
|
|
fileChooser.setSelectedFile(new File(fileName));
|
|
|
|
if (fileChooser.showSaveDialog(this) != JFileChooser.APPROVE_OPTION) {
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
return null;
|
|
}
|
|
|
|
File fileChosen = fileChooser.getSelectedFile();
|
|
ThdlOptions.setUserPreference("thdl.Jskad.working.directory",
|
|
fileChosen.getParentFile().getAbsolutePath());
|
|
String fileName = fileChosen.getAbsolutePath();
|
|
int i = fileName.lastIndexOf('.');
|
|
|
|
if (i < 0)
|
|
fileName += ".rtf";
|
|
else
|
|
fileName = fileName.substring(0, i) + ".rtf";
|
|
|
|
getSave(fileName);
|
|
|
|
fileChooser.rescanCurrentDirectory();
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
return fileName;
|
|
}
|
|
|
|
private void cutSelection() {
|
|
dp.cut();
|
|
}
|
|
|
|
private void copySelection() {
|
|
dp.copy();
|
|
}
|
|
|
|
private void pasteSelection() {
|
|
dp.paste(dp.getCaret().getDot());
|
|
}
|
|
|
|
private void toTibetan() {
|
|
Jskad.this.setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
|
|
dp.toTibetanMachineWeb();
|
|
Jskad.this.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
}
|
|
|
|
private void toWylie() {
|
|
Jskad.this.setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
|
|
dp.toWylie(dp.getSelectionStart(), dp.getSelectionEnd());
|
|
Jskad.this.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
}
|
|
|
|
private void importWylie() {
|
|
fileChooser.removeChoosableFileFilter(rtfFilter);
|
|
fileChooser.addChoosableFileFilter(txtFilter);
|
|
|
|
if (fileChooser.showDialog(Jskad.this, "Import Wylie") != JFileChooser.APPROVE_OPTION) {
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
fileChooser.removeChoosableFileFilter(txtFilter);
|
|
fileChooser.addChoosableFileFilter(rtfFilter);
|
|
return;
|
|
}
|
|
|
|
File txt_fileChosen = fileChooser.getSelectedFile();
|
|
fileChooser.rescanCurrentDirectory();
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
fileChooser.removeChoosableFileFilter(txtFilter);
|
|
fileChooser.addChoosableFileFilter(rtfFilter);
|
|
|
|
if (fileChooser.showDialog(Jskad.this, "Save as Tibetan") != JFileChooser.APPROVE_OPTION) {
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
return;
|
|
}
|
|
|
|
File rtf_fileChosen = fileChooser.getSelectedFile();
|
|
fileChooser.rescanCurrentDirectory();
|
|
setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
|
|
String rtf_fileName = rtf_fileChosen.getAbsolutePath();
|
|
int i = rtf_fileName.lastIndexOf('.');
|
|
|
|
if (i < 0)
|
|
rtf_fileName += ".rtf";
|
|
else
|
|
rtf_fileName = fileName.substring(0, i) + ".rtf";
|
|
|
|
try {
|
|
BufferedReader in = new BufferedReader(new FileReader(txt_fileChosen));
|
|
DuffPane dp2;
|
|
// FIXME: why do we need a whole DuffPane to do this? we
|
|
// definitely don't need a status bar...
|
|
if (ThdlOptions.getBooleanOption(Jskad.enableKeypressStatusProp)) {
|
|
dp2 = new DuffPane(statusBar);
|
|
} else {
|
|
dp2 = new DuffPane();
|
|
}
|
|
|
|
try {
|
|
String val = in.readLine();
|
|
|
|
while (val != null) {
|
|
dp2.toTibetanMachineWeb(val + "\n", dp2.getCaret().getDot());
|
|
val = in.readLine();
|
|
}
|
|
|
|
TibetanDocument t_doc = (TibetanDocument)dp2.getDocument();
|
|
t_doc.writeRTFOutputStream(new FileOutputStream(new File(rtf_fileName)));
|
|
}
|
|
catch (IOException ioe) {
|
|
ThdlDebug.noteIffyCode();
|
|
System.out.println("problem reading or writing file");
|
|
}
|
|
}
|
|
catch (FileNotFoundException fnfe) {
|
|
ThdlDebug.noteIffyCode();
|
|
System.out.println("problem reading file");
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Allows use of Jskad as dependent JFrame.
|
|
* Once you've called this method, users will
|
|
* be able to close Jskad without shutting
|
|
* down your superordinate application.
|
|
*/
|
|
public void makeDependent() {
|
|
numberOfTibsRTFOpen++;
|
|
}
|
|
|
|
/**
|
|
* Fills the editing pane with content. If the
|
|
* editing pane already has content, this method does nothing.
|
|
*
|
|
* @param wylie the string of wylie you want to
|
|
* put in the editing pane
|
|
*/
|
|
public void setContent(String wylie) {
|
|
if (dp.getDocument().getLength() > 0)
|
|
return;
|
|
|
|
dp.newDocument();
|
|
dp.toTibetanMachineWeb(wylie, 0);
|
|
}
|
|
|
|
/**
|
|
* Enables typing of Roman (non-Tibetan) text along
|
|
* with Tibetan.
|
|
*/
|
|
public void enableRoman() {
|
|
dp.enableRoman();
|
|
}
|
|
|
|
/**
|
|
* Disables typing of Roman (non-Tibetan) text.
|
|
*/
|
|
public void disableRoman() {
|
|
dp.disableRoman();
|
|
}
|
|
|
|
/*
|
|
private void showAttributes(int pos) {
|
|
dp.skipUpdate = true;
|
|
|
|
AttributeSet attr = dp.getDocument().getCharacterElement(pos).getAttributes();
|
|
String name = StyleConstants.getFontFamily(attr);
|
|
|
|
if (!fontName.equals(name)) {
|
|
fontName = name;
|
|
fontFamilies.setSelectedItem(name);
|
|
}
|
|
int size = StyleConstants.getFontSize(attr);
|
|
if (fontSize != size) {
|
|
fontSize = size;
|
|
fontSizes.setSelectedItem(Integer.toString(fontSize));
|
|
}
|
|
|
|
dp.skipUpdate = false;
|
|
}
|
|
*/
|
|
|
|
/**
|
|
* Required for implementations of DocumentListener.
|
|
* Does nothing.
|
|
*/
|
|
public void changedUpdate(DocumentEvent de) {
|
|
}
|
|
|
|
/**
|
|
* Required for implementations of DocumentListener.
|
|
* Informs the object that a change in the document
|
|
* has occurred.
|
|
*
|
|
* @param de a DocumentEvent
|
|
*/
|
|
public void insertUpdate(DocumentEvent de) {
|
|
hasChanged = true;
|
|
}
|
|
|
|
/**
|
|
* Required for implementations of DocumentListener.
|
|
* Informs the object that a change in the document
|
|
* has occurred.
|
|
*
|
|
* @param de a DocumentEvent
|
|
*/
|
|
public void removeUpdate(DocumentEvent de) {
|
|
hasChanged = true;
|
|
}
|
|
|
|
private class RTFFilter extends javax.swing.filechooser.FileFilter {
|
|
// Accept all directories and all RTF files.
|
|
|
|
public boolean accept(File f) {
|
|
if (f.isDirectory()) {
|
|
return true;
|
|
}
|
|
|
|
String fName = f.getName();
|
|
int i = fName.lastIndexOf('.');
|
|
|
|
if (i < 0)
|
|
return false;
|
|
|
|
else {
|
|
String ext = fName.substring(i+1).toLowerCase();
|
|
|
|
if (ext.equals("rtf"))
|
|
return true;
|
|
else
|
|
return false;
|
|
}
|
|
}
|
|
|
|
//the description of this filter
|
|
public String getDescription() {
|
|
return "Rich Text Format (.rtf)";
|
|
}
|
|
}
|
|
|
|
private class TXTFilter extends javax.swing.filechooser.FileFilter {
|
|
// Accept all directories and all TXT files.
|
|
|
|
public boolean accept(File f) {
|
|
if (f.isDirectory()) {
|
|
return true;
|
|
}
|
|
|
|
String fName = f.getName();
|
|
int i = fName.lastIndexOf('.');
|
|
|
|
if (i < 0)
|
|
return false;
|
|
|
|
else {
|
|
String ext = fName.substring(i+1).toLowerCase();
|
|
|
|
if (ext.equals("txt"))
|
|
return true;
|
|
else
|
|
return false;
|
|
}
|
|
}
|
|
|
|
//the description of this filter
|
|
public String getDescription() {
|
|
return "Text file (.txt)";
|
|
}
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
* Runs Jskad. System output, including errors, is redirected to
|
|
* jskad.log in addition to appearing on the console as per usual. If
|
|
* you discover a bug, please send us an email, making sure to include
|
|
* the jskad.log file as an attachment. */
|
|
public static void main(String[] args) {
|
|
try {
|
|
ThdlDebug.attemptToSetUpLogFile("jskad", ".log");
|
|
|
|
try {
|
|
UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
|
|
}
|
|
catch (Exception e) {
|
|
ThdlDebug.noteIffyCode();
|
|
}
|
|
|
|
JFrame f = new JFrame("Jskad");
|
|
Dimension d = f.getToolkit().getScreenSize();
|
|
x_size = d.width/4*3;
|
|
y_size = d.height/4*3;
|
|
f.setSize(x_size, y_size);
|
|
f.setLocation(d.width/8, d.height/8);
|
|
f.getContentPane().add(new Jskad(f));
|
|
f.setVisible(true);
|
|
|
|
/* Make it so that any time the user exits Jskad by
|
|
* (almost) any means, the user's preferences are saved if
|
|
* the SecurityManager allows it and the path is
|
|
* correct. */
|
|
Runtime.getRuntime().addShutdownHook(new Thread() {
|
|
public void run() {
|
|
savePreferencesAction();
|
|
}
|
|
}
|
|
);
|
|
|
|
} catch (ThdlLazyException e) {
|
|
// FIXME: tell the users how to submit bug reports.
|
|
System.err.println("Jskad has a BUG:");
|
|
e.getRealException().printStackTrace(System.err);
|
|
System.exit(1);
|
|
}
|
|
}
|
|
}
|