exit_ = new ExitCommand( this, manager, mainFactory );
}
catch( RecordException e )
{
mainFactory.purge();
buffersFactory.purge();
throw new RecordException( "Incompatible buffer format detected : quit and restart", e );
}
textBox_.add( createToolbar( manager ) );
}