361362363364365366367368369
// set flag and fire event if (!StringUtil.notNull(pdfPath_).equals(StringUtil.notNull(pdfPath))) { targetFile_ = targetFile; pdfPath_ = pdfPath; eventBus_.fireEvent(new SynctexStatusChangedEvent(targetFile, pdfPath)); } }