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