/**
* Removes the listener which invokes {@link #jobManagerRevisionDidChange} each time the job
* manager has executed, undone or redone a job. Subclasses may invoke this routine to temporarily
* stop listening to the job manager from the editor controller. Use {@link
* AbstractPanelController#startListeningToJobManagerRevision} to re-enable job manager listening.
*/
protected final void stopListeningToJobManagerRevision() {
editorController.getJobManager().revisionProperty().removeListener(jobManagerRevisionListener);
}
