/*
* MainWindowForm.java
*
* Created on May 29, 2007, 3:26 PM
*/
package de.unisiegen.tpml.ui.netbeans;
import de.unisiegen.tpml.ui.AboutDialog;
import de.unisiegen.tpml.ui.EditorPanel;
import de.unisiegen.tpml.ui.EditorPanelExpression;
import de.unisiegen.tpml.ui.EditorPanelTypes;
import de.unisiegen.tpml.ui.GeneralLaTex;
import de.unisiegen.tpml.ui.MainWindow;
import de.unisiegen.tpml.ui.PreferenceDialog;
import java.awt.Component;
import javax.swing.JComponent;
import javax.swing.JFrame;
/**
*
* @author Christoph Fehling
*/
public class MainWindowForm extends javax.swing.JFrame {
/** Creates new form MainWindowForm */
public MainWindowForm() {
initComponents();
}
/** This method is called from within the constructor to
* initialize the form.
* WARNING: Do NOT modify this code. The content of this method is
* always regenerated by the Form Editor.
*/
// <editor-fold defaultstate="collapsed" desc=" Erzeugter Quelltext ">//GEN-BEGIN:initComponents
private void initComponents() {
javax.swing.JMenuBar MainMenuBar;
javax.swing.JMenu editMenu;
javax.swing.JSeparator editMenuSeparator1;
javax.swing.JSeparator editMenuSeperator;
javax.swing.JToolBar editToolBar;
javax.swing.JMenu fileMenu;
javax.swing.JSeparator fileMenuSeperator1;
javax.swing.JSeparator fileMenuSerpator2;
javax.swing.JMenu helpMenu;
javax.swing.JToolBar mainToolbar;
javax.swing.JButton newButton;
javax.swing.JMenuItem newItem;
javax.swing.JButton openButton;
javax.swing.JMenuItem openItem;
javax.swing.JMenuItem quitItem;
javax.swing.JMenu runMenu;
modeSettingsGroup = new javax.swing.ButtonGroup();
mainToolbar = new javax.swing.JToolBar();
jToolBar1 = new javax.swing.JToolBar();
newButton = new javax.swing.JButton();
openButton = new javax.swing.JButton();
saveButton = new javax.swing.JButton();
saveAsButton = new javax.swing.JButton();
latexExportButton = new javax.swing.JButton();
printButton = new javax.swing.JButton();
jSeparator1 = new javax.swing.JSeparator();
editToolBar = new javax.swing.JToolBar();
cutButton = new javax.swing.JButton();
copyButton = new javax.swing.JButton();
pasteButton = new javax.swing.JButton();
undoButton = new javax.swing.JButton();
redoButton = new javax.swing.JButton();
tabbedPane = new javax.swing.JTabbedPane();
MainMenuBar = new javax.swing.JMenuBar();
fileMenu = new javax.swing.JMenu();
newItem = new javax.swing.JMenuItem();
openItem = new javax.swing.JMenuItem();
closeItem = new javax.swing.JMenuItem();
fileMenuSeperator1 = new javax.swing.JSeparator();
saveItem = new javax.swing.JMenuItem();
saveAsItem = new javax.swing.JMenuItem();
saveAllItem = new javax.swing.JMenuItem();
printItem = new javax.swing.JMenuItem();
latexExportItem = new javax.swing.JMenuItem();
tpmlTEXItem = new javax.swing.JMenuItem();
fileMenuSerpator2 = new javax.swing.JSeparator();
recentFilesMenu = new javax.swing.JMenu();
fileMenuSeperator3 = new javax.swing.JSeparator();
quitItem = new javax.swing.JMenuItem();
editMenu = new javax.swing.JMenu();
undoItem = new javax.swing.JMenuItem();
redoItem = new javax.swing.JMenuItem();
editMenuSeparator1 = new javax.swing.JSeparator();
cutItem = new javax.swing.JMenuItem();
copyItem = new javax.swing.JMenuItem();
pasteItem = new javax.swing.JMenuItem();
editMenuSeperator = new javax.swing.JSeparator();
preferencesItem = new javax.swing.JMenuItem();
runMenu = new javax.swing.JMenu();
smallstepItem = new javax.swing.JMenuItem();
bigstepItem = new javax.swing.JMenuItem();
typecheckerItem = new javax.swing.JMenuItem();
typeinferenceItem = new javax.swing.JMenuItem();
minimaltypingItem = new javax.swing.JMenuItem();
subtypingItem = new javax.swing.JMenuItem();
subtypingrecItem = new javax.swing.JMenuItem();
runMenuSeparator1 = new javax.swing.JSeparator();
beginnerRadioButton = new javax.swing.JRadioButtonMenuItem();
advancedRadioButton = new javax.swing.JRadioButtonMenuItem();
helpMenu = new javax.swing.JMenu();
aboutItem = new javax.swing.JMenuItem();
setDefaultCloseOperation(javax.swing.WindowConstants.DO_NOTHING_ON_CLOSE);
setName("mainframe");
addKeyListener(new java.awt.event.KeyAdapter() {
public void keyPressed(java.awt.event.KeyEvent evt) {
tabChange(evt);
}
});
mainToolbar.setFloatable(false);
mainToolbar.setBorderPainted(false);
jToolBar1.setBorder(null);
jToolBar1.setFloatable(false);
jToolBar1.setBorderPainted(false);
jToolBar1.setOpaque(false);
newButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/new24.png")));
java.util.ResourceBundle bundle = java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui"); // NOI18N
newButton.setToolTipText(bundle.getString("New_File")); // NOI18N
newButton.setBorderPainted(false);
newButton.setFocusPainted(false);
newButton.setFocusable(false);
newButton.setOpaque(false);
newButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
newButtonActionPerformed(evt);
}
});
jToolBar1.add(newButton);
openButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/open24.png")));
openButton.setToolTipText(bundle.getString("Open_File")); // NOI18N
openButton.setBorderPainted(false);
openButton.setFocusPainted(false);
openButton.setFocusable(false);
openButton.setOpaque(false);
openButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
openButtonActionPerformed(evt);
}
});
jToolBar1.add(openButton);
saveButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/save24.png")));
saveButton.setToolTipText(bundle.getString("Save_File")); // NOI18N
saveButton.setBorderPainted(false);
saveButton.setFocusPainted(false);
saveButton.setFocusable(false);
saveButton.setOpaque(false);
saveButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
saveButtonActionPerformed(evt);
}
});
saveButton.addAncestorListener(new javax.swing.event.AncestorListener() {
public void ancestorMoved(javax.swing.event.AncestorEvent evt) {
}
public void ancestorAdded(javax.swing.event.AncestorEvent evt) {
saveButtonAncestorAdded(evt);
}
public void ancestorRemoved(javax.swing.event.AncestorEvent evt) {
}
});
jToolBar1.add(saveButton);
saveAsButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/saveas24.png")));
saveAsButton.setToolTipText(bundle.getString("Save_File_As...")); // NOI18N
saveAsButton.setBorderPainted(false);
saveAsButton.setFocusPainted(false);
saveAsButton.setFocusable(false);
saveAsButton.setOpaque(false);
saveAsButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
saveAsButtonActionPerformed(evt);
}
});
jToolBar1.add(saveAsButton);
latexExportButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/latexexport_klein_.gif")));
latexExportButton.setToolTipText(bundle.getString("LatexToolTip")); // NOI18N
latexExportButton.setBorderPainted(false);
latexExportButton.setFocusPainted(false);
latexExportButton.setFocusable(false);
latexExportButton.setOpaque(false);
latexExportButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
latexExportButtonActionPerformed(evt);
}
});
jToolBar1.add(latexExportButton);
printButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/pdfexport_klein.gif")));
printButton.setToolTipText(bundle.getString("PdfToolTip")); // NOI18N
printButton.setBorderPainted(false);
printButton.setFocusPainted(false);
printButton.setFocusable(false);
printButton.setOpaque(false);
printButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
printButtonActionPerformed(evt);
}
});
jToolBar1.add(printButton);
jSeparator1.setOrientation(javax.swing.SwingConstants.VERTICAL);
jSeparator1.setMaximumSize(new java.awt.Dimension(5, 32));
jToolBar1.add(jSeparator1);
mainToolbar.add(jToolBar1);
editToolBar.setFloatable(false);
editToolBar.setBorderPainted(false);
editToolBar.setOpaque(false);
cutButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/cut24.gif")));
cutButton.setToolTipText(bundle.getString("Cut")); // NOI18N
cutButton.setBorderPainted(false);
cutButton.setFocusPainted(false);
cutButton.setFocusable(false);
cutButton.setOpaque(false);
cutButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
cutButtonActionPerformed(evt);
}
});
editToolBar.add(cutButton);
copyButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/copy24.gif")));
copyButton.setToolTipText(bundle.getString("Copy")); // NOI18N
copyButton.setBorderPainted(false);
copyButton.setFocusPainted(false);
copyButton.setFocusable(false);
copyButton.setOpaque(false);
copyButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
copyButtonActionPerformed(evt);
}
});
editToolBar.add(copyButton);
pasteButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/paste24.gif")));
pasteButton.setToolTipText(bundle.getString("Paste")); // NOI18N
pasteButton.setBorderPainted(false);
pasteButton.setFocusPainted(false);
pasteButton.setFocusable(false);
pasteButton.setOpaque(false);
pasteButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
pasteButtonActionPerformed(evt);
}
});
editToolBar.add(pasteButton);
undoButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/undo24.gif")));
undoButton.setToolTipText(bundle.getString("Undo_the_last_step.")); // NOI18N
undoButton.setBorderPainted(false);
undoButton.setFocusPainted(false);
undoButton.setFocusable(false);
undoButton.setOpaque(false);
undoButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
undoButtonActionPerformed(evt);
}
});
editToolBar.add(undoButton);
redoButton.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/redo24.gif")));
redoButton.setToolTipText(bundle.getString("Redo_the_last_step.")); // NOI18N
redoButton.setBorderPainted(false);
redoButton.setFocusPainted(false);
redoButton.setFocusable(false);
redoButton.setOpaque(false);
redoButton.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
redoButtonActionPerformed(evt);
}
});
editToolBar.add(redoButton);
mainToolbar.add(editToolBar);
getContentPane().add(mainToolbar, java.awt.BorderLayout.NORTH);
tabbedPane.addChangeListener(new javax.swing.event.ChangeListener() {
public void stateChanged(javax.swing.event.ChangeEvent evt) {
tabbedPaneStateChanged(evt);
}
});
tabbedPane.addKeyListener(new java.awt.event.KeyAdapter() {
public void keyPressed(java.awt.event.KeyEvent evt) {
tabbedPaneKeyPressed(evt);
}
});
getContentPane().add(tabbedPane, java.awt.BorderLayout.CENTER);
fileMenu.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("FileMnemonic").charAt(0));
fileMenu.setText(bundle.getString("File")); // NOI18N
fileMenu.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
fileMenuActionPerformed(evt);
}
});
newItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_N, java.awt.event.InputEvent.CTRL_MASK));
newItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/new16.gif")));
newItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("NewMnemonic").charAt(0));
newItem.setText(bundle.getString("New")); // NOI18N
newItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
newItemActionPerformed(evt);
}
});
fileMenu.add(newItem);
openItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_O, java.awt.event.InputEvent.CTRL_MASK));
openItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/open16.png")));
openItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("OpenMnemonic").charAt(0));
openItem.setText(bundle.getString("Open")); // NOI18N
openItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
openItemActionPerformed(evt);
}
});
fileMenu.add(openItem);
closeItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_W, java.awt.event.InputEvent.CTRL_MASK));
closeItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/empty16.gif")));
closeItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("CloseMnemonic").charAt(0));
closeItem.setText(bundle.getString("Close")); // NOI18N
closeItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
closeItemActionPerformed(evt);
}
});
fileMenu.add(closeItem);
fileMenu.add(fileMenuSeperator1);
saveItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_S, java.awt.event.InputEvent.CTRL_MASK));
saveItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/save16.png")));
saveItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("SaveMnemonic").charAt(0));
saveItem.setText(bundle.getString("Save")); // NOI18N
saveItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
saveItemActionPerformed(evt);
}
});
fileMenu.add(saveItem);
saveAsItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/saveas16.png")));
saveAsItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("SaveAsMnemonic").charAt(0));
saveAsItem.setText(bundle.getString("Save_As...")); // NOI18N
saveAsItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
saveAsItemActionPerformed(evt);
}
});
fileMenu.add(saveAsItem);
saveAllItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_S, java.awt.event.InputEvent.SHIFT_MASK | java.awt.event.InputEvent.CTRL_MASK));
saveAllItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/saveAll16.gif")));
saveAllItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("SaveAllMnemonic").charAt(0));
saveAllItem.setText(bundle.getString("Save_All")); // NOI18N
saveAllItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
saveAllItemActionPerformed(evt);
}
});
fileMenu.add(saveAllItem);
printItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_P, java.awt.event.InputEvent.CTRL_MASK));
printItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/empty16.gif")));
printItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("PrintItemMnemonic").charAt(0));
printItem.setText(bundle.getString("printItem")); // NOI18N
printItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
printItemActionPerformed(evt);
}
});
fileMenu.add(printItem);
latexExportItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_L, java.awt.event.InputEvent.CTRL_MASK));
latexExportItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/empty16.gif")));
latexExportItem.setText(bundle.getString("latexExport")); // NOI18N
latexExportItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
latexExportItemActionPerformed(evt);
}
});
fileMenu.add(latexExportItem);
tpmlTEXItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/empty16.gif")));
tpmlTEXItem.setText(bundle.getString("BuilTPML")); // NOI18N
tpmlTEXItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
tpmlTEXItemActionPerformed(evt);
}
});
fileMenu.add(tpmlTEXItem);
fileMenu.add(fileMenuSerpator2);
recentFilesMenu.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/empty16.gif")));
recentFilesMenu.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("RecentlyUsedMnemonic").charAt(0));
recentFilesMenu.setText(bundle.getString("Recently_Used")); // NOI18N
fileMenu.add(recentFilesMenu);
fileMenuSeperator3.addAncestorListener(new javax.swing.event.AncestorListener() {
public void ancestorMoved(javax.swing.event.AncestorEvent evt) {
}
public void ancestorAdded(javax.swing.event.AncestorEvent evt) {
fileMenuSeperator3AncestorAdded(evt);
}
public void ancestorRemoved(javax.swing.event.AncestorEvent evt) {
}
});
fileMenu.add(fileMenuSeperator3);
quitItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_Q, java.awt.event.InputEvent.CTRL_MASK));
quitItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/empty16.gif")));
quitItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("QuitMnemonic").charAt(0));
quitItem.setText(bundle.getString("Quit")); // NOI18N
quitItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
quitItemActionPerformed(evt);
}
});
fileMenu.add(quitItem);
MainMenuBar.add(fileMenu);
editMenu.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("EditMnemonic").charAt(0));
editMenu.setText(bundle.getString("Edit")); // NOI18N
undoItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_Z, java.awt.event.InputEvent.CTRL_MASK));
undoItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/undo16.gif")));
undoItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("UndoMnemonic").charAt(0));
undoItem.setText(bundle.getString("Undo")); // NOI18N
undoItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
undoItemActionPerformed(evt);
}
});
editMenu.add(undoItem);
redoItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_Y, java.awt.event.InputEvent.CTRL_MASK));
redoItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/redo16.gif")));
redoItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("RedoMnemonic").charAt(0));
redoItem.setText(bundle.getString("Redo")); // NOI18N
redoItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
redoItemActionPerformed(evt);
}
});
editMenu.add(redoItem);
editMenu.add(editMenuSeparator1);
cutItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_X, java.awt.event.InputEvent.CTRL_MASK));
cutItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/cut16.gif")));
cutItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("CutMnemonic").charAt(0));
cutItem.setText(bundle.getString("Cut")); // NOI18N
cutItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
cutItemActionPerformed(evt);
}
});
editMenu.add(cutItem);
copyItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_C, java.awt.event.InputEvent.CTRL_MASK));
copyItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/copy16.gif")));
copyItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("CopyMnemonic").charAt(0));
copyItem.setText(bundle.getString("Copy")); // NOI18N
copyItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
copyItemActionPerformed(evt);
}
});
editMenu.add(copyItem);
pasteItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_V, java.awt.event.InputEvent.CTRL_MASK));
pasteItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/paste16.gif")));
pasteItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("PasteMnemonic").charAt(0));
pasteItem.setText(bundle.getString("Paste")); // NOI18N
pasteItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
pasteItemActionPerformed(evt);
}
});
editMenu.add(pasteItem);
editMenu.add(editMenuSeperator);
preferencesItem.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/tpml/ui/icons/empty16.gif")));
preferencesItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("PreferencesMnemonic").charAt(0));
preferencesItem.setText(bundle.getString("Preferences")); // NOI18N
preferencesItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
preferencesItemActionPerformed(evt);
}
});
editMenu.add(preferencesItem);
MainMenuBar.add(editMenu);
runMenu.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("ProofMnemonic").charAt(0));
runMenu.setText(bundle.getString("Proof")); // NOI18N
smallstepItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_F7, 0));
smallstepItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("SmallStepMnemonic").charAt(0));
smallstepItem.setText(bundle.getString("SmallStep")); // NOI18N
smallstepItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
smallstepItemActionPerformed(evt);
}
});
runMenu.add(smallstepItem);
bigstepItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_F8, 0));
bigstepItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("BigStepMnemonic").charAt(0));
bigstepItem.setText(bundle.getString("BigStep")); // NOI18N
bigstepItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
bigstepItemActionPerformed(evt);
}
});
runMenu.add(bigstepItem);
typecheckerItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_F9, 0));
typecheckerItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("TypeCheckerMnemonic").charAt(0));
typecheckerItem.setText(bundle.getString("TypeChecker")); // NOI18N
typecheckerItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
typecheckerItemActionPerformed(evt);
}
});
runMenu.add(typecheckerItem);
typeinferenceItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_F11, 0));
typeinferenceItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("TypeInferenceMnemonic").charAt(0));
typeinferenceItem.setText(bundle.getString("TypeInference")); // NOI18N
typeinferenceItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
typeinferenceItemActionPerformed(evt);
}
});
runMenu.add(typeinferenceItem);
minimaltypingItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_F12, 0));
minimaltypingItem.setText(bundle.getString("minimaltyping")); // NOI18N
minimaltypingItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
minimaltypingItemActionPerformed(evt);
}
});
runMenu.add(minimaltypingItem);
subtypingItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_F7, 0));
subtypingItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("SubtypMnemonic").charAt(0));
subtypingItem.setText(bundle.getString("Subtyping")); // NOI18N
subtypingItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
subtypingItemActionPerformed(evt);
}
});
runMenu.add(subtypingItem);
subtypingrecItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_F8, 0));
subtypingrecItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("subtypingrecMnemonic").charAt(0));
subtypingrecItem.setText(bundle.getString("SubTypingRec")); // NOI18N
subtypingrecItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
subtypingrecItemActionPerformed(evt);
}
});
runMenu.add(subtypingrecItem);
runMenu.add(runMenuSeparator1);
modeSettingsGroup.add(beginnerRadioButton);
beginnerRadioButton.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("BeginnerMnemonic").charAt(0));
beginnerRadioButton.setSelected(true);
beginnerRadioButton.setText(bundle.getString("Beginner")); // NOI18N
beginnerRadioButton.addChangeListener(new javax.swing.event.ChangeListener() {
public void stateChanged(javax.swing.event.ChangeEvent evt) {
beginnerRadioButtonStateChanged(evt);
}
});
runMenu.add(beginnerRadioButton);
modeSettingsGroup.add(advancedRadioButton);
advancedRadioButton.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("AdvancedMnemonic").charAt(0));
advancedRadioButton.setText(bundle.getString("Advanced")); // NOI18N
advancedRadioButton.addChangeListener(new javax.swing.event.ChangeListener() {
public void stateChanged(javax.swing.event.ChangeEvent evt) {
advancedRadioButtonStateChanged(evt);
}
});
runMenu.add(advancedRadioButton);
MainMenuBar.add(runMenu);
helpMenu.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("HelpMnemonic").charAt(0));
helpMenu.setText(bundle.getString("Help")); // NOI18N
aboutItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_F1, 0));
aboutItem.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/tpml/ui/ui").getString("AboutMnemonic").charAt(0));
aboutItem.setText(bundle.getString("About...")); // NOI18N
aboutItem.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
aboutItemActionPerformed(evt);
}
});
helpMenu.add(aboutItem);
MainMenuBar.add(helpMenu);
setJMenuBar(MainMenuBar);
setBounds(0, 0, 706, 561);
}// </editor-fold>//GEN-END:initComponents
private void printItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_printItemActionPerformed
logic.getActiveEditor().handlePrint();
}//GEN-LAST:event_printItemActionPerformed
private void tpmlTEXItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_tpmlTEXItemActionPerformed
GeneralLaTex gl = new GeneralLaTex(this.getFrames()[0]);
gl.exportTPML();
}//GEN-LAST:event_tpmlTEXItemActionPerformed
private void latexExportItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_latexExportItemActionPerformed
logic.getActiveEditor().handleLatexExport();
}//GEN-LAST:event_latexExportItemActionPerformed
private void fileMenuActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_fileMenuActionPerformed
// TODO add your handling code here:
}//GEN-LAST:event_fileMenuActionPerformed
private void latexExportButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_latexExportButtonActionPerformed
logic.getActiveEditor().handleLatexExport();
}//GEN-LAST:event_latexExportButtonActionPerformed
private void subtypingrecItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_subtypingrecItemActionPerformed
( ( EditorPanelTypes ) logic.getActiveEditor ( ) ).handleSubTypingRec ( ) ;
}//GEN-LAST:event_subtypingrecItemActionPerformed
private void minimaltypingItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_minimaltypingItemActionPerformed
( ( EditorPanelExpression ) logic.getActiveEditor ( ) ).handleMinimalTyping ( ) ;
}//GEN-LAST:event_minimaltypingItemActionPerformed
private void subtypingItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_subtypingItemActionPerformed
( ( EditorPanelTypes ) logic.getActiveEditor ( ) ).handleSubTyping ( ) ;
}//GEN-LAST:event_subtypingItemActionPerformed
private void typeinferenceItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_typeinferenceItemActionPerformed
( ( EditorPanelExpression ) logic.getActiveEditor ( ) ).handleTypInference ( ) ;
}//GEN-LAST:event_typeinferenceItemActionPerformed
private void tabChange(java.awt.event.KeyEvent evt) {//GEN-FIRST:event_tabChange
// TODO add your handling code here:
}//GEN-LAST:event_tabChange
private void tabbedPaneKeyPressed(java.awt.event.KeyEvent evt) {//GEN-FIRST:event_tabbedPaneKeyPressed
// TODO add your handling code here:
}//GEN-LAST:event_tabbedPaneKeyPressed
private void saveButtonAncestorAdded(javax.swing.event.AncestorEvent evt) {//GEN-FIRST:event_saveButtonAncestorAdded
// TODO add your handling code here:
}//GEN-LAST:event_saveButtonAncestorAdded
private void saveButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_saveButtonActionPerformed
// TODO add your handling code here:
logic.getActiveEditor().handleSave();
}//GEN-LAST:event_saveButtonActionPerformed
private void advancedRadioButtonStateChanged(javax.swing.event.ChangeEvent evt) {//GEN-FIRST:event_advancedRadioButtonStateChanged
// TODO add your handling code here:
if ( this.advancedRadioButton.isSelected ( ) )
{
for ( Component component : this.tabbedPane.getComponents ( ) )
{
if ( component instanceof EditorPanelForm )
{
EditorPanel editorPanel = (( EditorPanelForm ) component ).getCaller();
editorPanel.setAdvanced ( true ) ;
}
}
}
}//GEN-LAST:event_advancedRadioButtonStateChanged
private void beginnerRadioButtonStateChanged(javax.swing.event.ChangeEvent evt) {//GEN-FIRST:event_beginnerRadioButtonStateChanged
// TODO add your handling code here:
if ( this.beginnerRadioButton.isSelected ( ) )
{
for ( Component component : this.tabbedPane.getComponents ( ) )
{
if ( component instanceof EditorPanelForm )
{
EditorPanel editorPanel = (( EditorPanelForm ) component ).getCaller();
editorPanel.setAdvanced ( false ) ;
}
}
}
}//GEN-LAST:event_beginnerRadioButtonStateChanged
private void tabbedPaneStateChanged(javax.swing.event.ChangeEvent evt) {//GEN-FIRST:event_tabbedPaneStateChanged
logic.updateEditorStates ( ( EditorPanelForm ) this.tabbedPane.getSelectedComponent ( )) ;
}//GEN-LAST:event_tabbedPaneStateChanged
private void aboutItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_aboutItemActionPerformed
// TODO add your handling code here:
AboutDialog about = new AboutDialog ( this , true ) ;
about.setLocationRelativeTo ( this ) ;
about.setVisible ( true ) ;
}//GEN-LAST:event_aboutItemActionPerformed
private void typecheckerItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_typecheckerItemActionPerformed
( ( EditorPanelExpression ) logic.getActiveEditor ( ) ).handleTypeChecker ( ) ;
}//GEN-LAST:event_typecheckerItemActionPerformed
private void bigstepItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_bigstepItemActionPerformed
( ( EditorPanelExpression ) logic.getActiveEditor ( ) ).handleBigStep ( ) ;
}//GEN-LAST:event_bigstepItemActionPerformed
private void smallstepItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_smallstepItemActionPerformed
( ( EditorPanelExpression ) logic.getActiveEditor ( ) ).handleSmallStep ( ) ;
}//GEN-LAST:event_smallstepItemActionPerformed
private void preferencesItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_preferencesItemActionPerformed
// TODO add your handling code here:
PreferenceDialog prefdialog = new PreferenceDialog ( this , true ) ;
prefdialog.setLocationRelativeTo ( this ) ;
prefdialog.setVisible ( true ) ;
}//GEN-LAST:event_preferencesItemActionPerformed
private void pasteItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_pasteItemActionPerformed
// TODO add your handling code here:
logic.getActiveEditor ( ).handlePaste ( ) ;
}//GEN-LAST:event_pasteItemActionPerformed
private void copyItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_copyItemActionPerformed
// TODO add your handling code here:
logic.getActiveEditor ( ).handleCopy ( ) ;
}//GEN-LAST:event_copyItemActionPerformed
private void cutItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_cutItemActionPerformed
// TODO add your handling code here:
logic.getActiveEditor ( ).handleCut ( ) ;
}//GEN-LAST:event_cutItemActionPerformed
private void redoItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_redoItemActionPerformed
// TODO add your handling code here:
logic.getActiveEditor().handleRedo();
}//GEN-LAST:event_redoItemActionPerformed
private void undoItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_undoItemActionPerformed
// TODO add your handling code here:
logic.getActiveEditor().handleUndo();
}//GEN-LAST:event_undoItemActionPerformed
private void quitItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_quitItemActionPerformed
// TODO add your handling code here:
logic.handleQuit();
}//GEN-LAST:event_quitItemActionPerformed
private void fileMenuSeperator3AncestorAdded(javax.swing.event.AncestorEvent evt) {//GEN-FIRST:event_fileMenuSeperator3AncestorAdded
// TODO add your handling code here:
}//GEN-LAST:event_fileMenuSeperator3AncestorAdded
private void saveAllItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_saveAllItemActionPerformed
// TODO add your handling code here:
logic.handleSaveAll();
}//GEN-LAST:event_saveAllItemActionPerformed
private void saveAsItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_saveAsItemActionPerformed
// TODO add your handling code here:
logic.getActiveEditor().handleSaveAs();
}//GEN-LAST:event_saveAsItemActionPerformed
private void saveItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_saveItemActionPerformed
// TODO add your handling code here:
logic.getActiveEditor().handleSave();
}//GEN-LAST:event_saveItemActionPerformed
private void closeItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_closeItemActionPerformed
// TODO add your handling code here:
logic.handleClose ( ) ;
}//GEN-LAST:event_closeItemActionPerformed
private void openItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_openItemActionPerformed
// TODO add your handling code here:
logic.handleOpen ( ) ;
}//GEN-LAST:event_openItemActionPerformed
private void newItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_newItemActionPerformed
// TODO add your handling code here:
logic.handleNew();
}//GEN-LAST:event_newItemActionPerformed
private void redoButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_redoButtonActionPerformed
// TODO add your handling code here:
logic.getActiveEditor().handleRedo();
}//GEN-LAST:event_redoButtonActionPerformed
private void undoButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_undoButtonActionPerformed
// TODO add your handling code here:
logic.getActiveEditor().handleUndo();
}//GEN-LAST:event_undoButtonActionPerformed
private void pasteButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_pasteButtonActionPerformed
// TODO add your handling code here:
logic.getActiveEditor ( ).handlePaste ( ) ;
}//GEN-LAST:event_pasteButtonActionPerformed
private void copyButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_copyButtonActionPerformed
// TODO add your handling code here:
logic.getActiveEditor ( ).handleCopy ( ) ;
}//GEN-LAST:event_copyButtonActionPerformed
private void cutButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_cutButtonActionPerformed
// TODO add your handling code here:
logic.getActiveEditor ( ).handleCut ( ) ;
}//GEN-LAST:event_cutButtonActionPerformed
private void saveAsButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_saveAsButtonActionPerformed
// TODO add your handling code here:
logic.getActiveEditor ( ).handleSaveAs ( ) ;
}//GEN-LAST:event_saveAsButtonActionPerformed
private void openButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_openButtonActionPerformed
// TODO add your handling code here:
logic.handleOpen ( ) ;
}//GEN-LAST:event_openButtonActionPerformed
private void newButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_newButtonActionPerformed
// TODO add your handling code here:
logic.handleNew();
}//GEN-LAST:event_newButtonActionPerformed
private void printButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_printButtonActionPerformed
// TODO add your handling code here:
logic.getActiveEditor().handlePrint();
}//GEN-LAST:event_printButtonActionPerformed
/**
* @param args the command line arguments
*/
public static void main(String args[]) {
java.awt.EventQueue.invokeLater(new Runnable() {
public void run() {
new MainWindowForm().setVisible(true);
}
});
}
// Variablendeklaration - nicht modifizieren//GEN-BEGIN:variables
public javax.swing.JMenuItem aboutItem;
public javax.swing.JRadioButtonMenuItem advancedRadioButton;
public javax.swing.JRadioButtonMenuItem beginnerRadioButton;
public javax.swing.JMenuItem bigstepItem;
public javax.swing.JMenuItem closeItem;
public javax.swing.JButton copyButton;
public javax.swing.JMenuItem copyItem;
public javax.swing.JButton cutButton;
public javax.swing.JMenuItem cutItem;
public javax.swing.JSeparator fileMenuSeperator3;
private javax.swing.JSeparator jSeparator1;
private javax.swing.JToolBar jToolBar1;
public javax.swing.JButton latexExportButton;
public javax.swing.JMenuItem latexExportItem;
public javax.swing.JMenuItem minimaltypingItem;
private javax.swing.ButtonGroup modeSettingsGroup;
public javax.swing.JButton pasteButton;
public javax.swing.JMenuItem pasteItem;
public javax.swing.JMenuItem preferencesItem;
public javax.swing.JButton printButton;
public javax.swing.JMenuItem printItem;
public javax.swing.JMenu recentFilesMenu;
public javax.swing.JButton redoButton;
public javax.swing.JMenuItem redoItem;
public javax.swing.JSeparator runMenuSeparator1;
public javax.swing.JMenuItem saveAllItem;
public javax.swing.JButton saveAsButton;
public javax.swing.JMenuItem saveAsItem;
public javax.swing.JButton saveButton;
public javax.swing.JMenuItem saveItem;
public javax.swing.JMenuItem smallstepItem;
public javax.swing.JMenuItem subtypingItem;
public javax.swing.JMenuItem subtypingrecItem;
public javax.swing.JTabbedPane tabbedPane;
private javax.swing.JMenuItem tpmlTEXItem;
public javax.swing.JMenuItem typecheckerItem;
public javax.swing.JMenuItem typeinferenceItem;
public javax.swing.JButton undoButton;
public javax.swing.JMenuItem undoItem;
// Ende der Variablendeklaration//GEN-END:variables
private MainWindow logic;
public void setMainWindow (MainWindow window){
logic = window;
}
}