ide/src/wombat/util/files/DocumentManager.java
public static void DisconnectShared() {
		if (me == null) throw new RuntimeException("Document manager not initialized.");
		if (!verifyActiveDocument()) return;
		
		if (!(me.activeDocument instanceof SharedTextArea)) return;
		
		SharedTextArea sta = (SharedTextArea) me.activeDocument;
		sta.disconnect();
		
		if (sta.myFile == null)
			sta.myView.getViewProperties().setTitle("<new document>");
		else
			sta.myView.getViewProperties().setTitle(sta.myFile.getName());
	}
/**
	 * Disconnect from an active shared document. 
	 */
Disconnect from an active shared document.
Disconnect from an active shared document .
public static void DisconnectShared() {
		if (me == null) throw new RuntimeException("Document manager not initialized.");
		if (!verifyActiveDocument()) return;
		if (!(me.activeDocument instanceof SharedTextArea)) return;
		SharedTextArea sta = (SharedTextArea) me.activeDocument;
		sta.disconnect();
		if (sta.myFile == null)
			sta.myView.getViewProperties().setTitle("<new document>");
		else
			sta.myView.getViewProperties().setTitle(sta.myFile.getName());
	}
public static void DisconnectShared ( ) { if ( me == null ) throw new RuntimeException ( "Document manager not initialized." ) ; if ( ! verifyActiveDocument ( ) ) return ; if ( ! ( me . activeDocument instanceof SharedTextArea ) ) return ; SharedTextArea sta = ( SharedTextArea ) me . activeDocument ; sta . disconnect ( ) ; if ( sta . myFile == null ) sta . myView . getViewProperties ( ) . setTitle ( "<new document>" ) ; else sta . myView . getViewProperties ( ) . setTitle ( sta . myFile . getName ( ) ) ; }
Disconnect from an active shared document.
Disconnect from an active shared document .