1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
   |  
 
			// Creation of the Sequence internal frame
			JInternalFrame sequenceFrame = new JInternalFrame(
					PasserelleIHMMessages.getString(
							PasserelleIHMMessages.SEQUENCE_FRAME_NAME,
							PasserelleIHMMessages.BUNDLE_NAME), false, false,
					false, false);
			sequenceFrame.setVisible(true);
			JDesktopPane sequenceDesktopPane = new JDesktopPane();
			sequenceDesktopPane.add(sequenceFrame);
			try {
				sequenceFrame.setMaximum(true);
			} catch (PropertyVetoException e) {
				e.printStackTrace();
			}
			// Add a tabbed pane to the sequence frame
			sequenceFrame.setContentPane(getSequenceFrameTabbedPane());
 
 
 
			// Creation of the trace frame
			JInternalFrame traceFrame = new JInternalFrame(
					PasserelleIHMMessages.getString(
							PasserelleIHMMessages.TRACE_FRAME_NAME,
							PasserelleIHMMessages.BUNDLE_NAME), false, false,
					false, false);
			traceFrame.setVisible(true);
			JDesktopPane traceDesktopPane = new JDesktopPane();
			traceDesktopPane.add(traceFrame);
			try {
				traceFrame.setMaximum(true);
			} catch (PropertyVetoException e) {
				e.printStackTrace();
			}
			traceFrame.setContentPane(getTracePanel());
 
 
 
			JSplitPane splitPane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,
					sequenceDesktopPane, traceDesktopPane);
			splitPane.setDividerLocation(Toolkit.getDefaultToolkit()
					.getScreenSize().width * 2 / 3);
			splitPane.setOneTouchExpandable(true);
 
 
 
			mainInternalFrame = new JInternalFrame(PasserelleIHMMessages
					.getString(PasserelleIHMMessages.MAIN_FRAME_NAME,
							PasserelleIHMMessages.BUNDLE_NAME), false, false,
					false, false);
			mainInternalFrame.getContentPane().setLayout(new BorderLayout());
			mainInternalFrame.setContentPane(splitPane);
			mainInternalFrame.setJMenuBar(getMenuBar());
			mainInternalFrame.setSize(Toolkit.getDefaultToolkit()
					.getScreenSize().width, Toolkit.getDefaultToolkit()
					.getScreenSize().height - 30);
			mainInternalFrame.setVisible(true);
			mainInternalFrame.validate(); | 
Partager