ide/src/wombat/gui/text/SchemeTextArea.java
public void close() {
    	if (myView != null) {
    		try {
    			myView.close();
    		} catch(Exception e) {
    		}
    	}
    }
/**
     * Any cleanup that this object may need to do.
     */
Any cleanup that this object may need to do.
Any cleanup that this object may need to do .
public void close() {
    	if (myView != null) {
    		try {
    			myView.close();
    		} catch(Exception e) {
    		}
    	}
    }
public void close ( ) { if ( myView != null ) { try { myView . close ( ) ; } catch ( Exception e ) { } } }
Any cleanup that this object may need to do.
Any cleanup that this object may need to do .