}
                public void run() {                    html = new XHTMLPanel();                    frame.getContentPane().add(new FSScrollPane(html));                    frame.pack();                    frame.setSize(1024, 768);                    frame.setVisible(true);                    frame.addComponentListener(new ComponentAdapter() {                        public void componentResized(ComponentEvent e) {                            html.relayout();                        }                    });                    nextDemoAction = new NextDemoAction();                    chooseDemoAction = new ChooseDemoAction();                    growAction = new GrowAction();                    shrinkAction = new ShrinkAction();                    increase_font = new FontSizeAction(FontSizeAction.INCREMENT, KeyStroke.getKeyStroke(KeyEvent.VK_I, InputEvent.CTRL_MASK));                    reset_font = new FontSizeAction(FontSizeAction.RESET, KeyStroke.getKeyStroke(KeyEvent.VK_0, InputEvent.CTRL_MASK));                    decrease_font = new FontSizeAction(FontSizeAction.DECREMENT, KeyStroke.getKeyStroke(KeyEvent.VK_D, InputEvent.CTRL_MASK));                    showGrid = new ShowGridAction();                    showHelp = new ShowHelpAction();                    frame.setJMenuBar(new JMenuBar());                    JMenu doMenu = new JMenu("Do");                    doMenu.add(nextDemoAction);                    doMenu.add(chooseDemoAction);                    doMenu.add(growAction);                    doMenu.add(shrinkAction);                    doMenu.add(increase_font);                    doMenu.add(reset_font);                    doMenu.add(decrease_font);                    doMenu.add(showGrid);                    doMenu.add(showHelp);                    doMenu.setVisible(false);                    frame.getJMenuBar().add(doMenu);                }