View Javadoc

1   package fr.ove.openmath.mathematica;
2   
3   import javax.swing.*;
4   import javax.swing.event.*;
5   import java.awt.*;
6   import java.awt.event.*;
7   import java.beans.PropertyVetoException;
8   import java.util.*;
9   import fr.ove.openmath.mathematica.*;
10  import fr.ove.palette.swing.*;
11  import fr.ove.utils.*;
12  
13  public class TestWorkBook extends JFrame {
14      WorkBook workBook;
15      MyMenuBar menuBar;
16      ConnectionConfigDialog ccd;
17      
18      public TestWorkBook() {
19          //new SplashScreen("cow.gif", this, 4000);
20          
21          StatusBar statusBar = new StatusBar(this);
22          
23          ConnectionFactory factory = new ConnectionFactory();
24          workBook = new WorkBook(factory, statusBar);
25          
26          OpenMathViewer omViewer = new OpenMathViewer(workBook);
27          JPaletteEditor palette = new JPaletteEditor();
28          palette.setFont(new Font("Dialog", Font.PLAIN, 12));
29          workBook.addPalette("Palette Editor", palette);
30          
31          ccd = new ConnectionConfigDialog(this, factory);
32          menuBar = new MyMenuBar(workBook, omViewer, ccd);
33          setJMenuBar(menuBar);
34          workBook.addChangeListener(menuBar);
35          
36          JPanel topPanel = new JPanel(new BorderLayout());
37          PanelCommand panelCommand = new PanelCommand(omViewer, palette);
38          workBook.addChangeListener(panelCommand);
39          topPanel.add(panelCommand, BorderLayout.SOUTH);
40          ToolBar toolBar = new ToolBar(workBook, omViewer, palette, panelCommand);
41          workBook.addChangeListener(toolBar);
42          topPanel.add(toolBar, BorderLayout.NORTH);
43          
44          Container contentPane = getContentPane();
45          contentPane.setLayout(new BorderLayout());
46          contentPane.add(workBook, BorderLayout.CENTER);
47          contentPane.add(topPanel, BorderLayout.NORTH);
48          contentPane.add(statusBar, BorderLayout.SOUTH);
49  
50          
51          addWindowListener(
52              new WindowAdapter() {
53                  public void windowClosing(WindowEvent we) {
54                      System.exit(0);
55                  }
56              }
57          );
58      }
59      
60      public static void main(String args[]) {
61          TestWorkBook tif = new TestWorkBook();
62          tif.setBounds(0,0,850,550);
63          tif.setVisible(true);
64      }
65  }