If we were willing to call `hidePreview()` in `onActiveEditorChange()` we could do away with this listener, since "activeEditorChange" will always fire whenever "currentDocumentChange" does.