frontend/latex/output: add summary for included documents, figure out how to zoom the font size, and several minor tweaks

Author: haraldschilly

src/AGENTS.md

@@ -17,6 +17,7 @@ This file provides guidance to Claude Code (claude.ai/code) and also Gemini CLI
 - All .js and .ts files are formatted by the tool prettier
 - Add suitable types when you write code
 - Follow DRY principles!
+- TypeScript: prefer `var1 ?? var2` for fallbacks. only use `var1 || var2` in explicit or-chains or when necessary.
 - Variable name styles are `camelCase` for local and `FOO_BAR` for global variables. React Components and Classes are `FooBar`. If you edit older code not following these guidelines, adjust this rule to fit the file's style.
 - Some older code is JavaScript or CoffeeScript, which will be translated to TypeScript
 - Use ES modules (import/export) syntax, not CommonJS (require)

src/packages/frontend/cspell.json

@@ -12,8 +12,10 @@
     "bioinformatics",
     "CoCalc",
     "conat",
+    "documentclass",
     "dplyr",
     "dstream",
+    "emph",
     "errorstopmode",
     "formatjs",
     "geospatial",
@@ -54,20 +56,25 @@
     "SocketIO",
     "splitlines",
     "statsmodels",
+    "subsection",
+    "subsubsection",
     "syncdb",
     "syncdoc",
     "syncstring",
     "synctable",
     "synctables",
     "synctex",
+    "textbf",
+    "textit",
+    "textsc",
     "tidymodels",
     "tidyverse",
     "tikz",
     "timetravel",
     "tolerations",
+    "undelete",
     "xelatex",
     "xetex",
-    "undelete",
     "undeleting"
   ],
   "ignoreWords": [
@@ -79,6 +86,7 @@
     "flyouts",
     "immutablejs",
     "ipynb",
+    "isabs",
     "isdir",
     "kernelspec",
     "LLM",

src/packages/frontend/frame-editors/frame-tree/title-bar.tsx

@@ -1215,7 +1215,7 @@ export function FrameTitleBar(props: FrameTitleBarProps) {
       props.page == null ||
       props.pages == null ||
       manageCommands.isExplicitlyHidden("page") ||
-      props.type === "latex-output"
+      props.type === "output"
     ) {
       // do not render anything unless both page and pages are set
       // also don't render for latex output panels (they have their own page controls)

src/packages/frontend/frame-editors/latex-editor/actions.ts

@@ -1843,12 +1843,14 @@ export class Actions extends BaseActions<LatexEditorState> {
 
   set_font_size(id: string, font_size: number): void {
     if (this._is_output_panel(id)) {
-      // This is for the PDF viewer in output panel, not a regular frame.
+      // This is for the output panel UI, not a regular frame.
       // We store its font size in the local_view_state.
       const local_view_state = this.store.get("local_view_state");
       this.setState({
         local_view_state: local_view_state.setIn([id, "font_size"], font_size),
       });
+      // Save the state change
+      this.save_local_view_state();
     } else {
       super.set_font_size(id, font_size);
       this.update_gutters_soon();

src/packages/frontend/frame-editors/latex-editor/editor.ts

@@ -191,6 +191,8 @@ const output: EditorDescription = {
     stop_build: true,
     download: false,
     download_pdf: true,
+    decrease_font_size: true,
+    increase_font_size: true,
   },
   buttons: set([
     "build",