309310311312313314315316317318319
+ target, line, chStart, chEnd); } else { // notify that we have a new module parseController.justCompiled(); } } if (markerCreator instanceof MarkerCreatorWithBatching) { ((MarkerCreatorWithBatching) markerCreator).flush(monitor);