ideframe.java

WAP ide 代码

package wapide;

import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.undo.*;
import javax.swing.border.*;
import javax.swing.tree.*;
import javax.swing.event.*;
import javax.swing.text.*;
import javax.swing.text.html.*;
import java.io.File;
import java.util.*;
import java.net.*;
import java.io.*;

// Other program classes
import Designer.PhoneDesigner;
import wbmp.WBMPEditor;
import sim.Simulator;



/**
 * The IDE Frame.  In addition to constructing the frame and its components it
 * also provides functionality to those components.
 * Copyright (c) 2003
 * @author Mark Busman
 * @version 1.0
 *
 * For License and contact information see WAPIDE.java
 */

public class IDEFrame extends JFrame {
  private JPanel contentPane;
  private JMenuBar MainMenuBar = new JMenuBar();
  private JMenu jMenuFile = new JMenu();
  private JMenu jMenuHelp = new JMenu();
  private JMenuItem jMenuHelpAbout = new JMenuItem();
  private ImageIcon image1;
  private ImageIcon image2;
  private ImageIcon image3;
  private BorderLayout ContentBorderLayout = new BorderLayout();
  private JPanel MainPanel = new JPanel();
  private GridLayout MainGridLayout = new GridLayout();
  private JPanel Toolbarpane = new JPanel();
  private JButton Toolbar_Save = new JButton();
  private JToolBar MainToolbar = new JToolBar();
  private JButton Toolbar_Help = new JButton();
  private JButton Toolbar_Open = new JButton();
  private JToolBar ToolsToolbar = new JToolBar();
  private ImageIcon image4;
  private JButton Toolbar_New = new JButton();
  private JButton Toolbar_Print = new JButton();
  private ImageIcon image5;
  private ImageIcon image6;
  private ImageIcon image7;
  private ImageIcon image8;
  private ImageIcon image9;
  private ImageIcon image10;
  private ImageIcon image11;
  private ImageIcon image12;
  private ImageIcon image13;
  private ImageIcon image14;
  private ImageIcon image15;
  private ImageIcon image16;
  private ImageIcon image17;
  private ImageIcon image18;
  private ImageIcon image19;
  private ImageIcon image20;
  private ImageIcon image21;
  private ImageIcon image22;
  private ImageIcon image23;
  private ImageIcon image24;
  private ImageIcon image25;
  private ImageIcon image26;
  private ImageIcon image27;
  private ImageIcon image28;
  private ImageIcon image29;
  private ImageIcon image30;
  private ImageIcon image31;
  private ImageIcon image32;
  private ImageIcon image33;
  private ImageIcon image34;
  private ImageIcon image35;
  private ImageIcon image36;
  private ImageIcon image37;
  private ImageIcon image38;
  private ImageIcon image39;
  private ImageIcon image40;
  private ImageIcon image41;
  private ImageIcon image42;
  private ImageIcon image43;
  private ImageIcon image44;
  private ImageIcon image45;
  private ImageIcon image46; // dummy used in menu for items without icon
  private ImageIcon image48; // Tab Items
  private ImageIcon image49;
  private ImageIcon image50;
  private ImageIcon image51;
  private ImageIcon image52;
  private ImageIcon image53;
  private ImageIcon image54;
  private ImageIcon image55; // additional tag items(fieldset and pre)
  private ImageIcon image56;
  private ImageIcon image57; // grid
  private ImageIcon image60; // Sim Icons
  private ImageIcon image61;
  private ImageIcon image62;
  private ImageIcon image63;
  private ImageIcon image64;
  private JButton Toolbar_Undo = new JButton();
  private JButton Toolbar_Redo = new JButton();
  private JButton Toolbar_Copy = new JButton();
  private JButton Toolbar_Cut = new JButton();
  private JButton Toolbar_Paste = new JButton();
  private JToggleButton Toolbar_CodeEditor = new JToggleButton();
  private JToggleButton Toolbar_GraphicalEditor = new JToggleButton();
  private JToggleButton Toolbar_BinaryEditor = new JToggleButton();
  private JButton Toolbar_PhoneDesigner = new JButton();
  private JButton Toolbar_WBMPDesigner = new JButton();
  private JButton Toolbar_Compile = new JButton();
  private JButton Toolbar_ATag = new JButton();
  private JButton Toolbar_AnchorTag = new JButton();
  private JButton Toolbar_CardTag = new JButton();
  private JButton Toolbar_DoTag = new JButton();
  private JButton Toolbar_GoTag = new JButton();
  private JButton Toolbar_NoopTag = new JButton();
  private JButton Toolbar_PrevTag = new JButton();
  private JButton Toolbar_RefreshTag = new JButton();
  private JButton Toolbar_TimerTag = new JButton();
  private JButton Toolbar_BigTag = new JButton();
  private JButton Toolbar_BoldTag = new JButton();
  private JButton Toolbar_EmTag = new JButton();
  private JButton Toolbar_ITag = new JButton();
  private JButton Toolbar_SmallTag = new JButton();
  private JButton Toolbar_StrongTag = new JButton();
  private JButton Toolbar_UTag = new JButton();
  private JButton Toolbar_PTag = new JButton();
  private JButton Toolbar_BrTag = new JButton();
  private JButton Toolbar_ImgTag = new JButton();
  private JToolBar AdvancedToolsToolbar = new JToolBar();
  private JButton Toolbar_InputTag = new JButton();
  private JButton Toolbar_OptgroupTag = new JButton();
  private JButton Toolbar_OptionTag = new JButton();
  private JButton Toolbar_PostfieldTag = new JButton();
  private JButton Toolbar_SelectTag = new JButton();
  private JButton Toolbar_SetvarTag = new JButton();
  private JButton Toolbar_TableTag = new JButton();
  private JButton Toolbar_TdTag = new JButton();
  private JButton Toolbar_TrTag = new JButton();
  private JComboBox Toolbar_OneventTags = new JComboBox();
  private JMenuItem jMenuFileNew = new JMenuItem();
  private JMenuItem jMenuFileSave = new JMenuItem();
  private JMenuItem jMenuFileSaveAs = new JMenuItem();
  private JMenuItem jMenuFilePrinterSetup = new JMenuItem();
  private JMenuItem jMenuFilePrintPreview = new JMenuItem();
  private JMenuItem jMenuPrint = new JMenuItem();
  private JMenuItem jMenuFileExit = new JMenuItem();
  private JMenuItem jMenuFileOpen = new JMenuItem();
  private JMenu jMenuEdit = new JMenu();
  private JMenuItem jMenuEditUndo = new JMenuItem();
  private JMenuItem jMenuEditRedo = new JMenuItem();
  private JMenuItem jMenuEditCut = new JMenuItem();
  private JMenuItem jMenuEditCopy = new JMenuItem();
  private JMenuItem jMenuEditPaste = new JMenuItem();
  private JMenuItem jMenuSelectAll = new JMenuItem();
  private JMenu jMenuView = new JMenu();
  private JMenu jMenuViewToolbars = new JMenu();
  private JCheckBoxMenuItem jCheckBoxMenuMainToolbar = new JCheckBoxMenuItem();
  private JCheckBoxMenuItem jCheckBoxMenuToolsToolbar = new JCheckBoxMenuItem();
  private JCheckBoxMenuItem jCheckBoxMenuAdvancedToolsToolbar = new JCheckBoxMenuItem();
  private JRadioButtonMenuItem jRadioButtonMenuCodeEditor = new JRadioButtonMenuItem();
  private JRadioButtonMenuItem jRadioButtonMenuGraphicalEditor = new JRadioButtonMenuItem();
  private JRadioButtonMenuItem jRadioButtonMenuBinaryEditor = new JRadioButtonMenuItem();
  private JCheckBoxMenuItem jCheckBoxMenuStatusbar = new JCheckBoxMenuItem();
  private JMenu jMenuTools = new JMenu();
  private JMenuItem jMenuToolsPhoneDesigner = new JMenuItem();
  private JMenuItem jMenuToolsWBMPEditor = new JMenuItem();
  private JMenu jMenuToolsSimTools = new JMenu();
  private JMenuItem jMenuToolsSimBack = new JMenuItem();
  private JMenu jMenuWMLTags = new JMenu();
  private JMenu jMenuLinks = new JMenu();
  private JMenuItem jMenuATag = new JMenuItem();
  private JMenuItem jMenuAnchorTag = new JMenuItem();
  private JMenu jMenuWMLTagsCardsDecks = new JMenu();
  private JMenuItem jMenuWMLTag = new JMenuItem();
  private JMenuItem jMenuHeadTag = new JMenuItem();
  private JMenuItem jMenuMetaTag = new JMenuItem();
  private JMenuItem jMenuTemplateTag = new JMenuItem();
  private JMenuItem jMenuCardTag = new JMenuItem();
  private JMenu jMenuActions = new JMenu();
  private JMenuItem jMenuDoTag = new JMenuItem();
  private JMenuItem jMenuGoTag = new JMenuItem();
  private JMenuItem jMenuNoopTag = new JMenuItem();
  private JMenuItem jMenuPrevTag = new JMenuItem();
  private JMenuItem jMenuRefreshTag = new JMenuItem();
  private JMenuItem jMenuTimerTag = new JMenuItem();
  private JMenu jMenuFontStyle = new JMenu();
  private JMenuItem jMenuBigTag = new JMenuItem();
  private JMenuItem jMenuBTag = new JMenuItem();
  private JMenuItem jMenuEmTag = new JMenuItem();
  private JMenuItem jMenuITag = new JMenuItem();
  private JMenuItem jMenuSmallTag = new JMenuItem();
  private JMenuItem jMenuStrongTag = new JMenuItem();
  private JMenuItem jMenuUTag = new JMenuItem();
  private JMenu jMenuTextFormat = new JMenu();
  private JMenuItem jMenuBrTag = new JMenuItem();
  private JMenuItem jMenuImgTag = new JMenuItem();
  private JMenuItem jMenuPTag = new JMenuItem();
  private JMenu jMenuUserInput = new JMenu();
  private JMenuItem jMenuInputTag = new JMenuItem();
  private JMenuItem jMenuOptgroupTag = new JMenuItem();
  private JMenuItem jMenuOptionTag = new JMenuItem();
  private JMenuItem jMenuPostfieldTag = new JMenuItem();
  private JMenuItem jMenuSelectTag = new JMenuItem();
  private JMenu jMenuVariables = new JMenu();
  private JMenuItem jMenuSetvarTag = new JMenuItem();
  private JMenu jMenuTables = new JMenu();
  private JMenuItem jMenuTableTag = new JMenuItem();
  private JMenuItem jMenuTdTag = new JMenuItem();
  private JMenuItem jMenuTrTag = new JMenuItem();
  private JMenu jMenuSecurity = new JMenu();
  private JMenuItem jMenuAccessTag = new JMenuItem();
  private JMenu jMenu16 = new JMenu();
  private JMenuItem jMenuItem43 = new JMenuItem();
  private JMenuItem jMenuItem44 = new JMenuItem();
  private JMenuItem jMenuItem45 = new JMenuItem();
  private JMenuItem jMenuOnEventTag = new JMenuItem();
  private JMenuItem jMenuItem47 = new JMenuItem();
  private JMenuItem jMenuItem48 = new JMenuItem();
  private JMenuItem jMenuItem49 = new JMenuItem();
  private JMenuItem jMenuItem50 = new JMenuItem();
  private JMenuItem jMenuItem51 = new JMenuItem();
  private JMenuItem jMenuToolsOptions = new JMenuItem();
  private JMenuItem jMenuHelpContents = new JMenuItem();
  private JMenuItem jMenuFileCompile = new JMenuItem();
  private JMenuItem jMenuFind = new JMenuItem();
  private Border border1;
  private Border border2;
  private Border border3;
  private Border border4;
  private Border border5;
  private JPopupMenu TabPopupMenu = new JPopupMenu();
  private JMenuItem TabSave = new JMenuItem();
  private JMenuItem TabSaveAs = new JMenuItem();
  private JMenuItem TabClose = new JMenuItem();
  private JMenuItem TabCloseAll = new JMenuItem();
  private JMenuItem TabRename = new JMenuItem();
  private JMenuItem TabCompile = new JMenuItem();
  private Border border6;
  private Border border7;
  private Border border8;
  private JPopupMenu EditorPopupMenu = new JPopupMenu();
  private JMenuItem EditorPopupCut = new JMenuItem();
  private JMenuItem EditorPopupCopy = new JMenuItem();
  private JMenuItem EditorPopupPaste = new JMenuItem();
  private JMenuItem EditorPopupSelectAll = new JMenuItem();
  private JMenuItem EditorPopupClose = new JMenuItem();
  private JMenuItem EditorPopupOptions = new JMenuItem();
  private BorderLayout borderLayout6 = new BorderLayout();
  private JButton Toolbar_FieldsetTag = new JButton();
  private JMenuItem jMenuFieldsetTag = new JMenuItem();
  private JPopupMenu CardPopupMenu = new JPopupMenu();
  private JMenuItem CardDelete = new JMenuItem();
  private JMenuItem CardProperties = new JMenuItem();
  private JLabel Statusbar = new JLabel();
  private JPanel Statuspanel = new JPanel();
  private BorderLayout borderLayout8 = new BorderLayout();
  private JPanel ExtraStatusbarPanel = new JPanel();
  private JLabel EditorTextModlabel = new JLabel();
  private JLabel EditorInsertlabel = new JLabel();
  private FlowLayout flowLayout3 = new FlowLayout();
  private JMenuItem CardEditLevelTags = new JMenuItem();
  private JTextArea LineNumberFiller = new JTextArea();
  private JPanel EditorsPanel = new JPanel();
  private JTextPane EditorTextpane = new JTextPane();
  private JLabel InfoNamelabel = new JLabel();
  private JPanel ScrollButtonpanel = new JPanel();
  private GridBagLayout gridBagLayout2 = new GridBagLayout();
  private JTextArea BinaryLinesFiller = new JTextArea();
  private JPanel Blankerpane = new JPanel();
  private CardLayout RightpaneLayout = new CardLayout();
  private JTextPane GraphicalTextpane = new JTextPane();
  private JButton ResizeScreenbutton = new JButton();
  private JPanel Editorpane = new JPanel();
  private JScrollPane GraphicalScreenScroller = new JScrollPane();
  private FlowLayout flowLayout2 = new FlowLayout();
  private JPanel InfoPanel = new JPanel();
  private FlowLayout flowLayout1 = new FlowLayout();
  private JLabel EditorPOSlabel = new JLabel();
  private JTextPane BinaryTextpane = new JTextPane();
  private JTextArea BinaryColumnFiller = new JTextArea();
  private JScrollPane CardTabsScrollpane = new JScrollPane();
  private JTabbedPane CardTabspane = new JTabbedPane();
  private JPanel GraphicalTextpanel = new JPanel();
  private JScrollPane FilesButtonScrollpanel = new JScrollPane();
  private JButton LeftScrollbutton = new JButton();
  private JLabel FileButtonpanel = new JLabel();
  private JScrollPane EditorScrollpane = new JScrollPane();
  private JScrollPane GraphicalScrollpane = new JScrollPane();
  private BorderLayout BinarypaneLayout = new BorderLayout();
  private JPanel jPanel2 = new JPanel();
  private JPanel jPanel1 = new JPanel();
  private JButton RightScrollbutton = new JButton();
  private BorderLayout borderLayout9 = new BorderLayout();
  private JScrollPane BinaryScrollpane = new JScrollPane();
  private BorderLayout borderLayout7 = new BorderLayout();
  private BorderLayout borderLayout5 = new BorderLayout();
  private BorderLayout borderLayout4 = new BorderLayout();
  private BorderLayout borderLayout3 = new BorderLayout();
  private JPanel EditorCardpane = new JPanel();
  private BorderLayout borderLayout2 = new BorderLayout();