ide/src/wombat/util/files/DocumentManager.java
public static boolean SaveAs() {
    	if (me == null) throw new RuntimeException("Document manager not initialized.");
    	if (!verifyActiveDocument()) return false;
    	
        FileDialog fc = new FileDialog(me.Main, "Save as...", FileDialog.SAVE);
        fc.setVisible(true);
        if (fc.getFile() == null) return false;

        File file = new File(fc.getDirectory(), fc.getFile());
        me.activeDocument.myFile = file;
        if (me.activeDocument instanceof SharedTextArea && ((SharedTextArea) me.activeDocument).isShared()) {
        	String docName = ((SharedTextArea) me.activeDocument).getDocumentName();
        	me.activeDocument.myView.getViewProperties().setTitle(file.getName() + " (" + docName + ")");
        } else {
        	me.activeDocument.myView.getViewProperties().setTitle(file.getName());
        }

        return Save();
    }
/**
     * Save the active file with a new name.
     * @return If it worked.
     */
Save the active file with a new name.
@return If it worked.
Save the active file with a new name . @return If it worked .
public static boolean SaveAs() {
    	if (me == null) throw new RuntimeException("Document manager not initialized.");
    	if (!verifyActiveDocument()) return false;
        FileDialog fc = new FileDialog(me.Main, "Save as...", FileDialog.SAVE);
        fc.setVisible(true);
        if (fc.getFile() == null) return false;
        File file = new File(fc.getDirectory(), fc.getFile());
        me.activeDocument.myFile = file;
        if (me.activeDocument instanceof SharedTextArea && ((SharedTextArea) me.activeDocument).isShared()) {
        	String docName = ((SharedTextArea) me.activeDocument).getDocumentName();
        	me.activeDocument.myView.getViewProperties().setTitle(file.getName() + " (" + docName + ")");
        } else {
        	me.activeDocument.myView.getViewProperties().setTitle(file.getName());
        }
        return Save();
    }
public static boolean SaveAs ( ) { if ( me == null ) throw new RuntimeException ( "Document manager not initialized." ) ; if ( ! verifyActiveDocument ( ) ) return false ; FileDialog fc = new FileDialog ( me . Main , "Save as..." , FileDialog . SAVE ) ; fc . setVisible ( true ) ; if ( fc . getFile ( ) == null ) return false ; File file = new File ( fc . getDirectory ( ) , fc . getFile ( ) ) ; me . activeDocument . myFile = file ; if ( me . activeDocument instanceof SharedTextArea && ( ( SharedTextArea ) me . activeDocument ) . isShared ( ) ) { String docName = ( ( SharedTextArea ) me . activeDocument ) . getDocumentName ( ) ; me . activeDocument . myView . getViewProperties ( ) . setTitle ( file . getName ( ) + " (" + docName + ")" ) ; } else { me . activeDocument . myView . getViewProperties ( ) . setTitle ( file . getName ( ) ) ; } return Save ( ) ; }
Save the active file with a new name.
Save the active file with a new name .