Update to PreTeXt project source.

Author: bnmnetp

.devcontainer.json

@@ -0,0 +1,84 @@
+// <!-- Managed automatically by PreTeXt authoring tools -->
+// (delete the above line to manage this file manually)
+//////////////////////////////////////////////////////////////
+//
+// This file provides configuration options so that a PreTeXt 
+//   project can be edited and built using GitHub's Codespaces.
+// It is recommended to keep this in your repository even if you
+//   do not use this feature, as it will allow other to explore 
+//   your project easily.   
+// This file will be automatically generated by PreTeXt with the 
+//   latest updates unless you remove the first comment line above.
+//
+///////////////////////////////////////////////////////////////
+{
+  "name": "PreTeXt-Codespaces",
+
+  // This Docker image includes some LaTeX support, but is still not to large.  Note that if you keep your codespace running, it will use up your GitHub free storage quota.  Additional options are listed below.
+  "image": "oscarlevin/pretext:small",
+  // If you need to generate more complicated assets (such as sageplots) or use additional fonts when building to PDF, comment out the above line and uncomment the following line.
+  // "image": "oscarlevin/pretext:full",
+  // If you only intend to build for web and don't have any latex-image generated assets, you can use a smaller image:
+  // "image": "oscarlevin/pretext:lite",
+
+  // Add gh cli as a feature (to support codechat)
+  "features": {
+    "ghcr.io/devcontainers/features/github-cli:1": {}
+  },
+
+  // Port forwarding
+  // ---------------
+  // This is needed by the CodeChat Server.
+  "forwardPorts": [
+    // The port used for a Thrift connection between the VSCode CodeChat
+    // extension and the CodeChat Server.
+    27376,
+    // The port used for an HTTP connection from the CodeChat Client to
+    // the CodeChat Server.
+    27377,
+    // The port used by a websocket connection between the CodeChat
+    // Server and the CodeChat Client.
+    27378
+  ],
+  // See the [docs](https://containers.dev/implementors/json_reference/#port-attributes).
+  "portsAttributes": {
+    "27376": {
+      "label": "VSCode extension <-> CodeChat Server",
+      "requireLocalPort": true
+    },
+    "27377": {
+      "label": "CodeChat Client",
+      "requireLocalPort": true
+    },
+    "27378": {
+      "label": "CodeChat Client<->Server websocket",
+      "requireLocalPort": true
+      // This port needs to be public; however, there's no way to specify port visibility here. See `server.py` in the CodeChat Server for details.
+    }
+  },
+
+  // Configure tool-specific properties.
+  "customizations": {
+    "codespaces": {
+      "openFiles": ["source/main.ptx"]
+    },
+    "vscode": {
+      "settings": {
+        "editor.quickSuggestions": {
+          "other": "off"
+        },
+        "editor.snippetSuggestions": "top",
+        "xml.validation.enabled": false,
+        "CodeChat.CodeChatServer.Command": "CodeChat_Server"
+      },
+      "extensions": [
+        "ms-vscode.live-server",
+        "oscarlevin.pretext-tools",
+        "CodeChat.codechat"
+      ]
+    }
+  }
+
+  // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
+  // "remoteUser": "root"
+}

codechat_config.yaml

@@ -0,0 +1,55 @@
+# <!-- Managed automatically by PreTeXt authoring tools -->
+# (delete the above line to manage this file manually)
+#
+#############################################################
+#
+# This file allows the use of the CodeChat previewer for PreTeXt.
+# Generally, there is no need to modify this file.  
+# It will be automatically generated by PreTeXt with the latest 
+#   updates unless you remove the first comment line above.
+#
+############################################################
+#
+# .. Copyright (C) 2012-2023 Bryan A. Jones.
+#
+#  This file is part of the CodeChat System.
+#
+#  The CodeChat System is free software: you can redistribute it and/or
+#  modify it under the terms of the GNU General Public License as
+#  published by the Free Software Foundation, either version 3 of the
+#  License, or (at your option) any later version.
+#
+#  The CodeChat System is distributed in the hope that it will be
+#  useful, but WITHOUT ANY WARRANTY; without even the implied warranty
+#  of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+#  General Public License for more details.
+#
+#  You should have received a copy of the GNU General Public License
+#  along with the CodeChat System.  If not, see
+#  <http://www.gnu.org/licenses/>.
+#
+# ************************************************
+# |docname| - Configuration for a CodeChat project
+# ************************************************
+# This file defines the configuration for a CodeChat project. It contains a working `PreTeXt <https://pretextbook.org/>`_ configuration.
+#
+# ``source_path``: optional; defaults to ``.`` (the current directory). A path to the root of the source tree. Relative paths are rooted in the directory containing this configuration file.
+source_path: source
+
+# ``output_path``: required. A path to the root of the HTML output produced by this renderer. Relative paths are rooted in the directory containing this configuration file.
+output_path: output/web
+
+# ``args``: required string or sequence of strings. This provides the arguments to invoke the renderer. These strings may optionally contain the following replacement values:
+#
+# - ``{project_path}``: an absolute path to the directory containing this file.
+# - ``{source_path}``: the ``source_path`` above, but as an absolute path.
+# - ``{output_path}``: the ``output_path`` above, but as an absolute path.
+# - ``{sys_executable}``: the value of the running Python's `sys.executable <https://docs.python.org/3/library/sys.html#sys.executable>`_.
+# - ``{xml_id}``: The value of the the first ``xml:id`` attribute in the currently open file.
+args: "{sys_executable} -m pretext build web --xmlid {xml_id}"
+
+# ``html_ext``: optional; defaults to ``.html``. The extension used by this renderer when generating HTML files.
+#html_ext: .html
+
+# ``project_type``: optional; defaults to ``general``. Define the project type, which enables special processing based on the type. Valid values are ``general`` (no special processing), ``Doxygen``, and ``PreTeXt``.
+project_type: PreTeXt