@fiduswriter/editor 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (525) hide show
  1. package/LICENSE +661 -0
  2. package/README.md +22 -0
  3. package/dist/bibliography/tools.js +53 -0
  4. package/dist/bibliography/tools.js.map +1 -0
  5. package/dist/citations/index.js +339 -0
  6. package/dist/citations/index.js.map +1 -0
  7. package/dist/citations/render.js +47 -0
  8. package/dist/citations/render.js.map +1 -0
  9. package/dist/clipboard/copy/index.js +2 -0
  10. package/dist/clipboard/copy/index.js.map +1 -0
  11. package/dist/clipboard/copy/schema.js +54 -0
  12. package/dist/clipboard/copy/schema.js.map +1 -0
  13. package/dist/clipboard/copy/serializers.js +132 -0
  14. package/dist/clipboard/copy/serializers.js.map +1 -0
  15. package/dist/clipboard/paste/fidus_writer.js +45 -0
  16. package/dist/clipboard/paste/fidus_writer.js.map +1 -0
  17. package/dist/clipboard/paste/general.js +76 -0
  18. package/dist/clipboard/paste/general.js.map +1 -0
  19. package/dist/clipboard/paste/google_docs.js +24 -0
  20. package/dist/clipboard/paste/google_docs.js.map +1 -0
  21. package/dist/clipboard/paste/html.js +68 -0
  22. package/dist/clipboard/paste/html.js.map +1 -0
  23. package/dist/clipboard/paste/index.js +3 -0
  24. package/dist/clipboard/paste/index.js.map +1 -0
  25. package/dist/clipboard/paste/libreoffice_writer.js +27 -0
  26. package/dist/clipboard/paste/libreoffice_writer.js.map +1 -0
  27. package/dist/clipboard/paste/microsoft_word.js +79 -0
  28. package/dist/clipboard/paste/microsoft_word.js.map +1 -0
  29. package/dist/clipboard/paste/text.js +41 -0
  30. package/dist/clipboard/paste/text.js.map +1 -0
  31. package/dist/collab/chat.js +154 -0
  32. package/dist/collab/chat.js.map +1 -0
  33. package/dist/collab/colors.js +62 -0
  34. package/dist/collab/colors.js.map +1 -0
  35. package/dist/collab/doc.js +1090 -0
  36. package/dist/collab/doc.js.map +1 -0
  37. package/dist/collab/index.js +75 -0
  38. package/dist/collab/index.js.map +1 -0
  39. package/dist/collab/merge/changeset.js +90 -0
  40. package/dist/collab/merge/changeset.js.map +1 -0
  41. package/dist/collab/merge/editor.js +708 -0
  42. package/dist/collab/merge/editor.js.map +1 -0
  43. package/dist/collab/merge/footnotes.js +149 -0
  44. package/dist/collab/merge/footnotes.js.map +1 -0
  45. package/dist/collab/merge/index.js +270 -0
  46. package/dist/collab/merge/index.js.map +1 -0
  47. package/dist/collab/merge/recreate_transform.js +259 -0
  48. package/dist/collab/merge/recreate_transform.js.map +1 -0
  49. package/dist/collab/merge/schema.js +117 -0
  50. package/dist/collab/merge/schema.js.map +1 -0
  51. package/dist/collab/merge/state_plugins/action.js +138 -0
  52. package/dist/collab/merge/state_plugins/action.js.map +1 -0
  53. package/dist/collab/merge/state_plugins/clipboard.js +32 -0
  54. package/dist/collab/merge/state_plugins/clipboard.js.map +1 -0
  55. package/dist/collab/merge/state_plugins/diff.js +541 -0
  56. package/dist/collab/merge/state_plugins/diff.js.map +1 -0
  57. package/dist/collab/merge/state_plugins/index.js +3 -0
  58. package/dist/collab/merge/state_plugins/index.js.map +1 -0
  59. package/dist/collab/merge/tools.js +175 -0
  60. package/dist/collab/merge/tools.js.map +1 -0
  61. package/dist/collab/templates.js +10 -0
  62. package/dist/collab/templates.js.map +1 -0
  63. package/dist/comments/comment.js +17 -0
  64. package/dist/comments/comment.js.map +1 -0
  65. package/dist/comments/editors/answer.js +43 -0
  66. package/dist/comments/editors/answer.js.map +1 -0
  67. package/dist/comments/editors/comment.js +278 -0
  68. package/dist/comments/editors/comment.js.map +1 -0
  69. package/dist/comments/editors/index.js +4 -0
  70. package/dist/comments/editors/index.js.map +1 -0
  71. package/dist/comments/editors/notify.js +13 -0
  72. package/dist/comments/editors/notify.js.map +1 -0
  73. package/dist/comments/editors/schema.js +60 -0
  74. package/dist/comments/editors/schema.js.map +1 -0
  75. package/dist/comments/index.js +11 -0
  76. package/dist/comments/index.js.map +1 -0
  77. package/dist/comments/interactions.js +379 -0
  78. package/dist/comments/interactions.js.map +1 -0
  79. package/dist/comments/store.js +438 -0
  80. package/dist/comments/store.js.map +1 -0
  81. package/dist/contacts/add_dialog.js +88 -0
  82. package/dist/contacts/add_dialog.js.map +1 -0
  83. package/dist/contacts/templates.js +23 -0
  84. package/dist/contacts/templates.js.map +1 -0
  85. package/dist/copyright_dialog/index.js +148 -0
  86. package/dist/copyright_dialog/index.js.map +1 -0
  87. package/dist/copyright_dialog/templates.js +48 -0
  88. package/dist/copyright_dialog/templates.js.map +1 -0
  89. package/dist/databases/bibliography.js +162 -0
  90. package/dist/databases/bibliography.js.map +1 -0
  91. package/dist/databases/images.js +260 -0
  92. package/dist/databases/images.js.map +1 -0
  93. package/dist/databases/index.js +55 -0
  94. package/dist/databases/index.js.map +1 -0
  95. package/dist/dialogs/citation.js +321 -0
  96. package/dist/dialogs/citation.js.map +1 -0
  97. package/dist/dialogs/code_block.js +192 -0
  98. package/dist/dialogs/code_block.js.map +1 -0
  99. package/dist/dialogs/contributor.js +132 -0
  100. package/dist/dialogs/contributor.js.map +1 -0
  101. package/dist/dialogs/figure.js +378 -0
  102. package/dist/dialogs/figure.js.map +1 -0
  103. package/dist/dialogs/index.js +11 -0
  104. package/dist/dialogs/index.js.map +1 -0
  105. package/dist/dialogs/language.js +47 -0
  106. package/dist/dialogs/language.js.map +1 -0
  107. package/dist/dialogs/link.js +243 -0
  108. package/dist/dialogs/link.js.map +1 -0
  109. package/dist/dialogs/math.js +121 -0
  110. package/dist/dialogs/math.js.map +1 -0
  111. package/dist/dialogs/ordered_list.js +67 -0
  112. package/dist/dialogs/ordered_list.js.map +1 -0
  113. package/dist/dialogs/revision.js +36 -0
  114. package/dist/dialogs/revision.js.map +1 -0
  115. package/dist/dialogs/subsup.js +109 -0
  116. package/dist/dialogs/subsup.js.map +1 -0
  117. package/dist/dialogs/table.js +217 -0
  118. package/dist/dialogs/table.js.map +1 -0
  119. package/dist/dialogs/templates.js +366 -0
  120. package/dist/dialogs/templates.js.map +1 -0
  121. package/dist/document_template/exporter.js +83 -0
  122. package/dist/document_template/exporter.js.map +1 -0
  123. package/dist/document_template/index.js +327 -0
  124. package/dist/document_template/index.js.map +1 -0
  125. package/dist/documents/access_rights/index.js +532 -0
  126. package/dist/documents/access_rights/index.js.map +1 -0
  127. package/dist/documents/access_rights/templates.js +150 -0
  128. package/dist/documents/access_rights/templates.js.map +1 -0
  129. package/dist/e2ee/encryptor.js +201 -0
  130. package/dist/e2ee/encryptor.js.map +1 -0
  131. package/dist/e2ee/key-manager.js +171 -0
  132. package/dist/e2ee/key-manager.js.map +1 -0
  133. package/dist/e2ee/passphrase-crypto.js +365 -0
  134. package/dist/e2ee/passphrase-crypto.js.map +1 -0
  135. package/dist/e2ee/passphrase-dialog.js +548 -0
  136. package/dist/e2ee/passphrase-dialog.js.map +1 -0
  137. package/dist/e2ee/passphrase-manager.js +350 -0
  138. package/dist/e2ee/passphrase-manager.js.map +1 -0
  139. package/dist/e2ee/password-dialog.js +552 -0
  140. package/dist/e2ee/password-dialog.js.map +1 -0
  141. package/dist/e2ee/snapshot-manager.js +238 -0
  142. package/dist/e2ee/snapshot-manager.js.map +1 -0
  143. package/dist/exporter/native/copy.js +29 -0
  144. package/dist/exporter/native/copy.js.map +1 -0
  145. package/dist/exporter/native/file.js +19 -0
  146. package/dist/exporter/native/file.js.map +1 -0
  147. package/dist/exporter/native/index.js +4 -0
  148. package/dist/exporter/native/index.js.map +1 -0
  149. package/dist/exporter/native/revision.js +54 -0
  150. package/dist/exporter/native/revision.js.map +1 -0
  151. package/dist/exporter/native/zip.js +2 -0
  152. package/dist/exporter/native/zip.js.map +1 -0
  153. package/dist/footnotes/editor.js +180 -0
  154. package/dist/footnotes/editor.js.map +1 -0
  155. package/dist/footnotes/index.js +15 -0
  156. package/dist/footnotes/index.js.map +1 -0
  157. package/dist/footnotes/layout.js +125 -0
  158. package/dist/footnotes/layout.js.map +1 -0
  159. package/dist/footnotes/state_plugins/access_rights.js +25 -0
  160. package/dist/footnotes/state_plugins/access_rights.js.map +1 -0
  161. package/dist/footnotes/state_plugins/index.js +2 -0
  162. package/dist/footnotes/state_plugins/index.js.map +1 -0
  163. package/dist/images/edit_dialog/edit_dialog/index.js +186 -0
  164. package/dist/images/edit_dialog/edit_dialog/index.js.map +1 -0
  165. package/dist/images/edit_dialog/edit_dialog/model.js +152 -0
  166. package/dist/images/edit_dialog/edit_dialog/model.js.map +1 -0
  167. package/dist/images/edit_dialog/edit_dialog/templates.js +33 -0
  168. package/dist/images/edit_dialog/edit_dialog/templates.js.map +1 -0
  169. package/dist/images/edit_dialog/model.js +6 -0
  170. package/dist/images/edit_dialog/model.js.map +1 -0
  171. package/dist/images/selection_dialog/index.js +149 -0
  172. package/dist/images/selection_dialog/index.js.map +1 -0
  173. package/dist/index.js +1002 -0
  174. package/dist/index.js.map +1 -0
  175. package/dist/keymap.js +73 -0
  176. package/dist/keymap.js.map +1 -0
  177. package/dist/marginboxes/index.js +674 -0
  178. package/dist/marginboxes/index.js.map +1 -0
  179. package/dist/marginboxes/templates.js +447 -0
  180. package/dist/marginboxes/templates.js.map +1 -0
  181. package/dist/menus/code_block/index.js +2 -0
  182. package/dist/menus/code_block/index.js.map +1 -0
  183. package/dist/menus/code_block/model.js +49 -0
  184. package/dist/menus/code_block/model.js.map +1 -0
  185. package/dist/menus/figure/index.js +3 -0
  186. package/dist/menus/figure/index.js.map +1 -0
  187. package/dist/menus/figure/model.js +80 -0
  188. package/dist/menus/figure/model.js.map +1 -0
  189. package/dist/menus/figure/utils.js +6 -0
  190. package/dist/menus/figure/utils.js.map +1 -0
  191. package/dist/menus/headerbar/index.js +3 -0
  192. package/dist/menus/headerbar/index.js.map +1 -0
  193. package/dist/menus/headerbar/model.js +743 -0
  194. package/dist/menus/headerbar/model.js.map +1 -0
  195. package/dist/menus/headerbar/view.js +579 -0
  196. package/dist/menus/headerbar/view.js.map +1 -0
  197. package/dist/menus/image/index.js +2 -0
  198. package/dist/menus/image/index.js.map +1 -0
  199. package/dist/menus/image/model.js +32 -0
  200. package/dist/menus/image/model.js.map +1 -0
  201. package/dist/menus/index.js +10 -0
  202. package/dist/menus/index.js.map +1 -0
  203. package/dist/menus/navigator/index.js +2 -0
  204. package/dist/menus/navigator/index.js.map +1 -0
  205. package/dist/menus/navigator/model.js +29 -0
  206. package/dist/menus/navigator/model.js.map +1 -0
  207. package/dist/menus/ordered_list/index.js +2 -0
  208. package/dist/menus/ordered_list/index.js.map +1 -0
  209. package/dist/menus/ordered_list/model.js +17 -0
  210. package/dist/menus/ordered_list/model.js.map +1 -0
  211. package/dist/menus/selection/index.js +3 -0
  212. package/dist/menus/selection/index.js.map +1 -0
  213. package/dist/menus/selection/model.js +108 -0
  214. package/dist/menus/selection/model.js.map +1 -0
  215. package/dist/menus/selection/view.js +125 -0
  216. package/dist/menus/selection/view.js.map +1 -0
  217. package/dist/menus/table/index.js +2 -0
  218. package/dist/menus/table/index.js.map +1 -0
  219. package/dist/menus/table/model.js +319 -0
  220. package/dist/menus/table/model.js.map +1 -0
  221. package/dist/menus/toolbar/index.js +3 -0
  222. package/dist/menus/toolbar/index.js.map +1 -0
  223. package/dist/menus/toolbar/model.js +747 -0
  224. package/dist/menus/toolbar/model.js.map +1 -0
  225. package/dist/menus/toolbar/view.js +314 -0
  226. package/dist/menus/toolbar/view.js.map +1 -0
  227. package/dist/navigator/index.js +435 -0
  228. package/dist/navigator/index.js.map +1 -0
  229. package/dist/no_collab_save/index.js +169 -0
  230. package/dist/no_collab_save/index.js.map +1 -0
  231. package/dist/plugins/citation_dialog/index.js +2 -0
  232. package/dist/plugins/citation_dialog/index.js.map +1 -0
  233. package/dist/plugins/editor/index.js +2 -0
  234. package/dist/plugins/editor/index.js.map +1 -0
  235. package/dist/state_plugins/access_rights.js +30 -0
  236. package/dist/state_plugins/access_rights.js.map +1 -0
  237. package/dist/state_plugins/citation_render.js +78 -0
  238. package/dist/state_plugins/citation_render.js.map +1 -0
  239. package/dist/state_plugins/clipboard.js +217 -0
  240. package/dist/state_plugins/clipboard.js.map +1 -0
  241. package/dist/state_plugins/code_block.js +165 -0
  242. package/dist/state_plugins/code_block.js.map +1 -0
  243. package/dist/state_plugins/collab_carets.js +115 -0
  244. package/dist/state_plugins/collab_carets.js.map +1 -0
  245. package/dist/state_plugins/comments.js +197 -0
  246. package/dist/state_plugins/comments.js.map +1 -0
  247. package/dist/state_plugins/contributor_input/add_button.js +101 -0
  248. package/dist/state_plugins/contributor_input/add_button.js.map +1 -0
  249. package/dist/state_plugins/contributor_input/dropup.js +273 -0
  250. package/dist/state_plugins/contributor_input/dropup.js.map +1 -0
  251. package/dist/state_plugins/contributor_input/helpers.js +23 -0
  252. package/dist/state_plugins/contributor_input/helpers.js.map +1 -0
  253. package/dist/state_plugins/contributor_input/index.js +3 -0
  254. package/dist/state_plugins/contributor_input/index.js.map +1 -0
  255. package/dist/state_plugins/contributor_input/node_view.js +76 -0
  256. package/dist/state_plugins/contributor_input/node_view.js.map +1 -0
  257. package/dist/state_plugins/contributor_input/plugin.js +236 -0
  258. package/dist/state_plugins/contributor_input/plugin.js.map +1 -0
  259. package/dist/state_plugins/document_template.js +213 -0
  260. package/dist/state_plugins/document_template.js.map +1 -0
  261. package/dist/state_plugins/figure.js +90 -0
  262. package/dist/state_plugins/figure.js.map +1 -0
  263. package/dist/state_plugins/footnote_markers.js +187 -0
  264. package/dist/state_plugins/footnote_markers.js.map +1 -0
  265. package/dist/state_plugins/headerbar.js +10 -0
  266. package/dist/state_plugins/headerbar.js.map +1 -0
  267. package/dist/state_plugins/index.js +27 -0
  268. package/dist/state_plugins/index.js.map +1 -0
  269. package/dist/state_plugins/inline_math.js +719 -0
  270. package/dist/state_plugins/inline_math.js.map +1 -0
  271. package/dist/state_plugins/inline_reference/dropup.js +182 -0
  272. package/dist/state_plugins/inline_reference/dropup.js.map +1 -0
  273. package/dist/state_plugins/inline_reference/index.js +2 -0
  274. package/dist/state_plugins/inline_reference/index.js.map +1 -0
  275. package/dist/state_plugins/inline_reference/plugin.js +1134 -0
  276. package/dist/state_plugins/inline_reference/plugin.js.map +1 -0
  277. package/dist/state_plugins/jump_hidden_nodes.js +47 -0
  278. package/dist/state_plugins/jump_hidden_nodes.js.map +1 -0
  279. package/dist/state_plugins/links.js +622 -0
  280. package/dist/state_plugins/links.js.map +1 -0
  281. package/dist/state_plugins/marginboxes.js +13 -0
  282. package/dist/state_plugins/marginboxes.js.map +1 -0
  283. package/dist/state_plugins/ordered_list_menu.js +72 -0
  284. package/dist/state_plugins/ordered_list_menu.js.map +1 -0
  285. package/dist/state_plugins/placeholders.js +98 -0
  286. package/dist/state_plugins/placeholders.js.map +1 -0
  287. package/dist/state_plugins/search.js +212 -0
  288. package/dist/state_plugins/search.js.map +1 -0
  289. package/dist/state_plugins/selection_menu.js +10 -0
  290. package/dist/state_plugins/selection_menu.js.map +1 -0
  291. package/dist/state_plugins/settings.js +191 -0
  292. package/dist/state_plugins/settings.js.map +1 -0
  293. package/dist/state_plugins/table.js +104 -0
  294. package/dist/state_plugins/table.js.map +1 -0
  295. package/dist/state_plugins/tag_input/helpers.js +55 -0
  296. package/dist/state_plugins/tag_input/helpers.js.map +1 -0
  297. package/dist/state_plugins/tag_input/index.js +3 -0
  298. package/dist/state_plugins/tag_input/index.js.map +1 -0
  299. package/dist/state_plugins/tag_input/node_view.js +77 -0
  300. package/dist/state_plugins/tag_input/node_view.js.map +1 -0
  301. package/dist/state_plugins/tag_input/plugin.js +199 -0
  302. package/dist/state_plugins/tag_input/plugin.js.map +1 -0
  303. package/dist/state_plugins/tag_input/tag_editor.js +159 -0
  304. package/dist/state_plugins/tag_input/tag_editor.js.map +1 -0
  305. package/dist/state_plugins/tag_input/tag_editor_plugins.js +61 -0
  306. package/dist/state_plugins/tag_input/tag_editor_plugins.js.map +1 -0
  307. package/dist/state_plugins/toc_render.js +142 -0
  308. package/dist/state_plugins/toc_render.js.map +1 -0
  309. package/dist/state_plugins/toolbar.js +10 -0
  310. package/dist/state_plugins/toolbar.js.map +1 -0
  311. package/dist/state_plugins/track/find_selected_changes.js +82 -0
  312. package/dist/state_plugins/track/find_selected_changes.js.map +1 -0
  313. package/dist/state_plugins/track/helpers.js +67 -0
  314. package/dist/state_plugins/track/helpers.js.map +1 -0
  315. package/dist/state_plugins/track/index.js +3 -0
  316. package/dist/state_plugins/track/index.js.map +1 -0
  317. package/dist/state_plugins/track/plugin.js +114 -0
  318. package/dist/state_plugins/track/plugin.js.map +1 -0
  319. package/dist/tools/index.js +4 -0
  320. package/dist/tools/index.js.map +1 -0
  321. package/dist/tools/key_bindings/index.js +20 -0
  322. package/dist/tools/key_bindings/index.js.map +1 -0
  323. package/dist/tools/key_bindings/templates.js +68 -0
  324. package/dist/tools/key_bindings/templates.js.map +1 -0
  325. package/dist/tools/search_replace/index.js +275 -0
  326. package/dist/tools/search_replace/index.js.map +1 -0
  327. package/dist/tools/search_replace/templates.js +18 -0
  328. package/dist/tools/search_replace/templates.js.map +1 -0
  329. package/dist/tools/word_count/index.js +40 -0
  330. package/dist/tools/word_count/index.js.map +1 -0
  331. package/dist/tools/word_count/templates.js +27 -0
  332. package/dist/tools/word_count/templates.js.map +1 -0
  333. package/dist/track/accept.js +66 -0
  334. package/dist/track/accept.js.map +1 -0
  335. package/dist/track/accept_all.js +51 -0
  336. package/dist/track/accept_all.js.map +1 -0
  337. package/dist/track/accept_all_no_insertions.js +63 -0
  338. package/dist/track/accept_all_no_insertions.js.map +1 -0
  339. package/dist/track/amend_transaction.js +390 -0
  340. package/dist/track/amend_transaction.js.map +1 -0
  341. package/dist/track/delete.js +62 -0
  342. package/dist/track/delete.js.map +1 -0
  343. package/dist/track/index.js +6 -0
  344. package/dist/track/index.js.map +1 -0
  345. package/dist/track/mod.js +86 -0
  346. package/dist/track/mod.js.map +1 -0
  347. package/dist/track/reject.js +67 -0
  348. package/dist/track/reject.js.map +1 -0
  349. package/dist/track/reject_all.js +56 -0
  350. package/dist/track/reject_all.js.map +1 -0
  351. package/package.json +80 -0
  352. package/src/bibliography/tools.js +58 -0
  353. package/src/citations/index.js +443 -0
  354. package/src/citations/render.js +68 -0
  355. package/src/clipboard/copy/index.js +1 -0
  356. package/src/clipboard/copy/schema.js +62 -0
  357. package/src/clipboard/copy/serializers.js +179 -0
  358. package/src/clipboard/paste/fidus_writer.js +55 -0
  359. package/src/clipboard/paste/general.js +80 -0
  360. package/src/clipboard/paste/google_docs.js +26 -0
  361. package/src/clipboard/paste/html.js +76 -0
  362. package/src/clipboard/paste/index.js +2 -0
  363. package/src/clipboard/paste/libreoffice_writer.js +32 -0
  364. package/src/clipboard/paste/microsoft_word.js +87 -0
  365. package/src/clipboard/paste/text.js +58 -0
  366. package/src/collab/chat.js +195 -0
  367. package/src/collab/colors.js +67 -0
  368. package/src/collab/doc.js +1436 -0
  369. package/src/collab/index.js +81 -0
  370. package/src/collab/merge/changeset.js +103 -0
  371. package/src/collab/merge/editor.js +1065 -0
  372. package/src/collab/merge/footnotes.js +175 -0
  373. package/src/collab/merge/index.js +401 -0
  374. package/src/collab/merge/recreate_transform.js +326 -0
  375. package/src/collab/merge/schema.js +135 -0
  376. package/src/collab/merge/state_plugins/action.js +171 -0
  377. package/src/collab/merge/state_plugins/clipboard.js +32 -0
  378. package/src/collab/merge/state_plugins/diff.js +780 -0
  379. package/src/collab/merge/state_plugins/index.js +2 -0
  380. package/src/collab/merge/tools.js +217 -0
  381. package/src/collab/templates.js +10 -0
  382. package/src/comments/comment.js +29 -0
  383. package/src/comments/editors/answer.js +55 -0
  384. package/src/comments/editors/comment.js +318 -0
  385. package/src/comments/editors/index.js +4 -0
  386. package/src/comments/editors/notify.js +13 -0
  387. package/src/comments/editors/schema.js +65 -0
  388. package/src/comments/index.js +11 -0
  389. package/src/comments/interactions.js +465 -0
  390. package/src/comments/store.js +513 -0
  391. package/src/contacts/add_dialog.js +110 -0
  392. package/src/contacts/templates.js +28 -0
  393. package/src/copyright_dialog/index.js +179 -0
  394. package/src/copyright_dialog/templates.js +56 -0
  395. package/src/databases/bibliography.js +179 -0
  396. package/src/databases/images.js +320 -0
  397. package/src/databases/index.js +69 -0
  398. package/src/dialogs/citation.js +428 -0
  399. package/src/dialogs/code_block.js +242 -0
  400. package/src/dialogs/contributor.js +173 -0
  401. package/src/dialogs/figure.js +479 -0
  402. package/src/dialogs/index.js +10 -0
  403. package/src/dialogs/language.js +58 -0
  404. package/src/dialogs/link.js +358 -0
  405. package/src/dialogs/math.js +148 -0
  406. package/src/dialogs/ordered_list.js +84 -0
  407. package/src/dialogs/revision.js +43 -0
  408. package/src/dialogs/subsup.js +116 -0
  409. package/src/dialogs/table.js +258 -0
  410. package/src/dialogs/templates.js +426 -0
  411. package/src/document_template/exporter.js +97 -0
  412. package/src/document_template/index.js +483 -0
  413. package/src/documents/access_rights/index.js +693 -0
  414. package/src/documents/access_rights/templates.js +178 -0
  415. package/src/e2ee/encryptor.js +228 -0
  416. package/src/e2ee/key-manager.js +202 -0
  417. package/src/e2ee/passphrase-crypto.js +606 -0
  418. package/src/e2ee/passphrase-dialog.js +655 -0
  419. package/src/e2ee/passphrase-manager.js +502 -0
  420. package/src/e2ee/password-dialog.js +652 -0
  421. package/src/e2ee/snapshot-manager.js +305 -0
  422. package/src/exporter/native/copy.js +54 -0
  423. package/src/exporter/native/file.js +37 -0
  424. package/src/exporter/native/index.js +3 -0
  425. package/src/exporter/native/revision.js +86 -0
  426. package/src/exporter/native/zip.js +1 -0
  427. package/src/footnotes/editor.js +227 -0
  428. package/src/footnotes/index.js +16 -0
  429. package/src/footnotes/layout.js +190 -0
  430. package/src/footnotes/state_plugins/access_rights.js +39 -0
  431. package/src/footnotes/state_plugins/index.js +1 -0
  432. package/src/images/edit_dialog/edit_dialog/index.js +222 -0
  433. package/src/images/edit_dialog/edit_dialog/model.js +183 -0
  434. package/src/images/edit_dialog/edit_dialog/templates.js +41 -0
  435. package/src/images/edit_dialog/model.js +5 -0
  436. package/src/images/selection_dialog/index.js +176 -0
  437. package/src/index.js +1252 -0
  438. package/src/keymap.js +102 -0
  439. package/src/marginboxes/index.js +946 -0
  440. package/src/marginboxes/templates.js +573 -0
  441. package/src/menus/code_block/index.js +1 -0
  442. package/src/menus/code_block/model.js +52 -0
  443. package/src/menus/figure/index.js +2 -0
  444. package/src/menus/figure/model.js +91 -0
  445. package/src/menus/figure/utils.js +5 -0
  446. package/src/menus/headerbar/index.js +2 -0
  447. package/src/menus/headerbar/model.js +1077 -0
  448. package/src/menus/headerbar/view.js +675 -0
  449. package/src/menus/image/index.js +1 -0
  450. package/src/menus/image/model.js +32 -0
  451. package/src/menus/index.js +9 -0
  452. package/src/menus/navigator/index.js +1 -0
  453. package/src/menus/navigator/model.js +28 -0
  454. package/src/menus/ordered_list/index.js +1 -0
  455. package/src/menus/ordered_list/model.js +19 -0
  456. package/src/menus/selection/index.js +2 -0
  457. package/src/menus/selection/model.js +134 -0
  458. package/src/menus/selection/view.js +154 -0
  459. package/src/menus/table/index.js +1 -0
  460. package/src/menus/table/model.js +414 -0
  461. package/src/menus/toolbar/index.js +2 -0
  462. package/src/menus/toolbar/model.js +920 -0
  463. package/src/menus/toolbar/view.js +354 -0
  464. package/src/navigator/index.js +515 -0
  465. package/src/no_collab_save/index.js +209 -0
  466. package/src/plugins/citation_dialog/index.js +1 -0
  467. package/src/plugins/editor/index.js +1 -0
  468. package/src/state_plugins/access_rights.js +47 -0
  469. package/src/state_plugins/citation_render.js +88 -0
  470. package/src/state_plugins/clipboard.js +289 -0
  471. package/src/state_plugins/code_block.js +201 -0
  472. package/src/state_plugins/collab_carets.js +152 -0
  473. package/src/state_plugins/comments.js +259 -0
  474. package/src/state_plugins/contributor_input/add_button.js +134 -0
  475. package/src/state_plugins/contributor_input/dropup.js +318 -0
  476. package/src/state_plugins/contributor_input/helpers.js +24 -0
  477. package/src/state_plugins/contributor_input/index.js +2 -0
  478. package/src/state_plugins/contributor_input/node_view.js +86 -0
  479. package/src/state_plugins/contributor_input/plugin.js +318 -0
  480. package/src/state_plugins/document_template.js +315 -0
  481. package/src/state_plugins/figure.js +108 -0
  482. package/src/state_plugins/footnote_markers.js +238 -0
  483. package/src/state_plugins/headerbar.js +12 -0
  484. package/src/state_plugins/index.js +73 -0
  485. package/src/state_plugins/inline_math.js +918 -0
  486. package/src/state_plugins/inline_reference/dropup.js +208 -0
  487. package/src/state_plugins/inline_reference/index.js +5 -0
  488. package/src/state_plugins/inline_reference/plugin.js +1429 -0
  489. package/src/state_plugins/jump_hidden_nodes.js +58 -0
  490. package/src/state_plugins/links.js +830 -0
  491. package/src/state_plugins/marginboxes.js +14 -0
  492. package/src/state_plugins/ordered_list_menu.js +84 -0
  493. package/src/state_plugins/placeholders.js +123 -0
  494. package/src/state_plugins/search.js +251 -0
  495. package/src/state_plugins/selection_menu.js +12 -0
  496. package/src/state_plugins/settings.js +223 -0
  497. package/src/state_plugins/table.js +127 -0
  498. package/src/state_plugins/tag_input/helpers.js +69 -0
  499. package/src/state_plugins/tag_input/index.js +2 -0
  500. package/src/state_plugins/tag_input/node_view.js +85 -0
  501. package/src/state_plugins/tag_input/plugin.js +278 -0
  502. package/src/state_plugins/tag_input/tag_editor.js +202 -0
  503. package/src/state_plugins/tag_input/tag_editor_plugins.js +74 -0
  504. package/src/state_plugins/toc_render.js +160 -0
  505. package/src/state_plugins/toolbar.js +12 -0
  506. package/src/state_plugins/track/find_selected_changes.js +107 -0
  507. package/src/state_plugins/track/helpers.js +108 -0
  508. package/src/state_plugins/track/index.js +6 -0
  509. package/src/state_plugins/track/plugin.js +140 -0
  510. package/src/tools/index.js +3 -0
  511. package/src/tools/key_bindings/index.js +21 -0
  512. package/src/tools/key_bindings/templates.js +68 -0
  513. package/src/tools/search_replace/index.js +421 -0
  514. package/src/tools/search_replace/templates.js +19 -0
  515. package/src/tools/word_count/index.js +59 -0
  516. package/src/tools/word_count/templates.js +34 -0
  517. package/src/track/accept.js +102 -0
  518. package/src/track/accept_all.js +103 -0
  519. package/src/track/accept_all_no_insertions.js +102 -0
  520. package/src/track/amend_transaction.js +562 -0
  521. package/src/track/delete.js +92 -0
  522. package/src/track/index.js +8 -0
  523. package/src/track/mod.js +116 -0
  524. package/src/track/reject.js +116 -0
  525. package/src/track/reject_all.js +121 -0
@@ -0,0 +1,515 @@
1
+ import {escapeText, findTarget} from "fwtoolkit"
2
+ export class ModNavigator {
3
+ constructor(editor) {
4
+ editor.mod.navigator = this
5
+ this.editor = editor
6
+ this.navigatorEl = document.querySelector("#navigator")
7
+ this.listeners = {}
8
+ this.navigatorFilters = editor.menu.navigatorFilterModel.content
9
+ this.defaultFilters = ["heading1", "heading2", "heading3"]
10
+
11
+ this.lastSelectedTarget = null
12
+ }
13
+
14
+ init() {
15
+ this.render()
16
+ this.bindEvents()
17
+ }
18
+
19
+ render() {
20
+ this.navigatorEl.innerHTML = this.getNavigatorTemplate()
21
+ }
22
+
23
+ bindEvents() {
24
+ document.body.addEventListener("click", event => {
25
+ const el = {}
26
+ switch (true) {
27
+ case findTarget(event, "#navigator-button", el):
28
+ if (this.navigatorEl.classList.contains("opened")) {
29
+ this.closeNavigator()
30
+ } else {
31
+ const navigatorListEl =
32
+ document.getElementById("navigator-list")
33
+ if (navigatorListEl) {
34
+ navigatorListEl.innerHTML =
35
+ this.populateNavigator() || "" //Populating the list
36
+ }
37
+ this.openNavigator()
38
+ const activeHeading = this.navigatorEl.querySelector(
39
+ "#navigator-list .active-heading a"
40
+ )
41
+ if (activeHeading) {
42
+ activeHeading.focus()
43
+ } else {
44
+ const firstFocusable =
45
+ this.navigatorEl.querySelector(
46
+ "#navigator-list [href]"
47
+ )
48
+ if (firstFocusable) {
49
+ firstFocusable.focus()
50
+ }
51
+ }
52
+ }
53
+ break
54
+ case findTarget(event, "#navigator-list a", el): {
55
+ event.preventDefault()
56
+ event.stopImmediatePropagation()
57
+ const target = el.target.getAttribute("href").slice(1)
58
+
59
+ if (target == "title") {
60
+ this.editor.scrollPosIntoView(1, this.editor.view)
61
+ this.lastSelectedTarget = "title"
62
+ } else if (target == "bibliography") {
63
+ this.editor.scrollBibliographyIntoView(target)
64
+ } else {
65
+ // Store the selected target ID for later focus
66
+ this.lastSelectedTarget = target
67
+ this.editor.scrollIdIntoView(target)
68
+ this.switchActiveHeading(el.target.parentNode)
69
+ }
70
+
71
+ // Keep focus on the navigation menu item
72
+ el.target.focus()
73
+ break
74
+ }
75
+ case findTarget(event, "#navigator-filter-icon", el): {
76
+ const navigatorFilterEl =
77
+ document.getElementById("navigator-filter")
78
+ if (navigatorFilterEl?.classList.contains("fw-hide")) {
79
+ this.showFilters()
80
+ } else {
81
+ this.hideFilters()
82
+ }
83
+ break
84
+ }
85
+ case findTarget(event, "#navigator-filter-back", el): {
86
+ this.defaultFilters = []
87
+ document
88
+ .querySelectorAll("#navigator-filter input")
89
+ .forEach(item => {
90
+ if (item.checked) {
91
+ this.defaultFilters.push(item.id)
92
+ }
93
+ })
94
+ const navigatorListEl =
95
+ document.getElementById("navigator-list")
96
+ if (navigatorListEl) {
97
+ navigatorListEl.innerHTML =
98
+ this.populateNavigator() || ""
99
+ }
100
+ this.hideFilters()
101
+ break
102
+ }
103
+ case findTarget(event, "input", el):
104
+ break
105
+ case findTarget(event, "label", el):
106
+ break
107
+ default:
108
+ this.closeNavigator()
109
+ break
110
+ }
111
+ })
112
+
113
+ document.body
114
+ .querySelector("#navigator-list")
115
+ .addEventListener("mouseover", () => {
116
+ document.body.classList.add("no-scroll")
117
+ })
118
+ document.body
119
+ .querySelector("#navigator-list")
120
+ .addEventListener("mouseout", () => {
121
+ document.body.classList.remove("no-scroll")
122
+ })
123
+ document.body.addEventListener("keydown", event => {
124
+ // Alt+n shortcut to toggle navigator
125
+ if (event.altKey && event.key.toLowerCase() === "n") {
126
+ event.preventDefault()
127
+ if (this.navigatorEl.classList.contains("opened")) {
128
+ this.closeNavigator()
129
+ } else {
130
+ const navigatorListEl =
131
+ document.getElementById("navigator-list")
132
+ if (navigatorListEl) {
133
+ navigatorListEl.innerHTML =
134
+ this.populateNavigator() || ""
135
+ }
136
+ this.openNavigator()
137
+ const activeHeading = this.navigatorEl.querySelector(
138
+ "#navigator-list .active-heading a"
139
+ )
140
+ if (activeHeading) {
141
+ activeHeading.focus()
142
+ } else {
143
+ const firstFocusable = this.navigatorEl.querySelector(
144
+ "#navigator-list [href]"
145
+ )
146
+ if (firstFocusable) {
147
+ firstFocusable.focus()
148
+ }
149
+ }
150
+ }
151
+ }
152
+
153
+ const navigatorEl = document.getElementById("navigator")
154
+
155
+ if (!navigatorEl || !navigatorEl.classList.contains("opened")) {
156
+ // If the navigator is not opened, do nothing
157
+ return
158
+ }
159
+
160
+ // Inside the navigator, handle keyboard navigation
161
+
162
+ if (event.key === "Escape") {
163
+ this.closeNavigator()
164
+ return
165
+ }
166
+
167
+ if (event.key === "Enter" || event.key === " ") {
168
+ event.preventDefault()
169
+ event.stopImmediatePropagation()
170
+ const activeElement = document.activeElement
171
+ if (activeElement && activeElement.tagName === "A") {
172
+ activeElement.click()
173
+ }
174
+ }
175
+
176
+ // Tab key navigation (keep focus inside dialog)
177
+ if (event.key === "Tab") {
178
+ const focusableElements = navigatorEl.querySelectorAll(
179
+ 'button, [href], input, [tabindex="0"]'
180
+ )
181
+ if (focusableElements.length > 0) {
182
+ const firstElement = focusableElements[0]
183
+ const lastElement =
184
+ focusableElements[focusableElements.length - 1]
185
+
186
+ if (
187
+ event.shiftKey &&
188
+ document.activeElement === firstElement
189
+ ) {
190
+ event.preventDefault()
191
+ lastElement.focus()
192
+ } else if (
193
+ !event.shiftKey &&
194
+ document.activeElement === lastElement
195
+ ) {
196
+ event.preventDefault()
197
+ firstElement.focus()
198
+ }
199
+ }
200
+ return
201
+ }
202
+
203
+ const navigatorListEl = document.getElementById("navigator-list")
204
+
205
+ // Arrow key navigation within the list
206
+ if (
207
+ !navigatorListEl.classList.contains("fw-hide") &&
208
+ (event.key === "ArrowDown" || event.key === "ArrowUp")
209
+ ) {
210
+ event.preventDefault()
211
+
212
+ const links = navigatorListEl.querySelectorAll("a")
213
+ if (links.length === 0) {
214
+ return
215
+ }
216
+
217
+ let currentIndex = -1
218
+ links.forEach((link, index) => {
219
+ if (document.activeElement === link) {
220
+ currentIndex = index
221
+ }
222
+ })
223
+
224
+ let newIndex
225
+ if (event.key === "ArrowDown") {
226
+ newIndex =
227
+ currentIndex < links.length - 1 ? currentIndex + 1 : 0
228
+ } else {
229
+ // ArrowUp
230
+ newIndex =
231
+ currentIndex > 0 ? currentIndex - 1 : links.length - 1
232
+ }
233
+
234
+ links[newIndex].focus()
235
+ return
236
+ }
237
+
238
+ const navigatorFilterEl =
239
+ document.getElementById("navigator-filter")
240
+
241
+ // Arrow key navigation within the filter menu
242
+ if (
243
+ !navigatorFilterEl.classList.contains("fw-hide") &&
244
+ (event.key === "ArrowDown" || event.key === "ArrowUp")
245
+ ) {
246
+ event.preventDefault()
247
+
248
+ const checkboxes = navigatorFilterEl.querySelectorAll(
249
+ 'input[type="checkbox"]'
250
+ )
251
+ if (checkboxes.length === 0) {
252
+ return
253
+ }
254
+
255
+ let currentIndex = -1
256
+ checkboxes.forEach((checkbox, index) => {
257
+ if (document.activeElement === checkbox) {
258
+ currentIndex = index
259
+ }
260
+ })
261
+
262
+ let newIndex
263
+ if (event.key === "ArrowDown") {
264
+ newIndex =
265
+ currentIndex < checkboxes.length - 1
266
+ ? currentIndex + 1
267
+ : 0
268
+ } else {
269
+ // ArrowUp
270
+ newIndex =
271
+ currentIndex > 0
272
+ ? currentIndex - 1
273
+ : checkboxes.length - 1
274
+ }
275
+
276
+ checkboxes[newIndex].focus()
277
+ return
278
+ }
279
+ })
280
+ }
281
+
282
+ switchActiveHeading(new_heading) {
283
+ Array.prototype.forEach.call(
284
+ document.querySelectorAll("#navigator-list .active-heading"),
285
+ active_heading => active_heading.classList.remove("active-heading")
286
+ )
287
+ new_heading.classList.add("active-heading")
288
+ }
289
+
290
+ openNavigator() {
291
+ const navigatorEl = document.getElementById("navigator")
292
+ const navigatorButtonEl = document.getElementById("navigator-button")
293
+ const navigatorFilterEl = document.getElementById("navigator-filter")
294
+ const navigatorListEl = document.getElementById("navigator-list")
295
+ const navigatorFilterBackEl = document.getElementById(
296
+ "navigator-filter-back"
297
+ )
298
+ const navigatorFilterIconEl = document.getElementById(
299
+ "navigator-filter-icon"
300
+ )
301
+ if (
302
+ !navigatorEl ||
303
+ !navigatorFilterEl ||
304
+ !navigatorListEl ||
305
+ !navigatorFilterBackEl ||
306
+ !navigatorFilterIconEl
307
+ ) {
308
+ return
309
+ }
310
+ navigatorEl.classList.add("opened")
311
+ navigatorFilterEl.classList.add("fw-hide")
312
+ navigatorListEl.classList.remove("fw-hide")
313
+ navigatorFilterBackEl.classList.add("fw-hide")
314
+ navigatorFilterIconEl.classList.remove("fw-hide")
315
+ navigatorButtonEl.setAttribute("aria-expanded", "true")
316
+ this.scrollToActiveHeading()
317
+ }
318
+
319
+ scrollToActiveHeading() {
320
+ const listEl = document.getElementById("navigator-list")
321
+ const activeHeading = listEl?.querySelector(".active-heading")
322
+ if (activeHeading) {
323
+ activeHeading.scrollIntoView()
324
+ }
325
+ }
326
+
327
+ closeNavigator() {
328
+ const navigatorEl = document.getElementById("navigator")
329
+ const navigatorButtonEl = document.getElementById("navigator-button")
330
+ if (navigatorEl) {
331
+ navigatorEl.classList.remove("opened")
332
+ navigatorButtonEl.setAttribute("aria-expanded", "false")
333
+ }
334
+
335
+ if (this.lastSelectedTarget) {
336
+ const target =
337
+ this.lastSelectedTarget == "title"
338
+ ? document.body.querySelector(`div.doc-title`)
339
+ : document.body.querySelector(`#${this.lastSelectedTarget}`)
340
+ if (target) {
341
+ // Set selection at end of target.
342
+ const range = document.createRange()
343
+ const selection = window.getSelection()
344
+ range.selectNodeContents(target)
345
+ range.collapse()
346
+ selection.removeAllRanges()
347
+ selection.addRange(range)
348
+ target.focus()
349
+ }
350
+ this.lastSelectedTarget = null
351
+ }
352
+ }
353
+
354
+ showFilters() {
355
+ const navigatorFilterEl = document.getElementById("navigator-filter")
356
+ const navigatorListEl = document.getElementById("navigator-list")
357
+ const navigatorFilterBackEl = document.getElementById(
358
+ "navigator-filter-back"
359
+ )
360
+ const navigatorFilterIconEl = document.getElementById(
361
+ "navigator-filter-icon"
362
+ )
363
+ if (
364
+ !navigatorFilterEl ||
365
+ !navigatorFilterBackEl ||
366
+ !navigatorListEl ||
367
+ !navigatorFilterIconEl
368
+ ) {
369
+ return
370
+ }
371
+ navigatorFilterEl.classList.remove("fw-hide")
372
+ navigatorFilterBackEl.classList.remove("fw-hide")
373
+ navigatorListEl.classList.add("fw-hide")
374
+ navigatorFilterIconEl.classList.add("fw-hide")
375
+ //populating the filter list
376
+ navigatorFilterEl.innerHTML = this.populateNavFilter()
377
+ }
378
+
379
+ hideFilters() {
380
+ const navigatorFilterEl = document.getElementById("navigator-filter")
381
+ const navigatorListEl = document.getElementById("navigator-list")
382
+ const navigatorFilterBackEl = document.getElementById(
383
+ "navigator-filter-back"
384
+ )
385
+ const navigatorFilterIconEl = document.getElementById(
386
+ "navigator-filter-icon"
387
+ )
388
+ if (
389
+ !navigatorFilterEl ||
390
+ !navigatorFilterBackEl ||
391
+ !navigatorListEl ||
392
+ !navigatorFilterIconEl
393
+ ) {
394
+ return
395
+ }
396
+ navigatorFilterEl.classList.add("fw-hide")
397
+ navigatorFilterBackEl.classList.add("fw-hide")
398
+ navigatorListEl.classList.remove("fw-hide")
399
+ navigatorFilterIconEl.classList.remove("fw-hide")
400
+
401
+ this.scrollToActiveHeading()
402
+ }
403
+
404
+ populateNavigator() {
405
+ const currentPos = this.editor.view.state.selection.$head.pos
406
+ const title =
407
+ document.body.querySelector("div.doc-title")?.innerText ||
408
+ gettext("Untitled Document")
409
+ const items = [
410
+ {
411
+ id: "title",
412
+ textContent: title,
413
+ type: {name: "h1"}
414
+ }
415
+ ]
416
+ let nearestHeader = ""
417
+ this.editor.view.state.doc.descendants((node, pos) => {
418
+ if (node.attrs?.hidden) {
419
+ return false
420
+ } else if (
421
+ this.defaultFilters.includes(node.type.name) &&
422
+ node.textContent !== ""
423
+ ) {
424
+ if (pos <= currentPos) {
425
+ nearestHeader = node
426
+ } else if (nearestHeader !== "") {
427
+ items[items.length - 1] = Object.assign(
428
+ {},
429
+ items[items.length - 1],
430
+ {
431
+ class: "active-heading"
432
+ }
433
+ )
434
+ nearestHeader = ""
435
+ }
436
+ items.push({
437
+ id: node.attrs.id,
438
+ textContent: node.textContent,
439
+ type: node.type
440
+ })
441
+ }
442
+ })
443
+ const bibHeader = document.querySelector("h1.doc-bibliography-header")
444
+ if (bibHeader) {
445
+ items.push({
446
+ id: "bibliography",
447
+ textContent: bibHeader.innerText,
448
+ type: {name: "h1"}
449
+ })
450
+ }
451
+ if (items.length) {
452
+ return this.navigatorHTML(items)
453
+ } else {
454
+ return false
455
+ }
456
+ }
457
+
458
+ populateNavFilter() {
459
+ return this.navigatorFilters
460
+ .map(item => {
461
+ const level = item.level
462
+ const id = `heading${level}`
463
+ return `<div role="menuitem">
464
+ <input type="checkbox" class="form-checkbox" id="${id}" ${this.inDefault(level)} aria-labelledby="label-${id}" />
465
+ <label id="label-${id}" class="navigator-label" for="${id}">${item.title}</label>
466
+ </div>`
467
+ })
468
+ .join("")
469
+ }
470
+
471
+ inDefault(level) {
472
+ if (this.defaultFilters.includes("heading" + level)) {
473
+ return "checked"
474
+ } else {
475
+ return ""
476
+ }
477
+ }
478
+
479
+ navigatorHTML(items) {
480
+ return `
481
+ ${items
482
+ .map(item => {
483
+ const level = item.type.name.substr(-1)
484
+ const className = item.class ? ` class="${item.class}"` : ""
485
+ return `<h${level}${className}><a href="#${item.id}" tabindex="0">${escapeText(item.textContent)}</a></h${level}>`
486
+ })
487
+ .join("")}`
488
+ }
489
+
490
+ getNavigatorTemplate() {
491
+ return `
492
+ <div id="navigator-content" role="dialog" aria-labelledby="navigator-header">
493
+ <div class="header-container">
494
+ <button id="navigator-filter-back" class="fw-hide" aria-label="${gettext("Back to navigator")}" tabindex="0">
495
+ <i class="fa-solid fa-arrow-left"></i>
496
+ </button>
497
+ <h1 id="navigator-header" class="header">${gettext("Document Navigator")}</h1>
498
+ <button id="navigator-filter-icon" aria-label="${gettext("Navigator settings")}" tabindex="0">
499
+ <i class="fa-solid fa-cog"></i>
500
+ </button>
501
+ </div>
502
+ <div id="navigator-list" role="navigation" aria-label="${gettext("Document headings")}">
503
+ </div>
504
+ <div id="navigator-filter" class="fw-hide" role="menu" aria-label="${gettext("Filter options")}">
505
+ </div>
506
+ </div>
507
+ <button id="navigator-button"
508
+ aria-expanded="false"
509
+ aria-label="${gettext("Toggle document navigator")}"
510
+ title="${gettext("Document N\u0332avigator")}">
511
+ <span class="navigator-arrow-icon"><i class="fa-solid fa-scroll"></i></span>
512
+ </button>
513
+ `
514
+ }
515
+ }