/*f Research Project: Graphical Database for Category Theory J. Bradbury, Dr. R. Rosebrugh, I. Rutherford Matt Graves, Jesse Tweedle Mount Allison University 2003 File: MainWindow2.java Description: */ import javax.swing.*; import javax.swing.text.*; import javax.swing.event.*; import java.awt.*; import java.awt.event.*; import java.net.*; import java.io.*; import java.util.*; import java.beans.*; public class MainWindow2 extends JFrame implements InternalFrameListener { private JDesktopPane desktop; private JMenu window_menu; private JMenu recent_menu; private ButtonGroup window_group; private Vector listData; private URL funURL,fglURL,catURL,cglURL; private URL fileURL; private InputStream input; private DataInputStream dataInput; private JFileChooser fchooser; private IniSettings ini = new IniSettings(); public MainWindow2() { super("GDCT"); try {UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());} catch(Exception e) {System.out.println("Error setting native LAF: " + e);} //Make the big window be indented 50 pixels from each edge //of the screen. int inset = 50; Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); setBounds(inset, inset, screenSize.width - inset*2, screenSize.height-inset*2); //Quit this app when the big window closes. addWindowListener(new WindowAdapter() { public void windowClosing(WindowEvent e) { System.exit(0); } }); //Set up the GUI. desktop = new JDesktopPane(); //a specialized layered pane setContentPane(desktop); setJMenuBar(createMenuBar()); //Make dragging faster: desktop.putClientProperty("JDesktopPane.dragMode", "outline"); desktop.setBackground(Color.gray); // so using a 2D array works the same way. // int[][][] test = new int[3][5][5]; /* int[][] test = new int[3][5]; int[] alpha = new int[2]; int[] beta = new int[3]; int[] gamma = new int[5]; for (int i=0; i<5; i++) { gamma[i] = i; } alpha[0] = 0; alpha[1] = 1; beta[0] = 0; beta[1] = 1; beta[2] = 2; for (int j=0; j<3; j++) { for (int i=0; i<5; i++) { System.out.println(test[j][i]); } } test[0] = alpha; test[1] = beta; test[2] = gamma; for (int j=0; j