@fiduswriter/editor 0.1.20 → 0.1.21

package/src/menus/headerbar/{model.js → model.ts}

@@ -5,6 +5,7 @@ import {
     postJson,
     shortFileTitle
 } from "fwtoolkit"
+import type {BibDB, ExportDoc, ImageDB} from "@fiduswriter/document"
 import {CopyrightDialog} from "../../copyright_dialog/index.js"
 import {DocumentAccessRightsDialog} from "../../documents/access_rights/index.js"
 import {SaveCopy, SaveRevision} from "../../exporter/native/index.js"
@@ -18,30 +19,94 @@ import {
     SearchReplaceDialog,
     WordCountDialog
 } from "../../tools/index.js"
+import type {Editor} from "../../types.js"
 
-const exportProgress = doc => {
+interface AccessRightLike {
+    holder?: {
+        type?: string
+        id?: number
+        name?: string
+    }
+    rights?: string
+}
+
+interface SnapshotManagerLike {
+    reEncryptWithNewKey(
+        newKey: CryptoKey,
+        newSaltBase64: string,
+        newIterations: number
+    ): Promise<void>
+}
+
+interface DocumentStyle {
+    slug: string
+    contents: string
+    documentstylefile_set: Array<[string, string]>
+}
+
+interface DocumentTemplateLike {
+    documentStyles: DocumentStyle[]
+}
+
+interface TrackLike {
+    acceptAll(): void
+    rejectAll(): void
+}
+
+function getDB(editor: Editor): {
+    bibDB: BibDB
+    imageDB: ImageDB
+} {
+    return editor.mod.db as {bibDB: BibDB; imageDB: ImageDB}
+}
+
+function getDocumentTemplate(editor: Editor): DocumentTemplateLike {
+    return editor.mod.documentTemplate as DocumentTemplateLike
+}
+
+function getTrack(editor: Editor): TrackLike {
+    return editor.mod.track as TrackLike
+}
+
+function getExportDoc(editor: Editor, options?: {changes?: string}): ExportDoc {
+    return editor.getDoc(options) as unknown as ExportDoc
+}
+
+const exportProgress = (doc: {title: string; path?: string}) => {
     const title = shortFileTitle(doc.title, doc.path || "")
     const task = addProgress("info", `${title}: ${gettext("Exporting...")}`, {
         autoClose: 6000
     })
-    return (message, percentage) => task.update(percentage, message)
+    return (message: string, percentage?: number | null) =>
+        task.update(percentage ?? null, message)
 }
 
-const languageItem = (language, name, order) => ({
+const languageItem = (
+    language: string,
+    name: string,
+    order: number
+): {
+    title: string
+    type: string
+    order: number
+    action: (editor: Editor) => void
+    selected: (editor: Editor) => boolean
+    available: (editor: Editor) => boolean
+} => ({
     title: name,
     type: "setting",
     order,
-    action: editor => {
+    action: (editor: Editor) => {
         editor.view.dispatch(
             editor.view.state.tr
                 .setDocAttribute("language", language)
                 .setMeta("settings", true)
         )
     },
-    selected: editor => {
+    selected: (editor: Editor) => {
         return editor.view.state.doc.attrs.language === language
     },
-    available: editor => {
+    available: (editor: Editor) => {
         return editor.view.state.doc.attrs.languages.includes(language)
     }
 })
@@ -58,7 +123,7 @@ export const headerbarModel = () => ({
             order: 0,
             content: [
                 {
-                    title: editor =>
+                    title: (editor: Editor) =>
                         editor.user.is_authenticated &&
                         editor.docInfo.token &&
                         !editor.docInfo.is_owner
@@ -66,14 +131,14 @@ export const headerbarModel = () => ({
                             : gettext("Share"),
                     type: "action",
                     //icon: 'share',
-                    tooltip: editor =>
+                    tooltip: (editor: Editor) =>
                         editor.user.is_authenticated &&
                         editor.docInfo.token &&
                         !editor.docInfo.is_owner
                             ? gettext("Request to be added as a collaborator.")
                             : gettext("Share the document with other users."),
                     order: 0,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         if (
                             editor.user.is_authenticated &&
                             editor.docInfo.token &&
@@ -84,8 +149,12 @@ export const headerbarModel = () => ({
                                 document_id: editor.docInfo.id,
                                 rights: "write"
                             })
-                                .then(({json}) => {
-                                    if (json.success) {
+                                .then(({json}: {json: unknown}) => {
+                                    const data = json as {
+                                        success?: boolean
+                                        error?: string
+                                    }
+                                    if (data.success) {
                                         addAlert(
                                             "success",
                                             gettext(
@@ -95,7 +164,7 @@ export const headerbarModel = () => ({
                                     } else {
                                         addAlert(
                                             "error",
-                                            json.error ||
+                                            data.error ||
                                                 gettext(
                                                     "Could not send access request."
                                                 )
@@ -112,7 +181,9 @@ export const headerbarModel = () => ({
                                 })
                             return
                         }
-                        const onShareSuccess = async newAccessRights => {
+                        const onShareSuccess = async (
+                            newAccessRights: AccessRightLike[]
+                        ) => {
                             // Share the document password with newly-added user recipients.
                             if (
                                 editor.e2ee?.password &&
@@ -123,20 +194,20 @@ export const headerbarModel = () => ({
                                         ar.holder?.type === "user" &&
                                         ar.rights !== "delete"
                                 )
-                                const noPassphraseUsers = []
+                                const noPassphraseUsers: string[] = []
                                 for (const ar of userRecipients) {
                                     try {
                                         const hasKeys =
                                             await PassphraseManager.userHasEncryptionKeys(
-                                                ar.holder.id
+                                                ar.holder?.id as number
                                             )
                                         if (hasKeys) {
                                             // Recipient has passphrase keys —
                                             // encrypt document password with their public key.
                                             await PassphraseManager.saveDocumentPassword(
-                                                editor.docInfo.id,
+                                                editor.docInfo.id as number,
                                                 editor.e2ee.password,
-                                                ar.holder.id,
+                                                ar.holder?.id as number,
                                                 "user",
                                                 false
                                             )
@@ -153,7 +224,7 @@ export const headerbarModel = () => ({
                                 }
 
                                 if (noPassphraseUsers.length > 0) {
-                                    const dialog = new Dialog({
+                                    const passwordDialog: Dialog = new Dialog({
                                         title: gettext(
                                             "Share Document Password"
                                         ),
@@ -164,35 +235,36 @@ export const headerbarModel = () => ({
                                         )}</p><ul>${noPassphraseUsers
                                             .map(
                                                 name =>
-                                                    `<li><strong>${name}</strong>: <code>${editor.e2ee.password}</code></li>`
+                                                    `<li><strong>${name}</strong>: <code>${editor.e2ee?.password}</code></li>`
                                             )
                                             .join("")}</ul>`,
                                         buttons: [
                                             {
                                                 text: gettext("Close"),
                                                 classes: "fw-dark",
-                                                click: () => dialog.close()
+                                                click: () =>
+                                                    passwordDialog.close()
                                             }
                                         ]
                                     })
-                                    dialog.open()
+                                    passwordDialog.open()
                                 }
                             }
                         }
-                        const dialog = new DocumentAccessRightsDialog(
-                            [editor.docInfo.id],
-                            editor.docInfo.owner.contacts,
+                        const shareDialog = new DocumentAccessRightsDialog(
+                            [editor.docInfo.id as number],
+                            editor.docInfo.owner?.contacts || [],
                             contactData => {
-                                editor.docInfo.owner.contacts.push(contactData)
+                                editor.docInfo.owner?.contacts.push(contactData)
                             },
-                            editor.e2ee?.encrypted,
+                            editor.e2ee?.encrypted || false,
                             editor.e2ee?.password || "",
                             onShareSuccess,
                             editor.app.settings
                         )
-                        dialog.init()
+                        shareDialog.init()
                     },
-                    disabled: editor => {
+                    disabled: (editor: Editor) => {
                         return (
                             editor.app.isOffline() ||
                             !editor.user.is_authenticated
@@ -200,20 +272,20 @@ export const headerbarModel = () => ({
                     }
                 },
                 {
-                    title: editor =>
+                    title: (editor: Editor) =>
                         editor.user.is_authenticated
                             ? gettext("Close")
                             : gettext("Sign up / Log in"),
                     type: "action",
                     //icon: 'times-circle',
-                    tooltip: editor =>
+                    tooltip: (editor: Editor) =>
                         editor.user.is_authenticated
                             ? gettext(
                                   "Close the document and return to the document overview menu."
                               )
                             : gettext("Sign up for an account or log in."),
                     order: 1,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         if (editor.user.is_authenticated) {
                             const folderPath = editor.docInfo.path.slice(
                                 0,
@@ -239,7 +311,7 @@ export const headerbarModel = () => ({
                         }
                         return
                     },
-                    disabled: editor => editor.app.isOffline()
+                    disabled: (editor: Editor) => editor.app.isOffline()
                 },
                 {
                     title: gettext("Save revision"),
@@ -248,20 +320,21 @@ export const headerbarModel = () => ({
                     tooltip: gettext("Save a revision of the document."),
                     order: 2,
                     keys: "Ctrl-s",
-                    action: editor => {
+                    action: (editor: Editor) => {
                         const dialog = new RevisionDialog(editor.docInfo.dir)
                         dialog.init().then(note => {
+                            const db = getDB(editor)
                             const saver = new SaveRevision(
-                                editor.getDoc(),
-                                editor.mod.db.imageDB,
-                                editor.mod.db.bibDB,
+                                getExportDoc(editor),
+                                db.imageDB,
+                                db.bibDB,
                                 note,
                                 editor.app
                             )
                             return saver.init()
                         })
                     },
-                    disabled: editor =>
+                    disabled: (editor: Editor) =>
                         editor.docInfo.access_rights !== "write" ||
                         editor.app.isOffline() ||
                         !!editor.docInfo.token
@@ -272,11 +345,12 @@ export const headerbarModel = () => ({
                     //icon: 'copy',
                     tooltip: gettext("Create a copy of the document."),
                     order: 3,
-                    action: editor => {
+                    action: (editor: Editor) => {
+                        const db = getDB(editor)
                         const copier = new SaveCopy(
-                            editor.getDoc(),
-                            editor.mod.db.bibDB,
-                            editor.mod.db.imageDB,
+                            getExportDoc(editor),
+                            db.bibDB,
+                            db.imageDB,
                             editor.user
                         )
                         copier
@@ -286,7 +360,7 @@ export const headerbarModel = () => ({
                             )
                             .catch(() => false)
                     },
-                    disabled: editor =>
+                    disabled: (editor: Editor) =>
                         editor.app.isOffline() ||
                         (!!editor.docInfo.token &&
                             !editor.user.is_authenticated)
@@ -299,16 +373,17 @@ export const headerbarModel = () => ({
                         "Export the document as a FIDUS file including its template."
                     ),
                     order: 4,
-                    action: editor => {
+                    action: (editor: Editor) => {
+                        const db = getDB(editor)
                         new ExportFidusFile(
-                            editor.getDoc(),
-                            editor.mod.db.bibDB,
-                            editor.mod.db.imageDB,
+                            getExportDoc(editor),
+                            db.bibDB,
+                            db.imageDB,
                             true,
                             editor.docInfo.token
                         )
                     },
-                    disabled: editor => editor.app.isOffline()
+                    disabled: (editor: Editor) => editor.app.isOffline()
                 },
                 {
                     title: gettext("Print/PDF"),
@@ -319,31 +394,22 @@ export const headerbarModel = () => ({
                     ),
                     order: 5,
                     keys: "Ctrl-p",
-                    action: editor => {
+                    action: (editor: Editor) => {
                         import(
                             "@fiduswriter/document/exporter/print/index"
                         ).then(({PrintExporter}) => {
-                            const doc = editor.getDoc({
+                            const db = getDB(editor)
+                            const doc = getExportDoc(editor, {
                                 changes: "acceptAllNoInsertions"
                             })
-                            const title = shortFileTitle(
-                                doc.title,
-                                doc.path || ""
-                            )
-                            const task = addProgress(
-                                "info",
-                                `${title}: ${gettext("Preparing print view...")}`,
-                                {autoClose: 6000}
-                            )
                             const exporter = new PrintExporter(
                                 doc,
-                                editor.mod.db.bibDB,
-                                editor.mod.db.imageDB,
+                                db.bibDB,
+                                db.imageDB,
                                 editor.app.csl,
                                 editor.docInfo.updated,
-                                editor.mod.documentTemplate.documentStyles,
-                                (message, percentage) =>
-                                    task.update(percentage, message)
+                                getDocumentTemplate(editor).documentStyles,
+                                exportProgress(doc)
                             )
                             exporter.init()
                         })
@@ -356,9 +422,9 @@ export const headerbarModel = () => ({
                         "Change the password of this encrypted document."
                     ),
                     order: 6,
-                    available: editor => editor.docInfo.e2ee,
-                    action: async editor => {
-                        if (!editor.e2ee?.key) {
+                    available: (editor: Editor) => editor.docInfo.e2ee,
+                    action: async (editor: Editor) => {
+                        if (!editor.e2ee || !editor.e2ee.key) {
                             addAlert(
                                 "error",
                                 gettext(
@@ -367,8 +433,9 @@ export const headerbarModel = () => ({
                             )
                             return
                         }
+                        const e2ee = editor.e2ee
                         const isPassphraseUser =
-                            editor.e2ee?.usesPassphrase &&
+                            e2ee.usesPassphrase &&
                             PassphraseManager.hasKeysInSession()
                         const suggestedNewPassword = isPassphraseUser
                             ? await PassphraseManager.generateDocumentPassword()
@@ -380,9 +447,9 @@ export const headerbarModel = () => ({
                             // is auto-generated and shown in plaintext for sharing.
                             changeOptions = {
                                 currentPassword:
-                                    editor.e2ee.password ||
+                                    e2ee.password ||
                                     E2EEKeyManager.getPasswordFromSession(
-                                        editor.docInfo.id
+                                        editor.docInfo.id as number
                                     ) ||
                                     "",
                                 suggestedNewPassword,
@@ -398,7 +465,7 @@ export const headerbarModel = () => ({
                             // verification.
                             const sessionPassword =
                                 E2EEKeyManager.getPasswordFromSession(
-                                    editor.docInfo.id
+                                    editor.docInfo.id as number
                                 )
                             changeOptions = {
                                 currentPassword: sessionPassword || "",
@@ -407,7 +474,13 @@ export const headerbarModel = () => ({
                         }
 
                         changePasswordDialog(
-                            async ({currentPassword, newPassword}) => {
+                            async ({
+                                currentPassword,
+                                newPassword
+                            }: {
+                                currentPassword: string
+                                newPassword: string
+                            }) => {
                                 try {
                                     // Verify the current password.
                                     // If the entered password matches what is already cached
@@ -415,16 +488,16 @@ export const headerbarModel = () => ({
                                     // open with that key — skip the expensive PBKDF2
                                     // re-derivation used only to prove correctness.
                                     const cachedPassword =
-                                        editor.e2ee.password ||
+                                        e2ee.password ||
                                         E2EEKeyManager.getPasswordFromSession(
-                                            editor.docInfo.id
+                                            editor.docInfo.id as number
                                         )
                                     if (
                                         !cachedPassword ||
                                         currentPassword !== cachedPassword
                                     ) {
                                         const currentSaltBytes = new Uint8Array(
-                                            atob(editor.e2ee.encryptionSalt)
+                                            atob(e2ee.encryptionSalt as string)
                                                 .split("")
                                                 .map(c => c.charCodeAt(0))
                                         )
@@ -432,7 +505,7 @@ export const headerbarModel = () => ({
                                             await E2EEKeyManager.resolvePasswordToKey(
                                                 currentPassword,
                                                 currentSaltBytes,
-                                                editor.e2ee.encryptionIterations
+                                                e2ee.encryptionIterations as number
                                             )
                                         const {E2EEEncryptor} = await import(
                                             "fwtoolkit/e2ee/encryptor"
@@ -445,7 +518,7 @@ export const headerbarModel = () => ({
                                             )
                                         await E2EEEncryptor.decrypt(
                                             encryptedTest,
-                                            editor.e2ee.key
+                                            e2ee.key as CryptoKey
                                         )
                                     }
 
@@ -464,26 +537,27 @@ export const headerbarModel = () => ({
                                         )
 
                                     // Re-encrypt the document with the new key
-                                    await editor.e2ee.snapshotManager.reEncryptWithNewKey(
+                                    await (
+                                        e2ee.snapshotManager as SnapshotManagerLike
+                                    ).reEncryptWithNewKey(
                                         newKey,
                                         newSaltBase64,
                                         newIterations
                                     )
 
                                     // Update local E2EE state
-                                    editor.e2ee.encryptionSalt = newSaltBase64
-                                    editor.e2ee.encryptionIterations =
-                                        newIterations
-                                    editor.e2ee.key = newKey
-                                    editor.e2ee.password = newPassword
+                                    e2ee.encryptionSalt = newSaltBase64
+                                    e2ee.encryptionIterations = newIterations
+                                    e2ee.key = newKey
+                                    e2ee.password = newPassword
 
                                     // Cache password and key in sessionStorage
                                     E2EEKeyManager.storePasswordInSession(
-                                        editor.docInfo.id,
+                                        editor.docInfo.id as number,
                                         newPassword
                                     )
                                     await E2EEKeyManager.storeKeyInSession(
-                                        editor.docInfo.id,
+                                        editor.docInfo.id as number,
                                         newKey
                                     )
 
@@ -491,9 +565,9 @@ export const headerbarModel = () => ({
                                     if (isPassphraseUser) {
                                         try {
                                             await PassphraseManager.saveDocumentPassword(
-                                                editor.docInfo.id,
+                                                editor.docInfo.id as number,
                                                 newPassword,
-                                                null,
+                                                undefined,
                                                 "user",
                                                 true
                                             )
@@ -532,7 +606,7 @@ export const headerbarModel = () => ({
                             changeOptions
                         )
                     },
-                    disabled: editor =>
+                    disabled: (editor: Editor) =>
                         !editor.e2ee?.encrypted ||
                         editor.docInfo.access_rights !== "write"
                 }
@@ -551,20 +625,21 @@ export const headerbarModel = () => ({
                     type: "action",
                     tooltip: gettext("Export the document to an HTML file."),
                     order: 0,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         import(
                             "@fiduswriter/document/exporter/html/index"
                         ).then(({HTMLExporter}) => {
-                            const doc = editor.getDoc({
+                            const db = getDB(editor)
+                            const doc = getExportDoc(editor, {
                                 changes: "acceptAllNoInsertions"
                             })
                             const exporter = new HTMLExporter(
                                 doc,
-                                editor.mod.db.bibDB,
-                                editor.mod.db.imageDB,
+                                db.bibDB,
+                                db.imageDB,
                                 editor.app.csl,
                                 editor.docInfo.updated,
-                                editor.mod.documentTemplate.documentStyles
+                                getDocumentTemplate(editor).documentStyles
                             )
                             exporter.progressCallback = exportProgress(doc)
                             exporter.init()
@@ -578,50 +653,52 @@ export const headerbarModel = () => ({
                         "Export the document to an Epub electronic reader file."
                     ),
                     order: 1,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         import(
                             "@fiduswriter/document/exporter/epub/index"
                         ).then(({EpubExporter}) => {
-                            const doc = editor.getDoc({
+                            const db = getDB(editor)
+                            const doc = getExportDoc(editor, {
                                 changes: "acceptAllNoInsertions"
                             })
                             const exporter = new EpubExporter(
                                 doc,
-                                editor.mod.db.bibDB,
-                                editor.mod.db.imageDB,
+                                db.bibDB,
+                                db.imageDB,
                                 editor.app.csl,
                                 editor.docInfo.updated,
-                                editor.mod.documentTemplate.documentStyles
+                                getDocumentTemplate(editor).documentStyles
                             )
                             exporter.progressCallback = exportProgress(doc)
                             exporter.init()
                         })
                     },
-                    disabled: editor => editor.app.isOffline()
+                    disabled: (editor: Editor) => editor.app.isOffline()
                 },
                 {
                     title: gettext("LaTeX"),
                     type: "action",
                     tooltip: gettext("Export the document to an LaTeX file."),
                     order: 2,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         import(
                             "@fiduswriter/document/exporter/latex/index"
                         ).then(({LatexExporter}) => {
-                            const doc = editor.getDoc({
+                            const db = getDB(editor)
+                            const doc = getExportDoc(editor, {
                                 changes: "acceptAllNoInsertions"
                             })
                             const exporter = new LatexExporter(
                                 doc,
-                                editor.mod.db.bibDB,
-                                editor.mod.db.imageDB,
+                                db.bibDB,
+                                db.imageDB,
                                 editor.docInfo.updated
                             )
                             exporter.progressCallback = exportProgress(doc)
                             exporter.init()
                         })
                     },
-                    disabled: editor => editor.app.isOffline()
+                    disabled: (editor: Editor) => editor.app.isOffline()
                 },
                 {
                     title: gettext("JATS"),
@@ -630,17 +707,18 @@ export const headerbarModel = () => ({
                         "Export the document to a Journal Archiving and Interchange Tag Library NISO JATS Version 1.2 file."
                     ),
                     order: 2,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         import(
                             "@fiduswriter/document/exporter/jats/index"
                         ).then(({JATSExporter}) => {
-                            const doc = editor.getDoc({
+                            const db = getDB(editor)
+                            const doc = getExportDoc(editor, {
                                 changes: "acceptAllNoInsertions"
                             })
                             const exporter = new JATSExporter(
                                 doc,
-                                editor.mod.db.bibDB,
-                                editor.mod.db.imageDB,
+                                db.bibDB,
+                                db.imageDB,
                                 editor.app.csl,
                                 editor.docInfo.updated,
                                 "article"
@@ -649,7 +727,7 @@ export const headerbarModel = () => ({
                             exporter.init()
                         })
                     },
-                    disabled: editor => editor.app.isOffline()
+                    disabled: (editor: Editor) => editor.app.isOffline()
                 },
                 {
                     title: gettext("BITS"),
@@ -658,17 +736,18 @@ export const headerbarModel = () => ({
                         "Export the document to a Book Interchange Tag Set BITS Version 2.1 file."
                     ),
                     order: 2,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         import(
                             "@fiduswriter/document/exporter/jats/index"
                         ).then(({JATSExporter}) => {
-                            const doc = editor.getDoc({
+                            const db = getDB(editor)
+                            const doc = getExportDoc(editor, {
                                 changes: "acceptAllNoInsertions"
                             })
                             const exporter = new JATSExporter(
                                 doc,
-                                editor.mod.db.bibDB,
-                                editor.mod.db.imageDB,
+                                db.bibDB,
+                                db.imageDB,
                                 editor.app.csl,
                                 editor.docInfo.updated,
                                 "book-part-wrapper"
@@ -677,7 +756,7 @@ export const headerbarModel = () => ({
                             exporter.init()
                         })
                     },
-                    disabled: editor => editor.app.isOffline()
+                    disabled: (editor: Editor) => editor.app.isOffline()
                 },
                 {
                     title: gettext("Pandoc JSON"),
@@ -686,17 +765,18 @@ export const headerbarModel = () => ({
                         "Export the document to a Pandoc JSON file."
                     ),
                     order: 3,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         import(
                             "@fiduswriter/document/exporter/pandoc/index"
                         ).then(({PandocExporter}) => {
-                            const doc = editor.getDoc({
+                            const db = getDB(editor)
+                            const doc = getExportDoc(editor, {
                                 changes: "acceptAllNoInsertions"
                             })
                             const exporter = new PandocExporter(
                                 doc,
-                                editor.mod.db.bibDB,
-                                editor.mod.db.imageDB,
+                                db.bibDB,
+                                db.imageDB,
                                 editor.app.csl,
                                 editor.docInfo.updated
                             )
@@ -704,7 +784,7 @@ export const headerbarModel = () => ({
                             exporter.init()
                         })
                     },
-                    disabled: editor => editor.app.isOffline()
+                    disabled: (editor: Editor) => editor.app.isOffline()
                 },
                 {
                     title: gettext("Slim FIDUS"),
@@ -713,11 +793,12 @@ export const headerbarModel = () => ({
                         "Export the document to a FIDUS file without its template."
                     ),
                     order: 4,
-                    action: editor => {
+                    action: (editor: Editor) => {
+                        const db = getDB(editor)
                         new ExportFidusFile(
-                            editor.getDoc(),
-                            editor.mod.db.bibDB,
-                            editor.mod.db.imageDB,
+                            getExportDoc(editor),
+                            db.bibDB,
+                            db.imageDB,
                             false
                         )
                     }
@@ -738,7 +819,7 @@ export const headerbarModel = () => ({
                     type: "menu",
                     tooltip: gettext("Choose your preferred citation style."),
                     order: 1,
-                    disabled: editor => {
+                    disabled: (editor: Editor) => {
                         return editor.docInfo.access_rights !== "write"
                     },
                     content: []
@@ -749,7 +830,7 @@ export const headerbarModel = () => ({
                     type: "menu",
                     tooltip: gettext("Choose your preferred document style."),
                     order: 2,
-                    disabled: editor => {
+                    disabled: (editor: Editor) => {
                         return (
                             editor.docInfo.access_rights !== "write" ||
                             editor.app.isOffline()
@@ -763,7 +844,7 @@ export const headerbarModel = () => ({
                     type: "menu",
                     tooltip: gettext("Choose the language of the document."),
                     order: 3,
-                    disabled: editor => {
+                    disabled: (editor: Editor) => {
                         return editor.docInfo.access_rights !== "write"
                     },
                     content: [
@@ -798,12 +879,12 @@ export const headerbarModel = () => ({
                         {
                             type: "separator",
                             order: 12,
-                            available: editor => {
+                            available: (editor: Editor) => {
                                 // There has to be at least one language of the default languages
                                 // among the default ones and one that is not among the default ones.
                                 return (
                                     !!editor.view.state.doc.attrs.languages.find(
-                                        lang =>
+                                        (lang: string) =>
                                             [
                                                 "en-US",
                                                 "en-GB",
@@ -820,7 +901,7 @@ export const headerbarModel = () => ({
                                             ].includes(lang)
                                     ) &&
                                     !!editor.view.state.doc.attrs.languages.find(
-                                        lang =>
+                                        (lang: string) =>
                                             ![
                                                 "en-US",
                                                 "en-GB",
@@ -843,7 +924,7 @@ export const headerbarModel = () => ({
                             title: gettext("Other"),
                             type: "setting",
                             order: 13,
-                            action: editor => {
+                            action: (editor: Editor) => {
                                 const language =
                                         editor.view.state.doc.attrs.language,
                                     dialog = new LanguageDialog(
@@ -852,7 +933,7 @@ export const headerbarModel = () => ({
                                     )
                                 dialog.init()
                             },
-                            selected: editor => {
+                            selected: (editor: Editor) => {
                                 return ![
                                     "en-US",
                                     "en-GB",
@@ -868,9 +949,9 @@ export const headerbarModel = () => ({
                                     "ru"
                                 ].includes(editor.view.state.doc.attrs.language)
                             },
-                            available: editor =>
+                            available: (editor: Editor) =>
                                 !!editor.view.state.doc.attrs.languages.find(
-                                    lang =>
+                                    (lang: string) =>
                                         ![
                                             "en-US",
                                             "en-GB",
@@ -897,7 +978,7 @@ export const headerbarModel = () => ({
                         "Choose a papersize for print and PDF generation."
                     ),
                     order: 4,
-                    disabled: editor => {
+                    disabled: (editor: Editor) => {
                         return editor.docInfo.access_rights !== "write"
                     },
                     content: [
@@ -908,20 +989,20 @@ export const headerbarModel = () => ({
                                 "A4 (DIN A4/ISO 216) which is used in most of the world."
                             ),
                             order: 0,
-                            action: editor => {
+                            action: (editor: Editor) => {
                                 editor.view.dispatch(
                                     editor.view.state.tr
                                         .setDocAttribute("papersize", "A4")
                                         .setMeta("settings", true)
                                 )
                             },
-                            selected: editor => {
+                            selected: (editor: Editor) => {
                                 return (
                                     editor.view.state.doc.attrs.papersize ===
                                     "A4"
                                 )
                             },
-                            available: editor => {
+                            available: (editor: Editor) => {
                                 return editor.view.state.doc.attrs.papersizes.includes(
                                     "A4"
                                 )
@@ -934,7 +1015,7 @@ export const headerbarModel = () => ({
                                 "The format used by the USA and some other American countries."
                             ),
                             order: 1,
-                            action: editor => {
+                            action: (editor: Editor) => {
                                 editor.view.dispatch(
                                     editor.view.state.tr
                                         .setDocAttribute(
@@ -944,13 +1025,13 @@ export const headerbarModel = () => ({
                                         .setMeta("settings", true)
                                 )
                             },
-                            selected: editor => {
+                            selected: (editor: Editor) => {
                                 return (
                                     editor.view.state.doc.attrs.papersize ===
                                     "US Letter"
                                 )
                             },
-                            available: editor => {
+                            available: (editor: Editor) => {
                                 return editor.view.state.doc.attrs.papersizes.includes(
                                     "US Letter"
                                 )
@@ -962,7 +1043,7 @@ export const headerbarModel = () => ({
                     title: gettext("Copyright Information"),
                     type: "setting",
                     order: 5,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         const dialog = new CopyrightDialog(
                             editor.view.state.doc.attrs.copyright
                         )
@@ -974,10 +1055,19 @@ export const headerbarModel = () => ({
                                         .setMeta("settings", true)
                                 )
                             }
-                            editor.currentView.focus()
                         })
                     },
-                    disabled: editor => editor.docInfo.access_rights !== "write"
+                    selected: (editor: Editor) => {
+                        return editor.view.state.doc.attrs.copyright
+                            ? true
+                            : false
+                    },
+                    available: (editor: Editor) => {
+                        return editor.view.state.doc.attrs.copyrights &&
+                            editor.view.state.doc.attrs.copyrights.length
+                            ? true
+                            : false
+                    }
                 }
             ]
         },
@@ -994,7 +1084,7 @@ export const headerbarModel = () => ({
                     type: "action",
                     tooltip: gettext("See document statistics."),
                     order: 0,
-                    action: editor => {
+                    action: (editor: Editor) => {
                         const dialog = new WordCountDialog(editor)
                         dialog.init()
                     }
@@ -1005,7 +1095,7 @@ export const headerbarModel = () => ({
                     tooltip: gettext("Show a search and replace dialog."),
                     order: 1,
                     keys: "Ctrl-h",
-                    action: editor => {
+                    action: (editor: Editor) => {
                         const dialog = new SearchReplaceDialog(editor)
                         dialog.init()
                     }
@@ -1018,7 +1108,7 @@ export const headerbarModel = () => ({
                     ),
                     order: 2,
                     keys: "Shift-Ctrl-/",
-                    action: editor => {
+                    action: (editor: Editor) => {
                         const dialog = new KeyBindingsDialog(editor)
                         dialog.init()
                     }
@@ -1031,17 +1121,17 @@ export const headerbarModel = () => ({
             tooltip: gettext("Tracking changes to the document"),
             order: 4,
             keys: "Alt-c",
-            disabled: editor => editor.docInfo.access_rights !== "write",
+            disabled: (editor: Editor) => editor.docInfo.access_rights !== "write",
             content: [
                 {
                     title: gettext("Record"),
                     type: "setting",
                     tooltip: gettext("Record document changes"),
                     order: 0,
-                    disabled: editor => {
+                    disabled: (editor: Editor) => {
                         return editor.docInfo.access_rights !== "write"
                     },
-                    action: editor => {
+                    action: (editor: Editor) => {
                         const tracked = !editor.view.state.doc.attrs.tracked
                         editor.view.dispatch(
                             editor.view.state.tr
@@ -1049,7 +1139,7 @@ export const headerbarModel = () => ({
                                 .setMeta("settings", true)
                         )
                     },
-                    selected: editor => {
+                    selected: (editor: Editor) => {
                         return editor.view.state.doc.attrs.tracked === true
                     }
                 },
@@ -1058,8 +1148,8 @@ export const headerbarModel = () => ({
                     type: "action",
                     tooltip: gettext("Accept all tracked changes."),
                     order: 1,
-                    action: editor => {
-                        editor.mod.track.acceptAll()
+                    action: (editor: Editor) => {
+                        getTrack(editor).acceptAll()
                     }
                 },
                 {
@@ -1067,8 +1157,8 @@ export const headerbarModel = () => ({
                     type: "action",
                     tooltip: gettext("Reject all tracked changes."),
                     order: 2,
-                    action: editor => {
-                        editor.mod.track.rejectAll()
+                    action: (editor: Editor) => {
+                        getTrack(editor).rejectAll()
                     }
                 }
             ]