this
Scheduler (see
SchedulerTask.getSchedulerClass()
.this
Scheduler (see
SchedulerTask.getSchedulerClass()
, and sets new Source
s for them.EmbeddingProvider
,
ParserBasedEmbeddingProvider
and ParserResultTask
).Scheduler
reschedules all tasks when
nodes selected in editor are changed.Source
represents one file or document.SourceModificationEvent