?? ideframe.java
字號:
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 classesimport 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();
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -