ide/src/wombat/util/files/DocumentManager.java
private static boolean verifyActiveDocument() {
    	if (!me.allDocuments.contains(me.activeDocument))
    		me.activeDocument = null;
    	
    	if (me.allDocuments.isEmpty())
    		return false;
    	
    	if (me.activeDocument == null) {
    		me.activeDocument = me.allDocuments.get(0);
    		me.activeDocument.requestFocus();
    		verifyActiveDocument();
    	}
		return true;
	}
/**
     * Check that the active document is really active and that we haven't removed it.
     * @return True if we have a valid active document.
     */
Check that the active document is really active and that we haven't removed it.
@return True if we have a valid active document.
Check that the active document is really active and that we haven ' t removed it . @return True if we have a valid active document .
private static boolean verifyActiveDocument() {
    	if (!me.allDocuments.contains(me.activeDocument))
    		me.activeDocument = null;
    	if (me.allDocuments.isEmpty())
    		return false;
    	if (me.activeDocument == null) {
    		me.activeDocument = me.allDocuments.get(0);
    		me.activeDocument.requestFocus();
    		verifyActiveDocument();
    	}
		return true;
	}
private static boolean verifyActiveDocument ( ) { if ( ! me . allDocuments . contains ( me . activeDocument ) ) me . activeDocument = null ; if ( me . allDocuments . isEmpty ( ) ) return false ; if ( me . activeDocument == null ) { me . activeDocument = me . allDocuments . get ( 0 ) ; me . activeDocument . requestFocus ( ) ; verifyActiveDocument ( ) ; } return true ; }
Check that the active document is really active and that we haven't removed it.
Check that the active document is really active and that we haven ' t removed it .