     //----------------------------------
     
     /**
-     *  Opens the view menu if set to true and closes it if set to false. 
+     *  Opens the view menu if set to <code>true</code>,
+     *  and closes it if set to <code>false</code>. 
      * 
      *  @default false
      */

    
    /**
     *  This method is called when the application is invoked by the
     *  OS.  This method is called in response to a InvokeEvent.INVOKE
     *  event.
     * 
     *  @param event The InvokeEvent object
     * 
     *  @langversion 3.0
     *  @playerversion Flash 10

    
    /**
     *  Responsible for persisting the application state to the persistence manager.
     *  This method is called automatically when <code>persistNavigatorState</code>
     *  is set to <code>true</code>.  
     *  By default, this method saves the application version 
     *  and the time the persistence object was created to the <code>timestamp</code> and 
     *  <code>applicationVersion</code> keys of the PersistenceManager object.
     * 
     *  <p>This method is only called if the <code>FlexEvent.APPLICATION_PERSISTING</code>
     *  event is not canceled.</p>
     * 
     *  @langversion 3.0
