eventBus_.fireEvent(new ConsolePromptEvent(prompt));
}
else if (type.equals(ClientEvent.ShowEditor))
{
ShowEditorData data = event.getData();
eventBus_.fireEvent(new ShowEditorEvent(data));
}
else if (type.equals(ClientEvent.FileChanged))
{
FileChange fileChange = event.getData();
eventBus_.fireEvent(new FileChangeEvent(fileChange));