menuItem = editMenu.add( FunctionDocument.Command.UNDO );        menuItem.setMnemonic( KeyEvent.VK_U );        menuItem = editMenu.add( FunctionDocument.Command.REDO );        menuItem.setMnemonic( KeyEvent.VK_R );        menuItem = editMenu.add( FunctionDocument.Command.CLEAR_EDIT_LIST );        menuItem.setMnemonic( KeyEvent.VK_L );        editMenu.addSeparator( );        menuItem = editMenu.add( FunctionDocument.Command.EDIT_COMMENT );        menuItem.setMnemonic( KeyEvent.VK_C );        editMenu.addSeparator( );        menuItem = editMenu.add( FunctionDocument.Command.REVERSE_FUNCTIONS );        menuItem.setMnemonic( KeyEvent.VK_V );        menuItem = editMenu.add( AppCommand.COPY_INTERVALS );        menuItem.setMnemonic( KeyEvent.VK_I );        menuBar.add( editMenu );        // Options menu        optionsMenu = new JMenu( OPTIONS_STR );        optionsMenu.setMnemonic( KeyEvent.VK_O );        optionsMenu.addMenuListener( this );        menuItem = optionsMenu.add( AppCommand.EDIT_PREFERENCES );        menuItem.setMnemonic( KeyEvent.VK_P );        menuItem = optionsMenu.add( new JCheckBoxMenuItem( AppCommand.SHOW_FULL_PATHNAMES ) );        menuItem.setMnemonic( KeyEvent.VK_F );        menuBar.add( optionsMenu );        // Set menu bar        setJMenuBar( menuBar );        //----  Tabbed panel        tabbedPanel = new TabbedPanel( );        tabbedPanel.setIgnoreCase( true );        App.applyOrientationByLocale( tabbedPanel );        tabbedPanel.addChangeListener( this );        // Add temporary view        addView( new String( ), null, App.getInstance( ).getView( 0 ) );        // Set preferred size of tabbed pane        tabbedPanel.setPreferredSize( tabbedPanel.getPreferredSize( ) );        // Set transfer handler        tabbedPanel.setTransferHandler( new FileTransferHandler( ) );        //----  Window        // Set orientation of components according to locale        App.applyOrientationByLocale( this );        // Set content pane        setContentPane( tabbedPanel );        // Dispose of window explicitly        setDefaultCloseOperation( DO_NOTHING_ON_CLOSE );        // Handle window closing        addWindowListener( new WindowEventHandler( ) );        // Handle change to focused window        addWindowFocusListener( this );        // Prevent window from being resized        setResizable( false );        // Resize window to its preferred size        pack( );        // Set location of window        setLocation( GuiUtilities.                            getLocationWithinScreen( this,                                                     AppConfig.getInstance( ).getMainWindowLocation( ) ) );        // Delete temporary document        App.getInstance( ).clearDocuments( );        // Remove temporary view from tabbed panel        removeView( 0 );        // Update title and menus        updateTitleAndMenus( );        // Make window visible        setVisible( true );    }    //------------------------------------------------------------------//////////////////////////////////////////////////////////////////////////  Instance methods : ChangeListener interface////////////////////////////////////////////////////////////////////////    public void stateChanged( ChangeEvent event )    {        if ( event.getSource( ) == tabbedPanel )        {            if ( isVisible( ) )                updateTitleAndMenus( );        }    }    //------------------------------------------------------------------//////////////////////////////////////////////////////////////////////////  Instance methods : MenuListener interface////////////////////////////////////////////////////////////////////////    public void menuCanceled( MenuEvent event )    {        // do nothing    }    //------------------------------------------------------------------    public void menuDeselected( MenuEvent event )    {        // do nothing    }    //------------------------------------------------------------------    public void menuSelected( MenuEvent event )    {        Object eventSource = event.getSource( );        if ( eventSource == fileMenu )            updateFileMenu( );        else if ( eventSource == editMenu )            updateEditMenu( );        else if ( eventSource == optionsMenu )            updateOptionsMenu( );    }    //------------------------------------------------------------------//////////////////////////////////////////////////////////////////////////  Instance methods : WindowFocusListener interface////////////////////////////////////////////////////////////////////////    public void windowGainedFocus( WindowEvent event )    {        FunctionView view = App.getInstance( ).getView( );        if ( view != null )            view.showMouseCursorCoords( true );    }    //------------------------------------------------------------------    public void windowLostFocus( WindowEvent event )    {        FunctionView view = App.getInstance( ).getView( );        if ( view != null )            view.showMouseCursorCoords( false );    }    //------------------------------------------------------------------//////////////////////////////////////////////////////////////////////////  Instance methods////////////////////////////////////////////////////////////////////////    public int getTabIndex( )    {        return tabbedPanel.getSelectedIndex( );    }    //------------------------------------------------------------------    public void addView( String       title,                         String       toolTipText,                         FunctionView view )    {        tabbedPanel.addComponent( title, new CloseAction( ), view );        view.setDefaultFocus( );        int index = tabbedPanel.getNumTabs( ) - 1;        tabbedPanel.setToolTipText( index, toolTipText );        tabbedPanel.setSelectedIndex( index );    }    //------------------------------------------------------------------    public void removeView( int index )    {        tabbedPanel.removeComponent( index );    }    //------------------------------------------------------------------    public void setView( int          index,                         FunctionView view )    {        tabbedPanel.setComponent( index, view );    }    //------------------------------------------------------------------    public void selectView( int index )    {        tabbedPanel.setSelectedIndex( index );    }    //------------------------------------------------------------------    public void setTabText( int    index,                            String title,                            String toolTipText )    {        tabbedPanel.setTitle( index, title );        tabbedPanel.setToolTipText( index, toolTipText );    }    //------------------------------------------------------------------    public void updateTitleAndMenus( )    {        updateTitle( );        updateMenus( );    }    //------------------------------------------------------------------    private void updateTitle( )    {        FunctionDocument document = App.getInstance( ).getDocument( );        boolean fullPathname = AppConfig.getInstance( ).isShowFullPathnames( );        setTitle( (document == null)                                ? App.LONG_NAME + " " + App.getInstance( ).getVersionString( )                                : App.SHORT_NAME + "  [" + document.getTitleString( fullPathname ) + "]" );    }    //------------------------------------------------------------------    private void updateMenus( )    {        updateFileMenu( );        updateEditMenu( );        updateOptionsMenu( );    }    //------------------------------------------------------------------    private void updateFileMenu( )    {        updateAppCommands( );    }    //------------------------------------------------------------------    private void updateEditMenu( )    {        editMenu.setEnabled( App.getInstance( ).hasDocuments( ) );        updateDocumentCommands( );        updateAppCommands( );    }    //------------------------------------------------------------------    private void updateOptionsMenu( )    {        updateAppCommands( );    }    //------------------------------------------------------------------    private void updateAppCommands( )    {        FunctionDocument document = App.getInstance( ).getDocument( );        boolean isDocument = (document != null);        boolean notFull = !App.getInstance( ).isDocumentsFull( );        AppCommand.TRANSFER_FILES.setEnabled( true );        AppCommand.CHECK_MODIFIED_FILE.setEnabled( true );        AppCommand.NEW_FILE.setEnabled( notFull );        AppCommand.OPEN_FILE.setEnabled( notFull );        AppCommand.REOPEN_FILE.setEnabled( isDocument && document.isChanged( ) &&                                           (document.getFile( ) != null) );        AppCommand.CLOSE_FILE.setEnabled( isDocument );        AppCommand.CLOSE_ALL_FILES.setEnabled( isDocument );        AppCommand.SAVE_FILE.setEnabled( isDocument && document.isChanged( ) );        AppCommand.SAVE_FILE_AS.setEnabled( isDocument );        AppCommand.EXPORT_IMAGE.setEnabled( isDocument && FunctionDocument.canWriteImages( ) );        AppCommand.EXIT.setEnabled( true );        AppCommand.COPY_INTERVALS.setEnabled( App.getInstance( ).getNumDocuments( ) > 1 );        AppCommand.EDIT_PREFERENCES.setEnabled( true );        AppCommand.SHOW_FULL_PATHNAMES.setEnabled( true );        AppCommand.SHOW_FULL_PATHNAMES.setSelected( AppConfig.getInstance( ).isShowFullPathnames( ) );    }    //------------------------------------------------------------------    private void updateDocumentCommands( )    {        FunctionDocument document = App.getInstance( ).getDocument( );        if ( document == null )            FunctionDocument.Command.setAllEnabled( false );        else            document.updateCommands( );    }    //------------------------------------------------------------------//////////////////////////////////////////////////////////////////////////  Instance variables////////////////////////////////////////////////////////////////////////    private JMenu       fileMenu;    private JMenu       editMenu;    private JMenu       optionsMenu;    private TabbedPanel tabbedPanel;}//----------------------------------------------------------------------