eventBus_.fireEvent(new SynctexEditFileEvent(sourceLocation));
}
else if (type.equals(ClientEvent.FindResult))
{
FindResultEvent.Data data = event.getData();
eventBus_.fireEvent(new FindResultEvent(
data.getHandle(), data.getResults().toArrayList()));
}
else if (type.equals(ClientEvent.FindOperationEnded))
{
String data = event.getData();