197198199200201202203
public void cancel() { display_.setCurrent( next ); } }; display_.setCurrent( new InputDialog( "Save in a new file", "Enter file name", listener ) ); }
223224225226227228229
public void cancel() { display_.setCurrent( next ); } }; display_.setCurrent( new InputDialog( "Create a directory", "Enter directory name", listener ) ); }