eventBus_.fireEvent(new CompilePdfCompletedEvent(result));
}
else if (type.equals(ClientEvent.SynctexEditFile))
{
SourceLocation sourceLocation = event.getData();
eventBus_.fireEvent(new SynctexEditFileEvent(sourceLocation));
}
else if (type.equals(ClientEvent.FindResult))
{
FindResultEvent.Data data = event.getData();
eventBus_.fireEvent(new FindResultEvent(