public void onDocumentSaved(Document document) { dumpState(); if (_ignoreDocumentSaves || !document.belongsToAnOpenProject()) return; _savedDocuments.track(document); Log.D("document saved {path}:", document.FullName); schedule(beginBuild); }