ide/src/wombat/gui/text/SchemeTextArea.java
public void load() throws FileNotFoundException, IOException {
    	if (myFile == null) throw new FileNotFoundException("No file set");
    	
    	// Load the document.
    	Scanner scanner = new Scanner(myFile);
        StringBuilder content = new StringBuilder();

        while (scanner.hasNextLine()) {
            content.append(scanner.nextLine());
            content.append(NL);
        }
        
        scanner.close();
        String text = content.toString();
        
        // Change lambda string to character in lambda mode.
        if (Options.LambdaMode) text = text.replace("lambda", "\u03BB");
        
        setText(text);
        SavedHash = text.hashCode();
    }
/**
     * Load the document from it's file (throws an exception if the file hasn't been set).
     * @throws FileNotFoundException, IOException If we can't save based on a file error.
     */
Load the document from it's file (throws an exception if the file hasn't been set).
@throws FileNotFoundException, IOException If we can't save based on a file error.
Load the document from it ' s file ( throws an exception if the file hasn ' t been set ) . @throws FileNotFoundException IOException If we can ' t save based on a file error .
public void load() throws FileNotFoundException, IOException {
    	if (myFile == null) throw new FileNotFoundException("No file set");
    	Scanner scanner = new Scanner(myFile);
        StringBuilder content = new StringBuilder();
        while (scanner.hasNextLine()) {
            content.append(scanner.nextLine());
            content.append(NL);
        }
        scanner.close();
        String text = content.toString();
        if (Options.LambdaMode) text = text.replace("lambda", "\u03BB");
        setText(text);
        SavedHash = text.hashCode();
    }
public void load ( ) throws FileNotFoundException , IOException { if ( myFile == null ) throw new FileNotFoundException ( "No file set" ) ; Scanner scanner = new Scanner ( myFile ) ; StringBuilder content = new StringBuilder ( ) ; while ( scanner . hasNextLine ( ) ) { content . append ( scanner . nextLine ( ) ) ; content . append ( NL ) ; } scanner . close ( ) ; String text = content . toString ( ) ; if ( Options . LambdaMode ) text = text . replace ( "lambda" , "\u03BB" ) ; setText ( text ) ; SavedHash = text . hashCode ( ) ; }
Load the document from it's file (throws an exception if the file hasn't been set).
Load the document from it ' s file ( throws an exception if the file hasn ' t been set ) .
// Load the document. // Change lambda string to character in lambda mode.