Method destroyDocument

src/app/document_access.h:184–193

    }

    void destroyDocument() {
      ASSERT(m_document != NULL);

      m_document->close();
      Document* doc = m_document;
      unlock();

      delete doc;
      m_document = nullptr;
    }

  };