DiffViewManager.java 文件源码

@Override
public void run() {
    diffSerial = cachedDiffSerial;
    computeSecondHighlights();
    if (diffSerial != cachedDiffSerial) {
        return;
    }
    computeFirstHighlights();
    if (diffSerial == cachedDiffSerial) {
        EventQueue.invokeLater(new Runnable() {
            @Override
            public void run() {
                master.getEditorPane1().fireHilitingChanged();
                master.getEditorPane2().fireHilitingChanged();
            }
        });
    }
}