changedProperties.put(NOTEBOOK_AUTHOR, input.getNotebookAuthor());
changedProperties.put(NOTEBOOK_TYPE, input.getNotebookType());
docUpdateSentinel_.modifyProperties(changedProperties, null);
// save global prefs
CompileNotebookPrefs prefs = CompileNotebookPrefs.create(
input.getNotebookAuthor(),
input.getNotebookType());
if (!CompileNotebookPrefs.areEqual(
prefs,
prefs_.compileNotebookOptions().getValue()))