Dave Jarvis' Repositories

Home Files Commits Tags Clone

Repository:

git clone https://repo.autonoma.ca/repo/keenwrite.git

M BUILD.md

 Run `./installer -h` to see all command-line options.
 # Releases
 After installing `scripts/build-template`, build release binaries as follows:
     git tag -a 2.0.0 -m "Release name"
     git push origin --tags
     ./release.sh
 When finished, browse to the project releases page to draft a new release.
 # Versioning

M README.md

 ### Other
 Download and install a full version of [JDK 15](https://bell-sw.com/pages/downloads/?version=java-15) that includes JavaFX module support, then run:
 Download and install a full version of [JRE 16](https://bell-sw.com/pages/downloads/?version=java-16&package=jre-full) that includes JavaFX module support, then run:
 ``` bash
 java -jar keenwrite.jar
 java --illegal-access=permit -jar build/libs/keenwrite.jar 2> /dev/null
 ```
 The `--illegal-access=permit` is a temporary option until third-party libraries used by the text editor are updated or replaced.
 ## Features
 The application offers:
 * User-defined interpolated strings
 * Auto-complete variable names based on variable values
 * High-quality PDF exports
 * Real-time spell check
 * Real-time rendering of math using TeX notation
 ## Screenshots
 Diagrams that include variables:
 ![GraphViz diagram screenshot](docs/images/screenshots/01.png)
 ![Family tree diagram screenshot](docs/images/screenshots/05.png)
 Poem with locale settings:
 ![Korean poem screenshot](docs/images/screenshots/02.png)
 TeX equations with detached preview:
 ![TeX equations screenshot](docs/images/screenshots/03.png)
 Document outline opened and docked in bottom-left corner:
 ![Document outline](docs/images/screenshots/04.png)
 See [screenshots](docs/screenshots.md) for visuals.
 ## License

A docs/images/screenshots/08.png

Binary file

A docs/licenses/JAVA-IMAGE-SCALING.md

 Java Image Scaling
 Copyright (c) 2013, Morten Nobel-Joergensen
 All rights reserved.
 Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
 Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.  Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
 Neither the name of the <ORGANIZATION> nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

A docs/screenshots.md

 # Variables
 Diagrams that include variables:
 ![GraphViz diagram screenshot](images/screenshots/01.png)
 ![Family tree diagram screenshot](images/screenshots/05.png)
 # PDF themes
 In the background of the following screenshot, the editor shows a novel
 being edited:
 ![PDF themes](images/screenshots/08.png)
 Highlighted items of note:
 * PDF icon in the upper-left
 * Novel metadata as integrated variables towards the top-left
 * Theme selection dialog in the upper-middle
 * Three different styles, including:
     * Boschet, based on Baskerville font, nicely styled
     * Handrit, based on Courier font, double-spaced, manuscript format
     * Tarmes, based on Times Roman font, minimal styling
 * Variations in page numbers
 * Manuscript includes word count, automatically
 * Preferences dialog in the middle
 # Internationalization
 Poem with locale settings:
 ![Korean poem screenshot](images/screenshots/02.png)
 # Equations
 TeX equations with detached preview:
 ![TeX equations screenshot](images/screenshots/03.png)
 # Dockable tabs
 Document outline opened and docked in bottom-left corner:
 ![Document outline](images/screenshots/04.png)

M docs/typesetting.md

 ## Windows
 Proceed with a Windows installation of typesetting software as follows:
 Proceed with a Windows installation of the typesetting software as follows:
 . Extract the `.zip` file into `C:\Users\%USERNAME%\AppData\Local\context` (the "root" directory)
 The theme is configured.
 # Typeset document
 # Typeset single document
 Typeset a document as follows:
 The document is typeset; open the PDF file in a PDF reader to view the result.
 # Typeset multiple documents
 Typeset multiple documents similar to single documents, with one difference:
 * Click **File → Export As → Joined PDF** (or type `Ctrl+Shift+p`).
 All documents having the same file name extension in the same directory
 (or sub-directories) as the actively edited file are first concatenated then
 typeset into a single PDF document. The order that files are concatenated
 is numeric and alphabetic.
 For example, if `1.Rmd` is a sibling of the following files in the same
 directory, then all the files will be included in the PDF, as expected:
     chapter_1.Rmd
     chapter_2.Rmd
     chapter_2a.Rmd
     chapter_2b.Rmd
     chapter_3.Rmd
     chapter_10.Rmd
 Basically, sorting honours numbers and letters in file names.
 # Background

M installer.sh

 set SCRIPT_DIR=%~dp0
 "%SCRIPT_DIR%\\${ARG_JAVA_DIR}\\bin\\java" ${OPT_JAVA} -jar "%SCRIPT_DIR%\\${APP_NAME}.jar" %*
 "%SCRIPT_DIR%\\${ARG_JAVA_DIR}\\bin\\java" ${OPT_JAVA} -jar "%SCRIPT_DIR%\\${APP_NAME}.jar" %* 2>nul
 __EOT

D scripts/bash-template

 #!/usr/bin/env bash
 # -----------------------------------------------------------------------------
 # Copyright 2020 Dave Jarvis
+#
 # Permission is hereby granted, free of charge, to any person obtaining a
 # copy of this software and associated documentation files (the
 # "Software"), to deal in the Software without restriction, including
 # without limitation the rights to use, copy, modify, merge, publish,
 # distribute, sublicense, and/or sell copies of the Software, and to
 # permit persons to whom the Software is furnished to do so, subject to
 # the following conditions:
+#
 # The above copyright notice and this permission notice shall be included
 # in all copies or substantial portions of the Software.
+#
 # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
 # OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 # MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
 # IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
 # CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
 # TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
 # SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 # -----------------------------------------------------------------------------
 set -o errexit
 set -o nounset
 readonly SCRIPT_SRC="$(dirname "${BASH_SOURCE[${#BASH_SOURCE[@]} - 1]}")"
 readonly SCRIPT_DIR="$(cd "${SCRIPT_SRC}" >/dev/null 2>&1 && pwd)"
 readonly SCRIPT_NAME=$(basename "$0")
 # -----------------------------------------------------------------------------
 # The main entry point is responsible for parsing command-line arguments,
 # changing to the appropriate directory, and running all commands requested
 # by the user.
+#
 # $@ - Command-line arguments
 # -----------------------------------------------------------------------------
 main() {
   arguments "$@"
   $usage       && terminate 3
   requirements && terminate 4
   traps        && terminate 5
   directory    && terminate 6
   preprocess   && terminate 7
   execute      && terminate 8
   postprocess  && terminate 9
   terminate 0
+}
 # -----------------------------------------------------------------------------
 # Perform all commands that the script requires.
+#
 # @return 0 - Indicate to terminate the script with non-zero exit level
 # @return 1 - All tasks completed successfully (default)
 # -----------------------------------------------------------------------------
 execute() {
   return 1
+}
 # -----------------------------------------------------------------------------
 # Changes to the script's working directory, provided it exists.
+#
 # @return 0 - Change directory failed
 # @return 1 - Change directory succeeded
 # -----------------------------------------------------------------------------
 directory() {
   $log "Change directory"
   local result=1
   # Track whether change directory failed.
   cd "${SCRIPT_DIR}" > /dev/null 2>&1 || result=0
   return "${result}"
+}
 # -----------------------------------------------------------------------------
 # Perform any initialization required prior to executing tasks.
+#
 # @return 0 - Preprocessing failed
 # @return 1 - Preprocessing succeeded
 # -----------------------------------------------------------------------------
 preprocess() {
   $log "Preprocess"
   return 1
+}
 # -----------------------------------------------------------------------------
 # Perform any clean up required prior to executing tasks.
+#
 # @return 0 - Postprocessing failed
 # @return 1 - Postprocessing succeeded
 # -----------------------------------------------------------------------------
 postprocess() {
   $log "Postprocess"
   return 1
+}
 # -----------------------------------------------------------------------------
 # Check that all required commands are available.
+#
 # @return 0 - At least one command is missing
 # @return 1 - All commands are available
 # -----------------------------------------------------------------------------
 requirements() {
   $log "Verify requirements"
   local -r expected_count=${#DEPENDENCIES[@]}
   local total_count=0
   # Verify that each command exists.
   for dependency in "${DEPENDENCIES[@]}"; do
     # Extract the command name [0] and URL [1].
     IFS=',' read -ra dependent <<< "${dependency}"
     required "${dependent[0]}" "${dependent[1]}"
     total_count=$(( total_count + $? ))
   done
   unset IFS
   # Total dependencies found must match the expected number.
   # Integer-only division rounds down.
   return $(( total_count / expected_count ))
+}
 # -----------------------------------------------------------------------------
 # Called before terminating the script.
 # -----------------------------------------------------------------------------
 cleanup() {
   $log "Cleanup"
+}
 # -----------------------------------------------------------------------------
 # Terminates the program immediately.
 # -----------------------------------------------------------------------------
 trap_control_c() {
   $log "Interrupted"
   cleanup
   error "⯃"
   terminate 1
+}
 # -----------------------------------------------------------------------------
 # Configure signal traps.
+#
 # @return 1 - Signal traps are set.
 # -----------------------------------------------------------------------------
 traps() {
   # Suppress echoing ^C if pressed.
   stty -echoctl
   trap trap_control_c INT
   return 1
+}
 # -----------------------------------------------------------------------------
 # Check for a required command.
+#
 # $1 - Command or file to check for existence
 # $2 - Command's website (e.g., download for binaries and source code)
+#
 # @return 0 - Command is missing
 # @return 1 - Command exists
 # -----------------------------------------------------------------------------
 required() {
   local result=0
   test -f "$1" || \
   command -v "$1" > /dev/null 2>&1 && result=1 || \
     warning "Missing: $1 ($2)"
   return ${result}
+}
 # -----------------------------------------------------------------------------
 # Show acceptable command-line arguments.
+#
 # @return 0 - Indicate script may not continue
 # -----------------------------------------------------------------------------
 utile_usage() {
   printf "Usage: %s [OPTIONS...]\n\n" "${SCRIPT_NAME}" >&2
   # Number of spaces to pad after the longest long argument.
   local -r PADDING=2
   # Determine the longest long argument to adjust spacing.
   local -r LEN=$(printf '%s\n' "${ARGUMENTS[@]}" | \
     awk -F"," '{print length($2)+'${PADDING}'}' | sort -n | tail -1)
   local duplicates
   for argument in "${ARGUMENTS[@]}"; do
     # Extract the short [0] and long [1] arguments and description [2].
     arg=("$(echo ${argument} | cut -d ',' -f1)" \
          "$(echo ${argument} | cut -d ',' -f2)" \
          "$(echo ${argument} | cut -d ',' -f3-)")
     duplicates+=("${arg[0]}")
     printf "  -%s, --%-${LEN}s%s\n" "${arg[0]}" "${arg[1]}" "${arg[2]}" >&2
   done
   # Sort the arguments to make sure no duplicates exist.
   duplicates=$(echo "${duplicates[@]}" | tr ' ' '\n' | sort | uniq -c -d)
   # Warn the developer that there's a duplicate command-line option.
   if [ -n "${duplicates}" ]; then
     # Trim all the whitespaces
     duplicates=$(echo "${duplicates}" | xargs echo -n)
     error "Duplicate command-line argument exists: ${duplicates}"
   fi
   return 0
+}
 # -----------------------------------------------------------------------------
 # Write coloured text to standard output.
+#
 # $1 - Text to write
 # $2 - Text's colour
 # -----------------------------------------------------------------------------
 coloured_text() {
   printf "%b%s%b\n" "$2" "$1" "${COLOUR_OFF}"
+}
 # -----------------------------------------------------------------------------
 # Write a warning message to standard output.
+#
 # $1 - Text to write
 # -----------------------------------------------------------------------------
 warning() {
   coloured_text "$1" "${COLOUR_WARNING}"
+}
 # -----------------------------------------------------------------------------
 # Write an error message to standard output.
+#
 # $1 - Text to write
 # -----------------------------------------------------------------------------
 error() {
   coloured_text "$1" "${COLOUR_ERROR}"
+}
 # -----------------------------------------------------------------------------
 # Write a timestamp and message to standard output.
+#
 # $1 - Text to write
 # -----------------------------------------------------------------------------
 utile_log() {
   printf "[%s] " "$(date +%H:%M:%S.%4N)"
   coloured_text "$1" "${COLOUR_LOGGING}"
+}
 # -----------------------------------------------------------------------------
 # Perform no operations.
+#
 # return 1 - Success
 # -----------------------------------------------------------------------------
 noop() {
   return 1
+}
 # -----------------------------------------------------------------------------
 # Exit the program with a given exit code.
+#
 # $1 - Exit code
 # -----------------------------------------------------------------------------
 terminate() {
   exit "$1"
+}
 # -----------------------------------------------------------------------------
 # Set global variables from command-line arguments.
 # -----------------------------------------------------------------------------
 arguments() {
   while [ "$#" -gt "0" ]; do
     local consume=1
     case "$1" in
       -V|--verbose)
         log=utile_log
       ;;
       -h|-\?|--help)
         usage=utile_usage
       ;;
       *)
         set +e
         argument "$@"
         consume=$?
         set -e
       ;;
     esac
     shift ${consume}
   done
+}
 # -----------------------------------------------------------------------------
 # Parses a single command-line argument. This must return a value greater
 # than or equal to 1, otherwise parsing the command-line arguments will
 # loop indefinitely.
+#
 # @return The number of arguments to consume (1 by default).
 # -----------------------------------------------------------------------------
 argument() {
   return 1
+}
 # ANSI colour escape sequences.
 readonly COLOUR_BLUE='\033[1;34m'
 readonly COLOUR_PINK='\033[1;35m'
 readonly COLOUR_DKGRAY='\033[30m'
 readonly COLOUR_DKRED='\033[31m'
 readonly COLOUR_LTRED='\033[1;31m'
 readonly COLOUR_YELLOW='\033[1;33m'
 readonly COLOUR_OFF='\033[0m'
 # Colour definitions used by script.
 COLOUR_LOGGING=${COLOUR_BLUE}
 COLOUR_WARNING=${COLOUR_YELLOW}
 COLOUR_ERROR=${COLOUR_LTRED}
 # Define required commands to check when script starts.
 DEPENDENCIES=(
   "awk,https://www.gnu.org/software/gawk/manual/gawk.html"
   "cut,https://www.gnu.org/software/coreutils"
+)
 # Define help for command-line arguments.
 ARGUMENTS=(
   "V,verbose,Log messages while processing"
   "h,help,Show this help message then exit"
+)
 # These functions may be set to utile delegates while parsing arguments.
 usage=noop
 log=noop

A scripts/build-template

 #!/usr/bin/env bash
 # -----------------------------------------------------------------------------
 # Copyright 2020 Dave Jarvis
+#
 # Permission is hereby granted, free of charge, to any person obtaining a
 # copy of this software and associated documentation files (the
 # "Software"), to deal in the Software without restriction, including
 # without limitation the rights to use, copy, modify, merge, publish,
 # distribute, sublicense, and/or sell copies of the Software, and to
 # permit persons to whom the Software is furnished to do so, subject to
 # the following conditions:
+#
 # The above copyright notice and this permission notice shall be included
 # in all copies or substantial portions of the Software.
+#
 # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
 # OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 # MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
 # IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
 # CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
 # TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
 # SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 # -----------------------------------------------------------------------------
 set -o errexit
 set -o nounset
 readonly SCRIPT_SRC="$(dirname "${BASH_SOURCE[${#BASH_SOURCE[@]} - 1]}")"
 readonly SCRIPT_DIR="$(cd "${SCRIPT_SRC}" >/dev/null 2>&1 && pwd)"
 readonly SCRIPT_NAME=$(basename "$0")
 # -----------------------------------------------------------------------------
 # The main entry point is responsible for parsing command-line arguments,
 # changing to the appropriate directory, and running all commands requested
 # by the user.
+#
 # $@ - Command-line arguments
 # -----------------------------------------------------------------------------
 main() {
   arguments "$@"
   $usage       && terminate 3
   requirements && terminate 4
   traps        && terminate 5
   directory    && terminate 6
   preprocess   && terminate 7
   execute      && terminate 8
   postprocess  && terminate 9
   terminate 0
+}
 # -----------------------------------------------------------------------------
 # Perform all commands that the script requires.
+#
 # @return 0 - Indicate to terminate the script with non-zero exit level
 # @return 1 - All tasks completed successfully (default)
 # -----------------------------------------------------------------------------
 execute() {
   return 1
+}
 # -----------------------------------------------------------------------------
 # Changes to the script's working directory, provided it exists.
+#
 # @return 0 - Change directory failed
 # @return 1 - Change directory succeeded
 # -----------------------------------------------------------------------------
 directory() {
   $log "Change directory"
   local result=1
   # Track whether change directory failed.
   cd "${SCRIPT_DIR}" > /dev/null 2>&1 || result=0
   return "${result}"
+}
 # -----------------------------------------------------------------------------
 # Perform any initialization required prior to executing tasks.
+#
 # @return 0 - Preprocessing failed
 # @return 1 - Preprocessing succeeded
 # -----------------------------------------------------------------------------
 preprocess() {
   $log "Preprocess"
   return 1
+}
 # -----------------------------------------------------------------------------
 # Perform any clean up required prior to executing tasks.
+#
 # @return 0 - Postprocessing failed
 # @return 1 - Postprocessing succeeded
 # -----------------------------------------------------------------------------
 postprocess() {
   $log "Postprocess"
   return 1
+}
 # -----------------------------------------------------------------------------
 # Check that all required commands are available.
+#
 # @return 0 - At least one command is missing
 # @return 1 - All commands are available
 # -----------------------------------------------------------------------------
 requirements() {
   $log "Verify requirements"
   local -r expected_count=${#DEPENDENCIES[@]}
   local total_count=0
   # Verify that each command exists.
   for dependency in "${DEPENDENCIES[@]}"; do
     # Extract the command name [0] and URL [1].
     IFS=',' read -ra dependent <<< "${dependency}"
     required "${dependent[0]}" "${dependent[1]}"
     total_count=$(( total_count + $? ))
   done
   unset IFS
   # Total dependencies found must match the expected number.
   # Integer-only division rounds down.
   return $(( total_count / expected_count ))
+}
 # -----------------------------------------------------------------------------
 # Called before terminating the script.
 # -----------------------------------------------------------------------------
 cleanup() {
   $log "Cleanup"
+}
 # -----------------------------------------------------------------------------
 # Terminates the program immediately.
 # -----------------------------------------------------------------------------
 trap_control_c() {
   $log "Interrupted"
   cleanup
   error "⯃"
   terminate 1
+}
 # -----------------------------------------------------------------------------
 # Configure signal traps.
+#
 # @return 1 - Signal traps are set.
 # -----------------------------------------------------------------------------
 traps() {
   # Suppress echoing ^C if pressed.
   stty -echoctl
   trap trap_control_c INT
   return 1
+}
 # -----------------------------------------------------------------------------
 # Check for a required command.
+#
 # $1 - Command or file to check for existence
 # $2 - Command's website (e.g., download for binaries and source code)
+#
 # @return 0 - Command is missing
 # @return 1 - Command exists
 # -----------------------------------------------------------------------------
 required() {
   local result=0
   test -f "$1" || \
   command -v "$1" > /dev/null 2>&1 && result=1 || \
     warning "Missing: $1 ($2)"
   return ${result}
+}
 # -----------------------------------------------------------------------------
 # Show acceptable command-line arguments.
+#
 # @return 0 - Indicate script may not continue
 # -----------------------------------------------------------------------------
 utile_usage() {
   printf "Usage: %s [OPTIONS...]\n\n" "${SCRIPT_NAME}" >&2
   # Number of spaces to pad after the longest long argument.
   local -r PADDING=2
   # Determine the longest long argument to adjust spacing.
   local -r LEN=$(printf '%s\n' "${ARGUMENTS[@]}" | \
     awk -F"," '{print length($2)+'${PADDING}'}' | sort -n | tail -1)
   local duplicates
   for argument in "${ARGUMENTS[@]}"; do
     # Extract the short [0] and long [1] arguments and description [2].
     arg=("$(echo ${argument} | cut -d ',' -f1)" \
          "$(echo ${argument} | cut -d ',' -f2)" \
          "$(echo ${argument} | cut -d ',' -f3-)")
     duplicates+=("${arg[0]}")
     printf "  -%s, --%-${LEN}s%s\n" "${arg[0]}" "${arg[1]}" "${arg[2]}" >&2
   done
   # Sort the arguments to make sure no duplicates exist.
   duplicates=$(echo "${duplicates[@]}" | tr ' ' '\n' | sort | uniq -c -d)
   # Warn the developer that there's a duplicate command-line option.
   if [ -n "${duplicates}" ]; then
     # Trim all the whitespaces
     duplicates=$(echo "${duplicates}" | xargs echo -n)
     error "Duplicate command-line argument exists: ${duplicates}"
   fi
   return 0
+}
 # -----------------------------------------------------------------------------
 # Write coloured text to standard output.
+#
 # $1 - Text to write
 # $2 - Text's colour
 # -----------------------------------------------------------------------------
 coloured_text() {
   printf "%b%s%b\n" "$2" "$1" "${COLOUR_OFF}"
+}
 # -----------------------------------------------------------------------------
 # Write a warning message to standard output.
+#
 # $1 - Text to write
 # -----------------------------------------------------------------------------
 warning() {
   coloured_text "$1" "${COLOUR_WARNING}"
+}
 # -----------------------------------------------------------------------------
 # Write an error message to standard output.
+#
 # $1 - Text to write
 # -----------------------------------------------------------------------------
 error() {
   coloured_text "$1" "${COLOUR_ERROR}"
+}
 # -----------------------------------------------------------------------------
 # Write a timestamp and message to standard output.
+#
 # $1 - Text to write
 # -----------------------------------------------------------------------------
 utile_log() {
   printf "[%s] " "$(date +%H:%M:%S.%4N)"
   coloured_text "$1" "${COLOUR_LOGGING}"
+}
 # -----------------------------------------------------------------------------
 # Perform no operations.
+#
 # return 1 - Success
 # -----------------------------------------------------------------------------
 noop() {
   return 1
+}
 # -----------------------------------------------------------------------------
 # Exit the program with a given exit code.
+#
 # $1 - Exit code
 # -----------------------------------------------------------------------------
 terminate() {
   exit "$1"
+}
 # -----------------------------------------------------------------------------
 # Set global variables from command-line arguments.
 # -----------------------------------------------------------------------------
 arguments() {
   while [ "$#" -gt "0" ]; do
     local consume=1
     case "$1" in
       -V|--verbose)
         log=utile_log
       ;;
       -h|-\?|--help)
         usage=utile_usage
       ;;
       *)
         set +e
         argument "$@"
         consume=$?
         set -e
       ;;
     esac
     shift ${consume}
   done
+}
 # -----------------------------------------------------------------------------
 # Parses a single command-line argument. This must return a value greater
 # than or equal to 1, otherwise parsing the command-line arguments will
 # loop indefinitely.
+#
 # @return The number of arguments to consume (1 by default).
 # -----------------------------------------------------------------------------
 argument() {
   return 1
+}
 # ANSI colour escape sequences.
 readonly COLOUR_BLUE='\033[1;34m'
 readonly COLOUR_PINK='\033[1;35m'
 readonly COLOUR_DKGRAY='\033[30m'
 readonly COLOUR_DKRED='\033[31m'
 readonly COLOUR_LTRED='\033[1;31m'
 readonly COLOUR_YELLOW='\033[1;33m'
 readonly COLOUR_OFF='\033[0m'
 # Colour definitions used by script.
 COLOUR_LOGGING=${COLOUR_BLUE}
 COLOUR_WARNING=${COLOUR_YELLOW}
 COLOUR_ERROR=${COLOUR_LTRED}
 # Define required commands to check when script starts.
 DEPENDENCIES=(
   "awk,https://www.gnu.org/software/gawk/manual/gawk.html"
   "cut,https://www.gnu.org/software/coreutils"
+)
 # Define help for command-line arguments.
 ARGUMENTS=(
   "V,verbose,Log messages while processing"
   "h,help,Show this help message then exit"
+)
 # These functions may be set to utile delegates while parsing arguments.
 usage=noop
 log=noop

M src/main/java/com/keenwrite/Launcher.java

 import static com.keenwrite.Bootstrap.*;
 import static com.keenwrite.PermissiveCertificate.installTrustManager;
 import static java.lang.String.format;
    */
   public static void main( final String[] args ) {
     showAppInfo();
     MainApp.main( args );
     try {
       installTrustManager();
       showAppInfo();
       MainApp.main( args );
     } catch( final Throwable t ) {
       log( t );
+    }
+  }
   @SuppressWarnings("RedundantStringFormatCall")
   @SuppressWarnings( "RedundantStringFormatCall" )
   private static void showAppInfo() {
     out( format( "%s version %s", APP_TITLE, APP_VERSION ) );
+  }
   @SuppressWarnings("SameParameterValue")
   @SuppressWarnings( "SameParameterValue" )
   private static Properties loadProperties( final String resource )
     throws IOException {
   private static InputStream getResourceAsStream( final String resource ) {
     return Launcher.class.getClassLoader().getResourceAsStream( resource );
+  }
   /**
    * Logs the message of an error to the console.
+   *
    * @param error The fatal error that could not be handled.
    */
   private static void log( final Throwable error ) {
     var message = error.getMessage();
     if( message != null && message.toLowerCase().contains( "javafx" ) ) {
       message = "Re-run using a Java Runtime Environment that includes JavaFX.";
+    }
     out( format( "ERROR: %s", message ) );
+  }
+}

M src/main/java/com/keenwrite/MainApp.java

   @Override
   public void start( final Stage stage ) {
     // Must be instantiated after the UI is initialized (i.e., not in main).
     // Must be instantiated after the UI is initialized (i.e., not in main)
     // because it interacts with GUI properties.
     mWorkspace = new Workspace();

M src/main/java/com/keenwrite/MainPane.java

     mPreview = new HtmlPreview( workspace );
     mStatistics = new DocumentStatistics( workspace );
     mActiveTextEditor.set( new MarkdownEditor( workspace ) );
     open( bin( getRecentFiles() ) );
     viewPreview();
     setDividerPositions( calculateDividerPositions() );
     // Once the main scene's window regains focus, update the active definition
     // editor to the currently selected tab.
     runLater(
       () -> getWindow().setOnCloseRequest( ( event ) -> {
         // Order matters here. We want to close all the tabs to ensure each
         // is saved, but after they are closed, the workspace should still
         // retain the list of files that were open. If this line came after
         // closing, then restarting the application would list no files.
         mWorkspace.save();
     runLater( () -> getWindow().setOnCloseRequest( ( event ) -> {
       // Order matters here. We want to close all the tabs to ensure each
       // is saved, but after they are closed, the workspace should still
       // retain the list of files that were open. If this line came after
       // closing, then restarting the application would list no files.
       mWorkspace.save();
         if( closeAll() ) {
           Platform.exit();
           System.exit( 0 );
+        }
         else {
           event.consume();
+        }
       } )
     );
       if( closeAll() ) {
         Platform.exit();
         System.exit( 0 );
+      }
       else {
         event.consume();
+      }
     } ) );
     register( this );

A src/main/java/com/keenwrite/PermissiveCertificate.java

 /* Copyright 2020-2021 White Magic Software, Ltd. -- All rights reserved. */
 package com.keenwrite;
 import javax.net.ssl.*;
 import java.security.SecureRandom;
 import java.security.cert.X509Certificate;
 import static javax.net.ssl.HttpsURLConnection.setDefaultHostnameVerifier;
 import static javax.net.ssl.HttpsURLConnection.setDefaultSSLSocketFactory;
 /**
  * Responsible for trusting all certificate chains. The purpose of this class
  * is to work-around certificate issues caused by software that blocks
  * HTTP requests. For example, zscaler may block HTTP requests to kroki.io
  * when generating diagrams.
  */
 public final class PermissiveCertificate {
   /**
    * Create a trust manager that does not validate certificate chains.
    */
   private final static TrustManager[] TRUST_ALL_CERTS = new TrustManager[]{
     new X509TrustManager() {
       @Override
       public X509Certificate[] getAcceptedIssuers() {
         return new X509Certificate[ 0 ];
+      }
       @Override
       public void checkClientTrusted(
         X509Certificate[] certs, String authType ) {
+      }
       @Override
       public void checkServerTrusted(
         X509Certificate[] certs, String authType ) {
+      }
+    }
   };
   /**
    * Responsible for permitting all hostnames for making HTTP requests.
    */
   private static class PermissiveHostNameVerifier implements HostnameVerifier {
     @Override
     public boolean verify( final String hostname, final SSLSession session ) {
       return true;
+    }
+  }
   /**
    * Use {@link #installTrustManager()}.
    */
   private PermissiveCertificate() {
+  }
   /**
    * Install the all-trusting trust manager. If this fails it means that in
    * certain situations the HTML preview may fail to render diagrams. A way
    * to work-around the issue is to install a local server for generating
    * diagrams.
    */
   public static boolean installTrustManager() {
     try {
       final var context = SSLContext.getInstance( "SSL" );
       context.init( null, TRUST_ALL_CERTS, new SecureRandom() );
       setDefaultSSLSocketFactory( context.getSocketFactory() );
       setDefaultHostnameVerifier( new PermissiveHostNameVerifier() );
       return true;
     } catch( final Exception ex ) {
       return false;
+    }
+  }
+}

M src/main/java/com/keenwrite/constants/Constants.java

   /**
    * Default server name for rendering diagrams.
    * <p>
    * TODO: Make this a preference so that local installs are possible.
    */
   public static final String DIAGRAM_SERVER_NAME = "kroki.io";
   /**
    * Application action messages properties prefix.
    */
   public static final String ACTION_PREFIX = "Action.";
   /**
    * Restrict theme names when displaying.
    */
   public static final byte THEME_NAME_LENGTH = 30;
   /**

M src/main/java/com/keenwrite/editors/TextEditor.java

   /**
    * Requests making the selected text, or word at caret, monospace.
    */
   default void monospace() { }
   /**
    * Requests making the selected text, or word at caret, a superscript.
    */

M src/main/java/com/keenwrite/editors/markdown/MarkdownEditor.java

   @Override
   public void monospace() {
     enwrap( "`" );
+  }
   @Override
   public void superscript() {
     enwrap( "^" );

M src/main/java/com/keenwrite/events/StatusEvent.java

 import com.keenwrite.MainApp;
 import java.util.List;
 import java.util.stream.Collectors;
  * exceptions, state problems, parsing errors, and so forth.
  */
 public class StatusEvent implements AppEvent {
 public final class StatusEvent implements AppEvent {
   private static final String PACKAGE_NAME = MainApp.class.getPackageName();
    */
   public StatusEvent( final String message ) {
     this( message, null );
     assert message != null;
     mMessage = message;
     mProblem = null;
+  }
   /**
    * Constructs a new event that contains a problem description to help the
    * user resolve an issue encountered while using the application.
+   *
    * @param message The human-readable message, typically displayed on-screen.
    * @param problem Stack trace to pin-point the problem, may be {@code null}.
    */
   public StatusEvent( final Throwable problem ) {
     this( "", problem );
+  }
   public StatusEvent( final String message, final Throwable problem ) {
     assert message != null;
     assert problem != null;
     mMessage = message;
     mProblem = problem;
+  }
   public String getException() {
     return mProblem == null ? "" : toEnglish( mProblem );
   @Override
   public String toString() {
     return format( "%s%s%s",
                    mMessage,
                    mMessage.isBlank() ? "" : " ",
                    mProblem == null ? "" : toEnglish( mProblem ) );
+  }
     // Subclasses of RuntimeException must be subject to Englishification.
     if( problem.getClass().equals( RuntimeException.class ) &&
       (problem = problem.getCause()) == null ) {
       return "";
     if( problem.getClass().equals( RuntimeException.class ) ) {
       final var cause = problem.getCause();
       return cause == null ? problem.getMessage() : cause.getMessage();
+    }
     final var className = problem.getClass().getSimpleName();
     final var words = join( " ", className.split( ENGLISHIFY ) );
     return format( " (%s: %s)", words.toLowerCase(), problem.getMessage() );
     return format( "(%s: %s)", words.toLowerCase(), problem.getMessage() );
+  }
   /**
    * Updates the status bar with a custom message.
    * Notifies listeners of a series of messages. This is useful when providing
    * users feedback of how third-party executables have failed.
+   *
    * @param key  The property key having a value to populate with arguments.
    * @param args The placeholder values to substitute into the key's value.
    * @param messages The lines of text to display.
    */
   public static void clue( final String key, final Object... args ) {
     fireStatusEvent( get( key, args ) );
   public static void clue( final List<String> messages ) {
     messages.forEach( StatusEvent::fireStatusEvent );
+  }
   /**
    * Update the status bar with a pre-parsed message and exception.
    * Notifies listeners of an error.
+   *
    * @param message The custom message to log.
    * @param problem The exception that triggered the status update.
    * @param key The message bundle key to look up.
    * @param t   The exception that caused the error.
    */
   public static void clue( final String message, final Throwable problem ) {
     fireStatusEvent( message, problem );
   public static void clue( final String key, final Throwable t ) {
     fireStatusEvent( get( key ), t );
+  }
   /**
    * Called when an exception occurs that warrants the user's attention.
    * Notifies listeners of a custom message.
+   *
    * @param key  The property key having a value to populate with arguments.
    * @param args The placeholder values to substitute into the key's value.
    */
   public static void clue( final String key, final Object... args ) {
     fireStatusEvent( get( key, args ) );
+  }
   /**
    * Notifies listeners of an exception occurs that warrants the user's
    * attention.
+   *
    * @param problem The exception with a message to display to the user.
    */
   public static void clue( final Throwable problem ) {
     fireStatusEvent( "", problem );
     fireStatusEvent( problem );
+  }
   private static void fireStatusEvent( final String message ) {
     new StatusEvent( message ).fire();
+  }
   private static void fireStatusEvent( final Throwable problem ) {
     new StatusEvent( problem ).fire();
+  }

M src/main/java/com/keenwrite/io/HttpFacade.java

    */
   public static Response httpGet( final URL url ) throws Exception {
     return new Response(url);
     return new Response( url );
+  }
       clue( "Main.status.image.request.init" );
       final var connection = url.openConnection();
       if( connection instanceof HttpURLConnection ) {
         mConn = (HttpURLConnection) connection;
         mConn.setUseCaches( false );
         mConn.setInstanceFollowRedirects( true );
         mConn.setRequestProperty( "Accept-Encoding", "gzip" );
         mConn.setRequestProperty( "User-Agent", getProperty( "http.agent" ) );
         mConn.setRequestMethod( "GET" );
         mConn.setConnectTimeout( 15000 );
         mConn.setRequestProperty( "connection", "close" );
         mConn.connect();
       if( url.openConnection() instanceof HttpURLConnection conn ) {
         conn.setUseCaches( false );
         conn.setInstanceFollowRedirects( true );
         conn.setRequestProperty( "Accept-Encoding", "gzip" );
         conn.setRequestProperty( "User-Agent", getProperty( "http.agent" ) );
         conn.setRequestMethod( "GET" );
         conn.setConnectTimeout( 15000 );
         conn.setRequestProperty( "connection", "close" );
         conn.connect();
         clue( "Main.status.image.request.fetch", url.getHost() );
         final var code = mConn.getResponseCode();
         final var code = conn.getResponseCode();
         // Even though there are other "okay" error codes, tell the user when
         // a resource has changed in any unexpected way.
         if( code != HTTP_OK ) {
           throw new IOException( url.toString() + " [HTTP " + code + "]" );
           throw new IOException( url + " [HTTP " + code + "]" );
+        }
         mConn = conn;
         mStream = openBufferedInputStream();
+      }

M src/main/java/com/keenwrite/preferences/PreferencesController.java

 import com.dlsc.preferencesfx.util.StorageHandler;
 import com.dlsc.preferencesfx.view.NavigationView;
 import javafx.beans.property.DoubleProperty;
 import javafx.beans.property.ObjectProperty;
 import javafx.beans.property.StringProperty;
 import javafx.event.EventHandler;
 import javafx.scene.Node;
 import javafx.scene.control.Button;
 import javafx.scene.control.DialogPane;
 import javafx.scene.control.Label;
 import org.controlsfx.control.MasterDetailPane;
 import java.io.File;
 import static com.dlsc.formsfx.model.structure.Field.ofStringType;
 import static com.dlsc.preferencesfx.PreferencesFxEvent.EVENT_PREFERENCES_SAVED;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.constants.GraphicsConstants.ICON_DIALOG;
 import static com.keenwrite.preferences.LocaleProperty.localeListProperty;
 import static com.keenwrite.preferences.SkinProperty.skinListProperty;
 import static com.keenwrite.preferences.WorkspaceKeys.*;
 import static javafx.scene.control.ButtonType.CANCEL;
 import static javafx.scene.control.ButtonType.OK;
 /**
  * Provides the ability for users to configure their preferences. This links
  * the {@link Workspace} model with the {@link PreferencesFx} view, in MVC.
  */
 @SuppressWarnings( "SameParameterValue" )
 public final class PreferencesController {
   private final Workspace mWorkspace;
   private final PreferencesFx mPreferencesFx;
   public PreferencesController( final Workspace workspace ) {
     mWorkspace = workspace;
     // All properties must be initialized before creating the dialog.
     mPreferencesFx = createPreferencesFx();
     initKeyEventHandler( mPreferencesFx );
+  }
   /**
    * Display the user preferences settings dialog (non-modal).
    */
   public void show() {
     getPreferencesFx().show( false );
+  }
   /**
    * Call to persist the settings. Strictly speaking, this could watch on
    * all values for external changes then save automatically.
    */
   public void save() {
     getPreferencesFx().saveSettings();
+  }
   /**
    * Delegates to the {@link PreferencesFx} event handler for monitoring
    * save events.
+   *
    * @param eventHandler The handler to call when the preferences are saved.
    */
   public void addSaveEventHandler(
     final EventHandler<? super PreferencesFxEvent> eventHandler ) {
     getPreferencesFx().addEventHandler( EVENT_PREFERENCES_SAVED, eventHandler );
+  }
   private StringField createFontNameField(
     final StringProperty fontName, final DoubleProperty fontSize ) {
     final var control = new SimpleFontControl( "Change" );
     control.fontSizeProperty().addListener( ( c, o, n ) -> {
       if( n != null ) {
         fontSize.set( n.doubleValue() );
+      }
     } );
     return ofStringType( fontName ).render( control );
+  }
   /**
    * Creates the preferences dialog based using {@link XmlStorageHandler} and
    * numerous {@link Category} objects.
+   *
    * @return A component for editing preferences.
    * @throws RuntimeException Could not construct the {@link PreferencesFx}
    *                          object (e.g., illegal access permissions,
    *                          unmapped XML resource).
    */
   private PreferencesFx createPreferencesFx() {
     return PreferencesFx.of( createStorageHandler(), createCategories() )
                         .instantPersistent( false )
                         .dialogIcon( ICON_DIALOG );
+  }
   private StorageHandler createStorageHandler() {
     return new XmlStorageHandler();
+  }
   private Category[] createCategories() {
     return new Category[]{
       Category.of(
         get( KEY_DOC ),
         Group.of(
           get( KEY_DOC_TITLE ),
           Setting.of( label( KEY_DOC_TITLE ) ),
           Setting.of( title( KEY_DOC_TITLE ),
                       stringProperty( KEY_DOC_TITLE ) )
         ),
         Group.of(
           get( KEY_DOC_AUTHOR ),
           Setting.of( label( KEY_DOC_AUTHOR ) ),
           Setting.of( title( KEY_DOC_AUTHOR ),
                       stringProperty( KEY_DOC_AUTHOR ) )
         ),
         Group.of(
           get( KEY_DOC_BYLINE ),
           Setting.of( label( KEY_DOC_BYLINE ) ),
           Setting.of( title( KEY_DOC_BYLINE ),
                       stringProperty( KEY_DOC_BYLINE ) )
         ),
         Group.of(
           get( KEY_DOC_ADDRESS ),
           Setting.of( label( KEY_DOC_ADDRESS ) ),
           createMultilineSetting( "Address", KEY_DOC_ADDRESS )
         ),
         Group.of(
           get( KEY_DOC_PHONE ),
           Setting.of( label( KEY_DOC_PHONE ) ),
           Setting.of( title( KEY_DOC_PHONE ),
                       stringProperty( KEY_DOC_PHONE ) )
         ),
         Group.of(
           get( KEY_DOC_EMAIL ),
           Setting.of( label( KEY_DOC_EMAIL ) ),
           Setting.of( title( KEY_DOC_EMAIL ),
                       stringProperty( KEY_DOC_EMAIL ) )
         ),
         Group.of(
           get( KEY_DOC_KEYWORDS ),
           Setting.of( label( KEY_DOC_KEYWORDS ) ),
           Setting.of( title( KEY_DOC_KEYWORDS ),
                       stringProperty( KEY_DOC_KEYWORDS ) )
         ),
         Group.of(
           get( KEY_DOC_COPYRIGHT ),
           Setting.of( label( KEY_DOC_COPYRIGHT ) ),
           Setting.of( title( KEY_DOC_COPYRIGHT ),
                       stringProperty( KEY_DOC_COPYRIGHT ) )
         ),
         Group.of(
           get( KEY_DOC_DATE ),
           Setting.of( label( KEY_DOC_DATE ) ),
           Setting.of( title( KEY_DOC_DATE ),
                       stringProperty( KEY_DOC_DATE ) )
+        )
       ),
       Category.of(
         get( KEY_TYPESET ),
         Group.of(
           get( KEY_TYPESET_CONTEXT ),
           Setting.of( label( KEY_TYPESET_CONTEXT_THEMES_PATH ) ),
           Setting.of( title( KEY_TYPESET_CONTEXT_THEMES_PATH ),
                       fileProperty( KEY_TYPESET_CONTEXT_THEMES_PATH ), true )
+        )
       ),
       Category.of(
         get( KEY_R ),
         Group.of(
           get( KEY_R_DIR ),
           Setting.of( label( KEY_R_DIR,
                              stringProperty( KEY_DEF_DELIM_BEGAN ).get(),
                              stringProperty( KEY_DEF_DELIM_ENDED ).get() ) ),
           Setting.of( title( KEY_R_DIR ),
                       fileProperty( KEY_R_DIR ), true )
         ),
         Group.of(
           get( KEY_R_SCRIPT ),
           Setting.of( label( KEY_R_SCRIPT ) ),
           createMultilineSetting( "Script", KEY_R_SCRIPT )
         ),
         Group.of(
           get( KEY_R_DELIM_BEGAN ),
           Setting.of( label( KEY_R_DELIM_BEGAN ) ),
           Setting.of( title( KEY_R_DELIM_BEGAN ),
                       stringProperty( KEY_R_DELIM_BEGAN ) )
         ),
         Group.of(
           get( KEY_R_DELIM_ENDED ),
           Setting.of( label( KEY_R_DELIM_ENDED ) ),
           Setting.of( title( KEY_R_DELIM_ENDED ),
                       stringProperty( KEY_R_DELIM_ENDED ) )
+        )
       ),
       Category.of(
         get( KEY_IMAGES ),
         Group.of(
           get( KEY_IMAGES_DIR ),
           Setting.of( label( KEY_IMAGES_DIR ) ),
           Setting.of( title( KEY_IMAGES_DIR ),
                       fileProperty( KEY_IMAGES_DIR ), true )
         ),
         Group.of(
           get( KEY_IMAGES_ORDER ),
           Setting.of( label( KEY_IMAGES_ORDER ) ),
           Setting.of( title( KEY_IMAGES_ORDER ),
                       stringProperty( KEY_IMAGES_ORDER ) )
+        )
       ),
       Category.of(
         get( KEY_DEF ),
         Group.of(
           get( KEY_DEF_PATH ),
           Setting.of( label( KEY_DEF_PATH ) ),
           Setting.of( title( KEY_DEF_PATH ),
                       fileProperty( KEY_DEF_PATH ), false )
         ),
         Group.of(
           get( KEY_DEF_DELIM_BEGAN ),
           Setting.of( label( KEY_DEF_DELIM_BEGAN ) ),
           Setting.of( title( KEY_DEF_DELIM_BEGAN ),
                       stringProperty( KEY_DEF_DELIM_BEGAN ) )
         ),
         Group.of(
           get( KEY_DEF_DELIM_ENDED ),
           Setting.of( label( KEY_DEF_DELIM_ENDED ) ),
           Setting.of( title( KEY_DEF_DELIM_ENDED ),
                       stringProperty( KEY_DEF_DELIM_ENDED ) )
+        )
       ),
       Category.of(
         get( KEY_UI_FONT ),
         Group.of(
           get( KEY_UI_FONT_EDITOR ),
           Setting.of( label( KEY_UI_FONT_EDITOR_NAME ) ),
           Setting.of( title( KEY_UI_FONT_EDITOR_NAME ),
                       createFontNameField(
                         stringProperty( KEY_UI_FONT_EDITOR_NAME ),
                         doubleProperty( KEY_UI_FONT_EDITOR_SIZE ) ),
                       stringProperty( KEY_UI_FONT_EDITOR_NAME ) ),
           Setting.of( label( KEY_UI_FONT_EDITOR_SIZE ) ),
           Setting.of( title( KEY_UI_FONT_EDITOR_SIZE ),
                       doubleProperty( KEY_UI_FONT_EDITOR_SIZE ) )
         ),
         Group.of(
           get( KEY_UI_FONT_PREVIEW ),
           Setting.of( label( KEY_UI_FONT_PREVIEW_NAME ) ),
           Setting.of( title( KEY_UI_FONT_PREVIEW_NAME ),
                       createFontNameField(
                         stringProperty( KEY_UI_FONT_PREVIEW_NAME ),
                         doubleProperty( KEY_UI_FONT_PREVIEW_SIZE ) ),
                       stringProperty( KEY_UI_FONT_PREVIEW_NAME ) ),
           Setting.of( label( KEY_UI_FONT_PREVIEW_SIZE ) ),
           Setting.of( title( KEY_UI_FONT_PREVIEW_SIZE ),
                       doubleProperty( KEY_UI_FONT_PREVIEW_SIZE ) ),
           Setting.of( label( KEY_UI_FONT_PREVIEW_MONO_NAME ) ),
           Setting.of( title( KEY_UI_FONT_PREVIEW_MONO_NAME ),
                       createFontNameField(
                         stringProperty( KEY_UI_FONT_PREVIEW_MONO_NAME ),
                         doubleProperty( KEY_UI_FONT_PREVIEW_MONO_SIZE ) ),
                       stringProperty( KEY_UI_FONT_PREVIEW_MONO_NAME ) ),
           Setting.of( label( KEY_UI_FONT_PREVIEW_MONO_SIZE ) ),
           Setting.of( title( KEY_UI_FONT_PREVIEW_MONO_SIZE ),
                       doubleProperty( KEY_UI_FONT_PREVIEW_MONO_SIZE ) )
+        )
       ),
       Category.of(
         get( KEY_UI_SKIN ),
         Group.of(
           get( KEY_UI_SKIN_SELECTION ),
           Setting.of( label( KEY_UI_SKIN_SELECTION ) ),
           Setting.of( title( KEY_UI_SKIN_SELECTION ),
                       skinListProperty(),
                       skinProperty( KEY_UI_SKIN_SELECTION ) )
         ),
         Group.of(
           get( KEY_UI_SKIN_CUSTOM ),
           Setting.of( label( KEY_UI_SKIN_CUSTOM ) ),
           Setting.of( title( KEY_UI_SKIN_CUSTOM ),
                       fileProperty( KEY_UI_SKIN_CUSTOM ), false )
+        )
       ),
       Category.of(
         get( KEY_LANGUAGE ),
         Group.of(
           get( KEY_LANGUAGE_LOCALE ),
           Setting.of( label( KEY_LANGUAGE_LOCALE ) ),
           Setting.of( title( KEY_LANGUAGE_LOCALE ),
                       localeListProperty(),
                       localeProperty( KEY_LANGUAGE_LOCALE ) )
+        )
       )};
+  }
   @SuppressWarnings( "unchecked" )
   private Setting<StringField, StringProperty> createMultilineSetting(
     final String description, final Key property ) {
     final Setting<StringField, StringProperty> setting =
       Setting.of( description, stringProperty( property ) );
     final var field = setting.getElement();
     field.multiline( true );
     return setting;
+  }
   private void initKeyEventHandler( final PreferencesFx preferences ) {
     final var view = preferences.getView();
     final var nodes = view.getChildrenUnmodifiable();
     final var master = (MasterDetailPane) nodes.get( 0 );
     final var detail = (NavigationView) master.getDetailNode();
     final var pane = (DialogPane) view.getParent();
     detail.setOnKeyReleased( ( key ) -> {
       switch( key.getCode() ) {
         case ENTER -> ((Button) pane.lookupButton( OK )).fire();
         case ESCAPE -> ((Button) pane.lookupButton( CANCEL )).fire();
+      }
     } );
+  }
   /**
    * Creates a label for the given key after interpolating its value.
+   *
    * @param key The key to find in the resource bundle.
    * @return The value of the key as a label.
    */
   private Node label( final Key key ) {
     return label( key, (String[]) null );
+  }
   private Node label( final Key key, final String... values ) {
     return new Label( get( key.toString() + ".desc", (Object[]) values ) );
+  }
   private String title( final Key key ) {
     return get( key.toString() + ".title" );
+  }
   private ObjectProperty<File> fileProperty( final Key key ) {
     return mWorkspace.fileProperty( key );
+  }
   private StringProperty stringProperty( final Key key ) {
     return mWorkspace.stringProperty( key );
 import javafx.beans.property.BooleanProperty;
 import javafx.beans.property.DoubleProperty;
 import javafx.beans.property.ObjectProperty;
 import javafx.beans.property.StringProperty;
 import javafx.event.EventHandler;
 import javafx.scene.Node;
 import javafx.scene.control.Button;
 import javafx.scene.control.DialogPane;
 import javafx.scene.control.Label;
 import org.controlsfx.control.MasterDetailPane;
 import java.io.File;
 import static com.dlsc.formsfx.model.structure.Field.ofStringType;
 import static com.dlsc.preferencesfx.PreferencesFxEvent.EVENT_PREFERENCES_SAVED;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.constants.GraphicsConstants.ICON_DIALOG;
 import static com.keenwrite.preferences.LocaleProperty.localeListProperty;
 import static com.keenwrite.preferences.SkinProperty.skinListProperty;
 import static com.keenwrite.preferences.WorkspaceKeys.*;
 import static javafx.scene.control.ButtonType.CANCEL;
 import static javafx.scene.control.ButtonType.OK;
 /**
  * Provides the ability for users to configure their preferences. This links
  * the {@link Workspace} model with the {@link PreferencesFx} view, in MVC.
  */
 @SuppressWarnings( "SameParameterValue" )
 public final class PreferencesController {
   private final Workspace mWorkspace;
   private final PreferencesFx mPreferencesFx;
   public PreferencesController( final Workspace workspace ) {
     mWorkspace = workspace;
     // All properties must be initialized before creating the dialog.
     mPreferencesFx = createPreferencesFx();
     initKeyEventHandler( mPreferencesFx );
+  }
   /**
    * Display the user preferences settings dialog (non-modal).
    */
   public void show() {
     getPreferencesFx().show( false );
+  }
   /**
    * Call to persist the settings. Strictly speaking, this could watch on
    * all values for external changes then save automatically.
    */
   public void save() {
     getPreferencesFx().saveSettings();
+  }
   /**
    * Delegates to the {@link PreferencesFx} event handler for monitoring
    * save events.
+   *
    * @param eventHandler The handler to call when the preferences are saved.
    */
   public void addSaveEventHandler(
     final EventHandler<? super PreferencesFxEvent> eventHandler ) {
     getPreferencesFx().addEventHandler( EVENT_PREFERENCES_SAVED, eventHandler );
+  }
   private StringField createFontNameField(
     final StringProperty fontName, final DoubleProperty fontSize ) {
     final var control = new SimpleFontControl( "Change" );
     control.fontSizeProperty().addListener( ( c, o, n ) -> {
       if( n != null ) {
         fontSize.set( n.doubleValue() );
+      }
     } );
     return ofStringType( fontName ).render( control );
+  }
   /**
    * Creates the preferences dialog based using {@link XmlStorageHandler} and
    * numerous {@link Category} objects.
+   *
    * @return A component for editing preferences.
    * @throws RuntimeException Could not construct the {@link PreferencesFx}
    *                          object (e.g., illegal access permissions,
    *                          unmapped XML resource).
    */
   private PreferencesFx createPreferencesFx() {
     return PreferencesFx.of( createStorageHandler(), createCategories() )
                         .instantPersistent( false )
                         .dialogIcon( ICON_DIALOG );
+  }
   private StorageHandler createStorageHandler() {
     return new XmlStorageHandler();
+  }
   private Category[] createCategories() {
     return new Category[]{
       Category.of(
         get( KEY_DOC ),
         Group.of(
           get( KEY_DOC_TITLE ),
           Setting.of( label( KEY_DOC_TITLE ) ),
           Setting.of( title( KEY_DOC_TITLE ),
                       stringProperty( KEY_DOC_TITLE ) )
         ),
         Group.of(
           get( KEY_DOC_AUTHOR ),
           Setting.of( label( KEY_DOC_AUTHOR ) ),
           Setting.of( title( KEY_DOC_AUTHOR ),
                       stringProperty( KEY_DOC_AUTHOR ) )
         ),
         Group.of(
           get( KEY_DOC_BYLINE ),
           Setting.of( label( KEY_DOC_BYLINE ) ),
           Setting.of( title( KEY_DOC_BYLINE ),
                       stringProperty( KEY_DOC_BYLINE ) )
         ),
         Group.of(
           get( KEY_DOC_ADDRESS ),
           Setting.of( label( KEY_DOC_ADDRESS ) ),
           createMultilineSetting( "Address", KEY_DOC_ADDRESS )
         ),
         Group.of(
           get( KEY_DOC_PHONE ),
           Setting.of( label( KEY_DOC_PHONE ) ),
           Setting.of( title( KEY_DOC_PHONE ),
                       stringProperty( KEY_DOC_PHONE ) )
         ),
         Group.of(
           get( KEY_DOC_EMAIL ),
           Setting.of( label( KEY_DOC_EMAIL ) ),
           Setting.of( title( KEY_DOC_EMAIL ),
                       stringProperty( KEY_DOC_EMAIL ) )
         ),
         Group.of(
           get( KEY_DOC_KEYWORDS ),
           Setting.of( label( KEY_DOC_KEYWORDS ) ),
           Setting.of( title( KEY_DOC_KEYWORDS ),
                       stringProperty( KEY_DOC_KEYWORDS ) )
         ),
         Group.of(
           get( KEY_DOC_COPYRIGHT ),
           Setting.of( label( KEY_DOC_COPYRIGHT ) ),
           Setting.of( title( KEY_DOC_COPYRIGHT ),
                       stringProperty( KEY_DOC_COPYRIGHT ) )
         ),
         Group.of(
           get( KEY_DOC_DATE ),
           Setting.of( label( KEY_DOC_DATE ) ),
           Setting.of( title( KEY_DOC_DATE ),
                       stringProperty( KEY_DOC_DATE ) )
+        )
       ),
       Category.of(
         get( KEY_TYPESET ),
         Group.of(
           get( KEY_TYPESET_CONTEXT ),
           Setting.of( label( KEY_TYPESET_CONTEXT_THEMES_PATH ) ),
           Setting.of( title( KEY_TYPESET_CONTEXT_THEMES_PATH ),
                       fileProperty( KEY_TYPESET_CONTEXT_THEMES_PATH ), true ),
           Setting.of( label( KEY_TYPESET_CONTEXT_CLEAN ) ),
           Setting.of( title( KEY_TYPESET_CONTEXT_CLEAN ),
                       booleanProperty( KEY_TYPESET_CONTEXT_CLEAN ) )
+        )
       ),
       Category.of(
         get( KEY_R ),
         Group.of(
           get( KEY_R_DIR ),
           Setting.of( label( KEY_R_DIR,
                              stringProperty( KEY_DEF_DELIM_BEGAN ).get(),
                              stringProperty( KEY_DEF_DELIM_ENDED ).get() ) ),
           Setting.of( title( KEY_R_DIR ),
                       fileProperty( KEY_R_DIR ), true )
         ),
         Group.of(
           get( KEY_R_SCRIPT ),
           Setting.of( label( KEY_R_SCRIPT ) ),
           createMultilineSetting( "Script", KEY_R_SCRIPT )
         ),
         Group.of(
           get( KEY_R_DELIM_BEGAN ),
           Setting.of( label( KEY_R_DELIM_BEGAN ) ),
           Setting.of( title( KEY_R_DELIM_BEGAN ),
                       stringProperty( KEY_R_DELIM_BEGAN ) )
         ),
         Group.of(
           get( KEY_R_DELIM_ENDED ),
           Setting.of( label( KEY_R_DELIM_ENDED ) ),
           Setting.of( title( KEY_R_DELIM_ENDED ),
                       stringProperty( KEY_R_DELIM_ENDED ) )
+        )
       ),
       Category.of(
         get( KEY_IMAGES ),
         Group.of(
           get( KEY_IMAGES_DIR ),
           Setting.of( label( KEY_IMAGES_DIR ) ),
           Setting.of( title( KEY_IMAGES_DIR ),
                       fileProperty( KEY_IMAGES_DIR ), true )
         ),
         Group.of(
           get( KEY_IMAGES_ORDER ),
           Setting.of( label( KEY_IMAGES_ORDER ) ),
           Setting.of( title( KEY_IMAGES_ORDER ),
                       stringProperty( KEY_IMAGES_ORDER ) )
         ),
         Group.of(
           get( KEY_IMAGES_RESIZE ),
           Setting.of( label( KEY_IMAGES_RESIZE ) ),
           Setting.of( title( KEY_IMAGES_RESIZE ),
                       booleanProperty( KEY_IMAGES_RESIZE ) )
         ),
         Group.of(
           get( KEY_IMAGES_SERVER ),
           Setting.of( label( KEY_IMAGES_SERVER ) ),
           Setting.of( title( KEY_IMAGES_SERVER ),
                       stringProperty( KEY_IMAGES_SERVER ) )
+        )
       ),
       Category.of(
         get( KEY_DEF ),
         Group.of(
           get( KEY_DEF_PATH ),
           Setting.of( label( KEY_DEF_PATH ) ),
           Setting.of( title( KEY_DEF_PATH ),
                       fileProperty( KEY_DEF_PATH ), false )
         ),
         Group.of(
           get( KEY_DEF_DELIM_BEGAN ),
           Setting.of( label( KEY_DEF_DELIM_BEGAN ) ),
           Setting.of( title( KEY_DEF_DELIM_BEGAN ),
                       stringProperty( KEY_DEF_DELIM_BEGAN ) )
         ),
         Group.of(
           get( KEY_DEF_DELIM_ENDED ),
           Setting.of( label( KEY_DEF_DELIM_ENDED ) ),
           Setting.of( title( KEY_DEF_DELIM_ENDED ),
                       stringProperty( KEY_DEF_DELIM_ENDED ) )
+        )
       ),
       Category.of(
         get( KEY_UI_FONT ),
         Group.of(
           get( KEY_UI_FONT_EDITOR ),
           Setting.of( label( KEY_UI_FONT_EDITOR_NAME ) ),
           Setting.of( title( KEY_UI_FONT_EDITOR_NAME ),
                       createFontNameField(
                         stringProperty( KEY_UI_FONT_EDITOR_NAME ),
                         doubleProperty( KEY_UI_FONT_EDITOR_SIZE ) ),
                       stringProperty( KEY_UI_FONT_EDITOR_NAME ) ),
           Setting.of( label( KEY_UI_FONT_EDITOR_SIZE ) ),
           Setting.of( title( KEY_UI_FONT_EDITOR_SIZE ),
                       doubleProperty( KEY_UI_FONT_EDITOR_SIZE ) )
         ),
         Group.of(
           get( KEY_UI_FONT_PREVIEW ),
           Setting.of( label( KEY_UI_FONT_PREVIEW_NAME ) ),
           Setting.of( title( KEY_UI_FONT_PREVIEW_NAME ),
                       createFontNameField(
                         stringProperty( KEY_UI_FONT_PREVIEW_NAME ),
                         doubleProperty( KEY_UI_FONT_PREVIEW_SIZE ) ),
                       stringProperty( KEY_UI_FONT_PREVIEW_NAME ) ),
           Setting.of( label( KEY_UI_FONT_PREVIEW_SIZE ) ),
           Setting.of( title( KEY_UI_FONT_PREVIEW_SIZE ),
                       doubleProperty( KEY_UI_FONT_PREVIEW_SIZE ) ),
           Setting.of( label( KEY_UI_FONT_PREVIEW_MONO_NAME ) ),
           Setting.of( title( KEY_UI_FONT_PREVIEW_MONO_NAME ),
                       createFontNameField(
                         stringProperty( KEY_UI_FONT_PREVIEW_MONO_NAME ),
                         doubleProperty( KEY_UI_FONT_PREVIEW_MONO_SIZE ) ),
                       stringProperty( KEY_UI_FONT_PREVIEW_MONO_NAME ) ),
           Setting.of( label( KEY_UI_FONT_PREVIEW_MONO_SIZE ) ),
           Setting.of( title( KEY_UI_FONT_PREVIEW_MONO_SIZE ),
                       doubleProperty( KEY_UI_FONT_PREVIEW_MONO_SIZE ) )
+        )
       ),
       Category.of(
         get( KEY_UI_SKIN ),
         Group.of(
           get( KEY_UI_SKIN_SELECTION ),
           Setting.of( label( KEY_UI_SKIN_SELECTION ) ),
           Setting.of( title( KEY_UI_SKIN_SELECTION ),
                       skinListProperty(),
                       skinProperty( KEY_UI_SKIN_SELECTION ) )
         ),
         Group.of(
           get( KEY_UI_SKIN_CUSTOM ),
           Setting.of( label( KEY_UI_SKIN_CUSTOM ) ),
           Setting.of( title( KEY_UI_SKIN_CUSTOM ),
                       fileProperty( KEY_UI_SKIN_CUSTOM ), false )
+        )
       ),
       Category.of(
         get( KEY_LANGUAGE ),
         Group.of(
           get( KEY_LANGUAGE_LOCALE ),
           Setting.of( label( KEY_LANGUAGE_LOCALE ) ),
           Setting.of( title( KEY_LANGUAGE_LOCALE ),
                       localeListProperty(),
                       localeProperty( KEY_LANGUAGE_LOCALE ) )
+        )
       )};
+  }
   @SuppressWarnings( "unchecked" )
   private Setting<StringField, StringProperty> createMultilineSetting(
     final String description, final Key property ) {
     final Setting<StringField, StringProperty> setting =
       Setting.of( description, stringProperty( property ) );
     final var field = setting.getElement();
     field.multiline( true );
     return setting;
+  }
   private void initKeyEventHandler( final PreferencesFx preferences ) {
     final var view = preferences.getView();
     final var nodes = view.getChildrenUnmodifiable();
     final var master = (MasterDetailPane) nodes.get( 0 );
     final var detail = (NavigationView) master.getDetailNode();
     final var pane = (DialogPane) view.getParent();
     detail.setOnKeyReleased( ( key ) -> {
       switch( key.getCode() ) {
         case ENTER -> ((Button) pane.lookupButton( OK )).fire();
         case ESCAPE -> ((Button) pane.lookupButton( CANCEL )).fire();
+      }
     } );
+  }
   /**
    * Creates a label for the given key after interpolating its value.
+   *
    * @param key The key to find in the resource bundle.
    * @return The value of the key as a label.
    */
   private Node label( final Key key ) {
     return label( key, (String[]) null );
+  }
   private Node label( final Key key, final String... values ) {
     return new Label( get( key.toString() + ".desc", (Object[]) values ) );
+  }
   private String title( final Key key ) {
     return get( key.toString() + ".title" );
+  }
   private ObjectProperty<File> fileProperty( final Key key ) {
     return mWorkspace.fileProperty( key );
+  }
   private StringProperty stringProperty( final Key key ) {
     return mWorkspace.stringProperty( key );
+  }
   private BooleanProperty booleanProperty( final Key key ) {
     return mWorkspace.booleanProperty( key );
+  }

M src/main/java/com/keenwrite/preferences/Workspace.java

     entry( KEY_IMAGES_DIR, asFileProperty( USER_DIRECTORY ) ),
     entry( KEY_IMAGES_ORDER, asStringProperty( PERSIST_IMAGES_DEFAULT ) ),
     entry( KEY_IMAGES_RESIZE, asBooleanProperty( true ) ),
     entry( KEY_IMAGES_SERVER, asStringProperty( DIAGRAM_SERVER_NAME ) ),
     entry( KEY_DEF_PATH, asFileProperty( DEFINITION_DEFAULT ) ),
     entry( KEY_LANGUAGE_LOCALE, asLocaleProperty( LOCALE_DEFAULT ) ),
     entry( KEY_TYPESET_CONTEXT_CLEAN, asBooleanProperty(true) ),
     entry( KEY_TYPESET_CONTEXT_THEMES_PATH, asFileProperty( USER_DIRECTORY ) ),
     entry( KEY_TYPESET_CONTEXT_THEME_SELECTION, asStringProperty( "boschet" ) )
   private BooleanProperty asBooleanProperty() {
     return new SimpleBooleanProperty();
+  }
   @SuppressWarnings( "SameParameterValue" )
   private BooleanProperty asBooleanProperty( final boolean defaultValue ) {
     return new SimpleBooleanProperty( defaultValue );
+  }
   public StringProperty stringProperty( final Key key ) {
     assert key != null;
     return valuesProperty( key );
+  }
   public BooleanProperty booleanProperty( final Key key ) {
     assert key != null;
     return valuesProperty( key );

M src/main/java/com/keenwrite/preferences/WorkspaceKeys.java

   public static final Key KEY_IMAGES_DIR = key( KEY_IMAGES, "dir" );
   public static final Key KEY_IMAGES_ORDER = key( KEY_IMAGES, "order" );
   public static final Key KEY_IMAGES_RESIZE = key( KEY_IMAGES, "resize" );
   public static final Key KEY_IMAGES_SERVER = key( KEY_IMAGES, "server" );
   public static final Key KEY_DEF = key( KEY_ROOT, "definition" );
   public static final Key KEY_TYPESET_CONTEXT_THEMES_PATH = key( KEY_TYPESET_CONTEXT_THEMES, "path" );
   public static final Key KEY_TYPESET_CONTEXT_THEME_SELECTION = key( KEY_TYPESET_CONTEXT_THEMES, "selection" );
   public static final Key KEY_TYPESET_CONTEXT_CLEAN = key( KEY_TYPESET_CONTEXT, "clean" );
   //@formatter:on

M src/main/java/com/keenwrite/preview/ChainedReplacedElementFactory.java

 package com.keenwrite.preview;
 import com.keenwrite.preferences.Workspace;
 import com.keenwrite.ui.adapters.ReplacedElementAdapter;
 import com.keenwrite.util.BoundedCache;
 import org.w3c.dom.Element;
 import org.xhtmlrenderer.extend.ReplacedElement;
 import org.xhtmlrenderer.extend.ReplacedElementFactory;
 import org.xhtmlrenderer.extend.UserAgentCallback;
 import org.xhtmlrenderer.layout.LayoutContext;
 import org.xhtmlrenderer.render.BlockBox;
 import org.xhtmlrenderer.swing.ImageReplacedElement;
 import java.awt.event.ComponentEvent;
 import java.awt.event.ComponentListener;
 import java.util.LinkedHashSet;
 import java.util.Map;
 import java.util.Set;
 import static com.keenwrite.preferences.WorkspaceKeys.KEY_IMAGES_RESIZE;
 import static com.keenwrite.preview.SvgReplacedElementFactory.HTML_IMAGE;
 import static com.keenwrite.preview.SvgReplacedElementFactory.HTML_IMAGE_SRC;
 import static com.keenwrite.processors.markdown.extensions.tex.TexNode.HTML_TEX;
 import static java.util.Arrays.asList;
 /**
  * Responsible for running one or more factories to perform post-processing on
  * the HTML document prior to displaying it.
  */
 public final class ChainedReplacedElementFactory extends ReplacedElementAdapter {
 public final class ChainedReplacedElementFactory
   extends ReplacedElementAdapter implements ComponentListener {
   /**
    * Retain insertion order so that client classes can control the order that
    */
   private final Map<String, ReplacedElement> mCache = new BoundedCache<>( 150 );
   private final Workspace mWorkspace;
   public ChainedReplacedElementFactory(
     final ReplacedElementFactory... factories ) {
     final Workspace workspace, final ReplacedElementFactory... factories ) {
     assert workspace != null;
     assert factories != null;
     assert factories.length > 0;
     mWorkspace = workspace;
     mFactories.addAll( asList( factories ) );
+  }
       final var replaced = mCache.computeIfAbsent(
         source, k -> f.createReplacedElement( c, box, uac, width, height )
         source, k -> {
           final var r = f.createReplacedElement( c, box, uac, width, height );
           return r instanceof final ImageReplacedElement ire
             ? new SmoothImageReplacedElement(
             ire.getImage(), box.getWidth(), -1 )
             : r;
+        }
       );
     mCache.clear();
+  }
+}
   @Override
   public void componentResized( final ComponentEvent e ) {
     if( mWorkspace.toBoolean( KEY_IMAGES_RESIZE ) ) {
       clearCache();
+    }
+  }
   @Override
   public void componentMoved( final ComponentEvent e ) { }
   @Override
   public void componentShown( final ComponentEvent e ) { }
   @Override
   public void componentHidden( final ComponentEvent e ) { }
+}

A src/main/java/com/keenwrite/preview/HighQualityRenderingHints.java

 /* Copyright 2020-2021 White Magic Software, Ltd. -- All rights reserved. */
 package com.keenwrite.preview;
 import java.util.HashMap;
 import java.util.Map;
 import static java.awt.RenderingHints.*;
 import static java.awt.Toolkit.getDefaultToolkit;
 /**
  * Responsible for initializing settings to produce high-quality image
  * transformations.
  */
 @SuppressWarnings( "rawtypes" )
 public class HighQualityRenderingHints {
   /**
    * Default hints for high-quality rendering that may be changed by
    * the system's rendering hints.
    */
   private static final Map<Object, Object> DEFAULT_HINTS = Map.of(
     KEY_ANTIALIASING, VALUE_ANTIALIAS_ON,
     KEY_ALPHA_INTERPOLATION, VALUE_ALPHA_INTERPOLATION_QUALITY,
     KEY_COLOR_RENDERING, VALUE_COLOR_RENDER_QUALITY,
     KEY_DITHERING, VALUE_DITHER_DISABLE,
     KEY_FRACTIONALMETRICS, VALUE_FRACTIONALMETRICS_ON,
     KEY_INTERPOLATION, VALUE_INTERPOLATION_BICUBIC,
     KEY_RENDERING, VALUE_RENDER_QUALITY,
     KEY_STROKE_CONTROL, VALUE_STROKE_PURE,
     KEY_TEXT_ANTIALIASING, VALUE_TEXT_ANTIALIAS_ON
   );
   /**
    * Shared hints for high-quality rendering.
    */
   static final Map<Object, Object> RENDERING_HINTS = new HashMap<>(
     DEFAULT_HINTS
   );
   static {
     final var toolkit = getDefaultToolkit();
     final var hints = toolkit.getDesktopProperty( "awt.font.desktophints" );
     if( hints instanceof final Map map ) {
       for( final var key : map.keySet() ) {
         final var hint = map.get( key );
         RENDERING_HINTS.put( key, hint );
+      }
+    }
+  }
   /**
    * Defines a reusable constant, nothing more.
    */
   private HighQualityRenderingHints() {
+  }
+}

M src/main/java/com/keenwrite/preview/HtmlPreview.java

   /**
    * The order is important: Swing factory will replace SVG images with
    * a blank image, which will cause the chained factory to cache the image
    * and exit. Instead, the SVG must execute first to rasterize the content.
    * Consequently, the chained factory must maintain insertion order.
    */
   private static final ChainedReplacedElementFactory FACTORY
     = new ChainedReplacedElementFactory(
     new SvgReplacedElementFactory(),
     new SwingReplacedElementFactory()
   );
   /**
    * Used to populate the {@link #HTML_HEAD} with stylesheet file references.
    */
   private static final URL HTML_STYLE_PREVIEW = toUrl( STYLESHEET_PREVIEW );
   /**
    * The order is important: Swing factory will replace SVG images with
    * a blank image, which will cause the chained factory to cache the image
    * and exit. Instead, the SVG must execute first to rasterize the content.
    * Consequently, the chained factory must maintain insertion order.
    */
   private final ChainedReplacedElementFactory mFactory;
   /**
   private volatile boolean mLocked;
   private final JButton mScrollLockButton = new JButton();
   private final Workspace mWorkspace;
   public HtmlPreview( final Workspace workspace ) {
     mWorkspace = workspace;
     mFactory = new ChainedReplacedElementFactory(
       mWorkspace,
       new SvgReplacedElementFactory(),
       new SwingReplacedElementFactory()
     );
     // Attempts to prevent a flash of black un-styled content upon load.
       setCacheHint( SPEED );
       setContent( wrapper );
       wrapper.addComponentListener( mFactory );
       final var context = mView.getSharedContext();
       final var textRenderer = context.getTextRenderer();
       context.setReplacedElementFactory( FACTORY );
       context.setReplacedElementFactory( mFactory );
       textRenderer.setSmoothingThreshold( 0 );
    */
   public void refresh() {
     FACTORY.clearCache();
     mFactory.clearCache();
     rerender();
+  }

A src/main/java/com/keenwrite/preview/SmoothImageReplacedElement.java

 /* Copyright 2020-2021 White Magic Software, Ltd. -- All rights reserved. */
 package com.keenwrite.preview;
 import com.keenwrite.preview.images.Lanczos3Filter;
 import com.keenwrite.preview.images.ResampleOp;
 import org.xhtmlrenderer.swing.ImageReplacedElement;
 import java.awt.*;
 import java.awt.image.BufferedImage;
 /**
  * Responsible for scaling an image using a Lanczos-3 filter, typically for
  * down-sampling.
  */
 public final class SmoothImageReplacedElement extends ImageReplacedElement {
   private final static Lanczos3Filter FILTER = new Lanczos3Filter();
   /**
    * Creates a high-quality rescaled version of the given image. The
    * aspect ratio is maintained if either width or height is less than 1.
+   *
    * @param source An instance of {@link BufferedImage} to rescale.
    * @param width  Rescale the given image to this width (px).
    * @param height Rescale the given image to this height (px).
    */
   public SmoothImageReplacedElement(
     final Image source, final int width, final int height ) {
     super._image = rescale( source, width, height );
+  }
   private BufferedImage rescale(
     final Image source, final int w, final int h ) {
     final var bi = (BufferedImage) source;
     final var dim = rescaleDimensions( bi, w, h );
     final var resampleOp = new ResampleOp( FILTER, dim.width, dim.height );
     return resampleOp.filter( bi, null );
+  }
   private Dimension rescaleDimensions(
     final BufferedImage bi, final int width, final int height ) {
     final var oldW = bi.getWidth();
     final var oldH = bi.getHeight();
     int newW = width;
     int newH = height;
     if( newW <= 0 ) {
       newW = (int) (oldW * ((double) newH / oldH));
+    }
     if( newH <= 0 ) {
       newH = (int) (oldH * ((double) newW / oldW));
+    }
     return new Dimension( newW, newH );
+  }
+}

M src/main/java/com/keenwrite/preview/SvgRasterizer.java

 import java.text.NumberFormat;
 import java.text.ParseException;
 import java.util.HashMap;
 import java.util.Map;
 import static com.keenwrite.events.StatusEvent.clue;
 import static java.awt.RenderingHints.*;
 import static java.awt.Toolkit.getDefaultToolkit;
 import static com.keenwrite.preview.HighQualityRenderingHints.RENDERING_HINTS;
 import static java.awt.image.BufferedImage.TYPE_INT_RGB;
 import static java.nio.charset.StandardCharsets.UTF_8;
  * Responsible for converting SVG images into rasterized PNG images.
  */
 @SuppressWarnings( "rawtypes" )
 public final class SvgRasterizer {
   /**
    * Default hints for high-quality rendering that may be changed by
    * the system's rendering hints.
    */
   private static final Map<Object, Object> DEFAULT_HINTS = Map.of(
     KEY_ANTIALIASING, VALUE_ANTIALIAS_ON,
     KEY_ALPHA_INTERPOLATION, VALUE_ALPHA_INTERPOLATION_QUALITY,
     KEY_COLOR_RENDERING, VALUE_COLOR_RENDER_QUALITY,
     KEY_DITHERING, VALUE_DITHER_DISABLE,
     KEY_FRACTIONALMETRICS, VALUE_FRACTIONALMETRICS_ON,
     KEY_INTERPOLATION, VALUE_INTERPOLATION_BICUBIC,
     KEY_RENDERING, VALUE_RENDER_QUALITY,
     KEY_STROKE_CONTROL, VALUE_STROKE_PURE,
     KEY_TEXT_ANTIALIASING, VALUE_TEXT_ANTIALIAS_ON
   );
   /**
    * Shared hints for high-quality rendering.
    */
   private static final Map<Object, Object> RENDERING_HINTS = new HashMap<>(
     DEFAULT_HINTS
   );
   static {
     final var toolkit = getDefaultToolkit();
     final var hints = toolkit.getDesktopProperty( "awt.font.desktophints" );
     if( hints instanceof Map ) {
       final var map = (Map) hints;
       for( final var key : map.keySet() ) {
         final var hint = map.get( key );
         RENDERING_HINTS.put( key, hint );
+      }
+    }
+  }
   /**
    * <a href="https://issues.apache.org/jira/browse/BATIK-1112">Bug fix</a>

A src/main/java/com/keenwrite/preview/images/AdvancedResizeOp.java

 /*
  * Copyright 2013, Morten Nobel-Joergensen
+ *
  * License: The BSD 3-Clause License
  * http://opensource.org/licenses/BSD-3-Clause
  */
 package com.keenwrite.preview.images;
 import java.awt.*;
 import java.awt.geom.Point2D;
 import java.awt.geom.Rectangle2D;
 import java.awt.image.BufferedImage;
 import java.awt.image.BufferedImageOp;
 import java.awt.image.ColorModel;
 /**
  * @author Morten Nobel-Joergensen
  */
 public abstract class AdvancedResizeOp implements BufferedImageOp {
   private final ConstrainedDimension dimensionConstrain;
   public AdvancedResizeOp( ConstrainedDimension dimensionConstrain ) {
     this.dimensionConstrain = dimensionConstrain;
+  }
   public final BufferedImage filter( BufferedImage src, BufferedImage dest ) {
     Dimension dstDimension = dimensionConstrain.getDimension(
       new Dimension( src.getWidth(), src.getHeight() ) );
     int dstWidth = dstDimension.width;
     int dstHeight = dstDimension.height;
     return doFilter( src, dest, dstWidth, dstHeight );
+  }
   protected abstract BufferedImage doFilter(
     BufferedImage src, BufferedImage dest, int dstWidth, int dstHeight );
   @Override
   public final Rectangle2D getBounds2D( BufferedImage src ) {
     return new Rectangle( 0, 0, src.getWidth(), src.getHeight() );
+  }
   @Override
   public final BufferedImage createCompatibleDestImage(
     BufferedImage src, ColorModel destCM ) {
     if( destCM == null ) {
       destCM = src.getColorModel();
+    }
     return new BufferedImage(
       destCM,
       destCM.createCompatibleWritableRaster( src.getWidth(), src.getHeight() ),
       destCM.isAlphaPremultiplied(),
       null );
+  }
   @Override
   public final Point2D getPoint2D( Point2D srcPt, Point2D dstPt ) {
     return (Point2D) srcPt.clone();
+  }
   @Override
   public final RenderingHints getRenderingHints() {
     return null;
+  }
+}

A src/main/java/com/keenwrite/preview/images/ConstrainedDimension.java

 /*
  * Copyright 2013, Morten Nobel-Joergensen
+ *
  * License: The BSD 3-Clause License
  * http://opensource.org/licenses/BSD-3-Clause
  */
 package com.keenwrite.preview.images;
 import java.awt.*;
 /**
  * This class let you create dimension constrains based on a actual image.
  */
 public class ConstrainedDimension {
   private ConstrainedDimension() {
+  }
   /**
    * Will always return a dimension with positive width and height;
+   *
    * @param dimension of the unscaled image
    * @return the dimension of the scaled image
    */
   public Dimension getDimension( Dimension dimension ) {
     return dimension;
+  }
   /**
    * Used when the destination size is fixed. This may not keep the image
    * aspect radio.
+   *
    * @param width  destination dimension width
    * @param height destination dimension height
    * @return destination dimension (width x height)
    */
   public static ConstrainedDimension createAbsolutionDimension(
     final int width, final int height ) {
     assert width > 0 && height > 0 : "Dimensions must be positive integers";
     return new ConstrainedDimension() {
       public Dimension getDimension( Dimension dimension ) {
         return new Dimension( width, height );
+      }
     };
+  }
+}

A src/main/java/com/keenwrite/preview/images/ImageUtils.java

 /*
  * Copyright 2013, Morten Nobel-Joergensen
+ *
  * License: The BSD 3-Clause License
  * http://opensource.org/licenses/BSD-3-Clause
  */
 package com.keenwrite.preview.images;
 import java.awt.*;
 import java.awt.image.BufferedImage;
 import java.awt.image.Raster;
 import java.awt.image.WritableRaster;
 import static java.awt.image.BufferedImage.*;
 /**
  * @author Heinz Doerr
  * @author Morten Nobel-Joergensen
  */
 public final class ImageUtils {
   @SuppressWarnings( "DuplicateBranchesInSwitch" )
   static int nrChannels( final BufferedImage img ) {
     return switch( img.getType() ) {
       case TYPE_3BYTE_BGR -> 3;
       case TYPE_4BYTE_ABGR -> 4;
       case TYPE_BYTE_GRAY -> 1;
       case TYPE_INT_BGR -> 3;
       case TYPE_INT_ARGB -> 4;
       case TYPE_INT_RGB -> 3;
       case TYPE_CUSTOM -> 4;
       case TYPE_4BYTE_ABGR_PRE -> 4;
       case TYPE_INT_ARGB_PRE -> 4;
       case TYPE_USHORT_555_RGB -> 3;
       case TYPE_USHORT_565_RGB -> 3;
       case TYPE_USHORT_GRAY -> 1;
       default -> 0;
     };
+  }
   /**
    * returns one row (height == 1) of byte packed image data in BGR or AGBR form
+   *
    * @param temp must be either null or a array with length of w*h
    */
   static void getPixelsBGR(
     BufferedImage img, int y, int w, byte[] array, int[] temp ) {
     final int x = 0;
     final int h = 1;
     assert array.length == temp.length * nrChannels( img );
     assert (temp.length == w);
     final Raster raster;
     switch( img.getType() ) {
       case TYPE_3BYTE_BGR, TYPE_4BYTE_ABGR,
         TYPE_4BYTE_ABGR_PRE, TYPE_BYTE_GRAY -> {
         raster = img.getRaster();
         //int ttype= raster.getTransferType();
         raster.getDataElements( x, y, w, h, array );
+      }
       case TYPE_INT_BGR -> {
         raster = img.getRaster();
         raster.getDataElements( x, y, w, h, temp );
         ints2bytes( temp, array, 0, 1, 2 );  // bgr -->  bgr
+      }
       case TYPE_INT_RGB -> {
         raster = img.getRaster();
         raster.getDataElements( x, y, w, h, temp );
         ints2bytes( temp, array, 2, 1, 0 );  // rgb -->  bgr
+      }
       case TYPE_INT_ARGB, TYPE_INT_ARGB_PRE -> {
         raster = img.getRaster();
         raster.getDataElements( x, y, w, h, temp );
         ints2bytes( temp, array, 2, 1, 0, 3 );  // argb -->  abgr
+      }
       case TYPE_CUSTOM -> {
         // loader, but else ???
         img.getRGB( x, y, w, h, temp, 0, w );
         ints2bytes( temp, array, 2, 1, 0, 3 );  // argb -->  abgr
+      }
       default -> {
         img.getRGB( x, y, w, h, temp, 0, w );
         ints2bytes( temp, array, 2, 1, 0 );  // rgb -->  bgr
+      }
+    }
+  }
   /**
    * converts and copies byte packed  BGR or ABGR into the img buffer,
    * the img type may vary (e.g. RGB or BGR, int or byte packed)
    * but the number of components (w/o alpha, w alpha, gray) must match
    * <p>
    * does not unmange the image for all (A)RGN and (A)BGR and gray imaged
    */
   public static void setBGRPixels( byte[] bgrPixels, BufferedImage img, int x,
                                    int y, int w, int h ) {
     int imageType = img.getType();
     WritableRaster raster = img.getRaster();
     if( imageType == TYPE_3BYTE_BGR ||
       imageType == TYPE_4BYTE_ABGR ||
       imageType == TYPE_4BYTE_ABGR_PRE ||
       imageType == TYPE_BYTE_GRAY ) {
       raster.setDataElements( x, y, w, h, bgrPixels );
+    }
     else {
       int[] pixels;
       if( imageType == TYPE_INT_BGR ) {
         pixels = bytes2int( bgrPixels, 2, 1, 0 );  // bgr -->  bgr
+      }
       else if( imageType == TYPE_INT_ARGB ||
         imageType == TYPE_INT_ARGB_PRE ) {
         pixels = bytes2int( bgrPixels, 3, 0, 1, 2 );  // abgr -->  argb
+      }
       else {
         pixels = bytes2int( bgrPixels, 0, 1, 2 );  // bgr -->  rgb
+      }
       if( w == 0 || h == 0 ) {
         return;
+      }
       else if( pixels.length < w * h ) {
         throw new IllegalArgumentException( "pixels array must have a length" + " >= w*h" );
+      }
       if( imageType == TYPE_INT_ARGB ||
         imageType == TYPE_INT_RGB ||
         imageType == TYPE_INT_ARGB_PRE ||
         imageType == TYPE_INT_BGR ) {
         raster.setDataElements( x, y, w, h, pixels );
+      }
       else {
         // Unmanages the image
         img.setRGB( x, y, w, h, pixels, 0, w );
+      }
+    }
+  }
   public static void ints2bytes( int[] in, byte[] out, int index1, int index2,
                                  int index3 ) {
     for( int i = 0; i < in.length; i++ ) {
       int index = i * 3;
       int value = in[ i ];
       out[ index + index1 ] = (byte) value;
       value = value >> 8;
       out[ index + index2 ] = (byte) value;
       value = value >> 8;
       out[ index + index3 ] = (byte) value;
+    }
+  }
   public static void ints2bytes( int[] in, byte[] out, int index1, int index2,
                                  int index3, int index4 ) {
     for( int i = 0; i < in.length; i++ ) {
       int index = i * 4;
       int value = in[ i ];
       out[ index + index1 ] = (byte) value;
       value = value >> 8;
       out[ index + index2 ] = (byte) value;
       value = value >> 8;
       out[ index + index3 ] = (byte) value;
       value = value >> 8;
       out[ index + index4 ] = (byte) value;
+    }
+  }
   public static int[] bytes2int( byte[] in, int index1, int index2,
                                  int index3 ) {
     int[] out = new int[ in.length / 3 ];
     for( int i = 0; i < out.length; i++ ) {
       int index = i * 3;
       int b1 = (in[ index + index1 ] & 0xff) << 16;
       int b2 = (in[ index + index2 ] & 0xff) << 8;
       int b3 = in[ index + index3 ] & 0xff;
       out[ i ] = b1 | b2 | b3;
+    }
     return out;
+  }
   public static int[] bytes2int( byte[] in, int index1, int index2, int index3,
                                  int index4 ) {
     int[] out = new int[ in.length / 4 ];
     for( int i = 0; i < out.length; i++ ) {
       int index = i * 4;
       int b1 = (in[ index + index1 ] & 0xff) << 24;
       int b2 = (in[ index + index2 ] & 0xff) << 16;
       int b3 = (in[ index + index3 ] & 0xff) << 8;
       int b4 = in[ index + index4 ] & 0xff;
       out[ i ] = b1 | b2 | b3 | b4;
+    }
     return out;
+  }
   public static BufferedImage convert( BufferedImage src, int bufImgType ) {
     BufferedImage img = new BufferedImage( src.getWidth(),
                                            src.getHeight(),
                                            bufImgType );
     Graphics2D g2d = img.createGraphics();
     g2d.drawImage( src, 0, 0, null );
     g2d.dispose();
     return img;
+  }
+}

A src/main/java/com/keenwrite/preview/images/Lanczos3.java

 package com.keenwrite.preview.images;
 import java.awt.image.BufferedImage;
 /**
  * Unused. Needs to extract image data from {@link BufferedImage} and create
  * down-sampled version.
  */
 public class Lanczos3 {
   static double sinc( double x ) {
     x *= Math.PI;
     if( (x < 0.01f) && (x > -0.01f) ) {
       return 1.0f + x * x * (-1.0f / 6.0f + x * x * 1.0f / 120.0f);
+    }
     return Math.sin( x ) / x;
+  }
   static float clip( double t ) {
     final float eps = .0000125f;
     if( Math.abs( t ) < eps ) { return 0.0f; }
     return (float) t;
+  }
   static float lancos( float t ) {
     if( t < 0.0f ) { t = -t; }
     if( t < 3.0f ) { return clip( sinc( t ) * sinc( t / 3.0f ) ); }
     else { return (0.0f); }
+  }
   static float lancos3_resample_x(
     int[][] arr, int src_w, int src_h, int y, int x, float xscale ) {
     float s = 0;
     float coef_sum = 0.0f;
     float coef;
     float pix;
     int i;
     int l, r;
     float c;
     float hw;
     // For the reduction of the situation hw is equivalent to expanding the
     // number of pixels in the field, if you do not do this, the final
     // reduction of the image effect is not much different from the recent
     // field interpolation method, the effect is equivalent to the first
     // low-pass filtering, and then interpolate
     if( xscale > 1.0f ) { hw = 3.0f; }
     else { hw = 3.0f / xscale; }
     c = (float) x / xscale;
     l = (int) Math.floor( c - hw );
     r = (int) Math.ceil( c + hw );
     if( y < 0 ) { y = 0; }
     if( y >= src_h ) { y = src_h - 1; }
     if( xscale > 1.0f ) { xscale = 1.0f; }
     for( i = l; i <= r; i++ ) {
       x = Math.max( i, 0 );
       if( i >= src_w ) { x = src_w - 1; }
       pix = arr[ y ][ x ];
       coef = lancos( (c - i) * xscale );
       s += pix * coef;
       coef_sum += coef;
+    }
     s /= coef_sum;
     return s;
+  }
   static class uint8_2d {
     int[][] arr;
     int rows;
     int cols;
     public uint8_2d( final int h1, final int w1 ) {
       arr = new int[ h1 ][ w1 ];
       rows = h1;
       cols = w1;
+    }
+  }
   void img_resize_using_lancos3( uint8_2d src, uint8_2d dst ) {
     if( src == null || dst == null ) { return; }
     int src_rows, src_cols;
     int dst_rows, dst_cols;
     int i, j;
     int[][] src_arr;
     int[][] dst_arr;
     float xratio;
     float yratio;
     int val;
     int k;
     float hw;
     src_arr = src.arr;
     dst_arr = dst.arr;
     src_rows = src.rows;
     src_cols = src.cols;
     dst_rows = dst.rows;
     dst_cols = dst.cols;
     xratio = (float) (dst_cols) / (float) src_cols;
     yratio = (float) (dst_rows) / (float) src_rows;
     float scale;
     if( yratio > 1.0f ) {
       hw = 3.0f;
       scale = 1.0f;
+    }
     else {
       hw = 3.0f / yratio;
       scale = yratio;
+    }
     for( i = 0; i < dst_rows; i++ ) {
       for( j = 0; j < dst_cols; j++ ) {
         int t, b;
         float c;
         float s = 0;
         float coef_sum = 0.0f;
         float coef;
         float pix;
         c = (float) i / yratio;
         t = (int) Math.floor( c - hw );
         b = (int) Math.ceil( c + hw );
         // Interpolate in the x direction first, then interpolate in the y
         // direction.
         for( k = t; k <= b; k++ ) {
           pix = lancos3_resample_x( src_arr, src_cols, src_rows, k, j, xratio );
           coef = lancos( (c - k) * scale );
           coef_sum += coef;
           pix *= coef;
           s += pix;
+        }
         val = (int) (s / coef_sum);
         if( val < 0 ) { val = 0; }
         if( val > 255 ) { val = 255; }
         dst_arr[ i ][ j ] = val;
+      }
+    }
+  }
   BufferedImage test_lancos3_resize( BufferedImage img, float factor ) {
     assert img != null;
     uint8_2d r = null;
     uint8_2d g = null;
     uint8_2d b = null;
     BufferedImage out = null;
     // TODO: Split buffered image into RGB components.
     //split_img_data( img, r, g, b );
     int w, h;
     int w1, h1;
     w = img.getWidth();
     h = img.getHeight();
     // TODO: Maintain aspect ratio.
     w1 = (int) (factor * w);
     h1 = (int) (factor * h);
     uint8_2d r1 = new uint8_2d( h1, w1 );
     uint8_2d g1 = new uint8_2d( h1, w1 );
     uint8_2d b1 = new uint8_2d( h1, w1 );
     img_resize_using_lancos3( r, r1 );
     img_resize_using_lancos3( g, g1 );
     img_resize_using_lancos3( b, b1 );
     // TODO: Combine rescaled image into RGB components.
     //merge_img_data( r1, g1, b1, out);
     return out;
+  }
+}

A src/main/java/com/keenwrite/preview/images/Lanczos3Filter.java

 /*
  * Copyright 2013, Morten Nobel-Joergensen
+ *
  * License: The BSD 3-Clause License
  * http://opensource.org/licenses/BSD-3-Clause
  */
 package com.keenwrite.preview.images;
 public final class Lanczos3Filter implements ResampleFilter {
   private final static float PI_FLOAT = (float) Math.PI;
   private float sincModified( float value ) {
     return (float) Math.sin( value ) / value;
+  }
   public final float apply( float value ) {
     if( value == 0 ) {
       return 1.0f;
+    }
     if( value < 0.0f ) {
       value = -value;
+    }
     if( value < 3.0f ) {
       value *= PI_FLOAT;
       return sincModified( value ) * sincModified( value / 3.0f );
+    }
     return 0.0f;
+  }
   public float getSamplingRadius() {
     return 3.0f;
+  }
+}

A src/main/java/com/keenwrite/preview/images/ResampleFilter.java

 /*
  * Copyright 2013, Morten Nobel-Joergensen
+ *
  * License: The BSD 3-Clause License
  * http://opensource.org/licenses/BSD-3-Clause
  */
 package com.keenwrite.preview.images;
 public interface ResampleFilter {
   float getSamplingRadius();
   float apply(float v);
+}

A src/main/java/com/keenwrite/preview/images/ResampleOp.java

 /*
  * Copyright 2013, Morten Nobel-Joergensen
+ *
  * License: The BSD 3-Clause License
  * http://opensource.org/licenses/BSD-3-Clause
  */
 package com.keenwrite.preview.images;
 import java.awt.image.BufferedImage;
 import java.util.concurrent.atomic.AtomicInteger;
 import static com.keenwrite.preview.images.ConstrainedDimension.createAbsolutionDimension;
 import static java.awt.image.BufferedImage.*;
 import static java.awt.image.DataBuffer.TYPE_USHORT;
 import static java.lang.Runtime.getRuntime;
 import static java.lang.String.format;
 import static java.lang.Thread.currentThread;
 /**
  * Based on <a href="http://schmidt.devlib.org/jiu/">Java Image Util</a>.
  * <p>
  * Note that the filter method is not thread-safe.
  * </p>
+ *
  * @author Morten Nobel-Joergensen
  * @author Heinz Doerr
  */
 public class ResampleOp extends AdvancedResizeOp {
   private static final int MAX_CHANNEL_VALUE = 255;
   private int nrChannels;
   private int srcWidth;
   private int srcHeight;
   private int dstWidth;
   private int dstHeight;
   static class SubSamplingData {
     // individual - per row or per column - nr of contributions
     private final int[] arrN;
     // 2Dim: [wid or hei][contrib]
     private final int[] arrPixel;
     // 2Dim: [wid or hei][contrib]
     private final float[] arrWeight;
     // the primary index length for the 2Dim arrays : arrPixel and arrWeight
     private final int numContributors;
     private SubSamplingData( int[] arrN, int[] arrPixel, float[] arrWeight,
                              int numContributors ) {
       this.arrN = arrN;
       this.arrPixel = arrPixel;
       this.arrWeight = arrWeight;
       this.numContributors = numContributors;
+    }
     public int getNumContributors() {
       return numContributors;
+    }
     public int[] getArrN() {
       return arrN;
+    }
     public float[] getArrWeight() {
       return arrWeight;
+    }
+  }
   private SubSamplingData horizontalSubsamplingData;
   private SubSamplingData verticalSubsamplingData;
   private final int threadCount = getRuntime().availableProcessors();
   private final AtomicInteger multipleInvocationLock = new AtomicInteger();
   private final ResampleFilter mFilter;
   public ResampleOp(
     final ResampleFilter filter, final int destWidth, final int destHeight ) {
     this( filter,
           createAbsolutionDimension( destWidth, destHeight ) );
+  }
   public ResampleOp(
     final ResampleFilter filter, ConstrainedDimension dimensionConstrain ) {
     super( dimensionConstrain );
     mFilter = filter;
+  }
   public BufferedImage doFilter(
     BufferedImage srcImg, BufferedImage dest, int dstWidth, int dstHeight ) {
     this.dstWidth = dstWidth;
     this.dstHeight = dstHeight;
     if( dstWidth < 3 || dstHeight < 3 ) {
       throw new IllegalArgumentException( "Target must be at least 3x3." );
+    }
     assert multipleInvocationLock.incrementAndGet() == 1 :
       "Multiple concurrent invocations detected";
     final var srcType = srcImg.getType();
     if( srcType == TYPE_BYTE_BINARY ||
       srcType == TYPE_BYTE_INDEXED ||
       srcType == TYPE_CUSTOM ) {
       srcImg = ImageUtils.convert(
         srcImg,
         srcImg.getColorModel().hasAlpha() ? TYPE_4BYTE_ABGR : TYPE_3BYTE_BGR );
+    }
     this.nrChannels = ImageUtils.nrChannels( srcImg );
     assert nrChannels > 0;
     this.srcWidth = srcImg.getWidth();
     this.srcHeight = srcImg.getHeight();
     byte[][] workPixels = new byte[ srcHeight ][ dstWidth * nrChannels ];
     // Pre-calculate  sub-sampling
     horizontalSubsamplingData = createSubSampling(
       mFilter, srcWidth, dstWidth );
     verticalSubsamplingData = createSubSampling(
       mFilter, srcHeight, dstHeight );
     final BufferedImage scrImgCopy = srcImg;
     final byte[][] workPixelsCopy = workPixels;
     final Thread[] threads = new Thread[ threadCount - 1 ];
     for( int i = 1; i < threadCount; i++ ) {
       final int finalI = i;
       threads[ i - 1 ] = new Thread( () -> horizontallyFromSrcToWork(
         scrImgCopy, workPixelsCopy, finalI, threadCount ) );
       threads[ i - 1 ].start();
+    }
     horizontallyFromSrcToWork( scrImgCopy, workPixelsCopy, 0, threadCount );
     waitForAllThreads( threads );
     byte[] outPixels = new byte[ dstWidth * dstHeight * nrChannels ];
     // --------------------------------------------------
     // Apply filter to sample vertically from Work to Dst
     // --------------------------------------------------
     final byte[] outPixelsCopy = outPixels;
     for( int i = 1; i < threadCount; i++ ) {
       final int finalI = i;
       threads[ i - 1 ] = new Thread( () -> verticalFromWorkToDst(
         workPixelsCopy, outPixelsCopy, finalI, threadCount ) );
       threads[ i - 1 ].start();
+    }
     verticalFromWorkToDst( workPixelsCopy, outPixelsCopy, 0, threadCount );
     waitForAllThreads( threads );
     //noinspection UnusedAssignment
     workPixels = null; // free memory
     final BufferedImage out;
     if( dest != null && dstWidth == dest.getWidth() && dstHeight == dest.getHeight() ) {
       out = dest;
       int nrDestChannels = ImageUtils.nrChannels( dest );
       if( nrDestChannels != nrChannels ) {
         final var errorMgs = format(
           "Destination image must be compatible width source image. Source " +
             "image had %d channels destination image had %d channels",
           nrChannels, nrDestChannels );
         throw new RuntimeException( errorMgs );
+      }
+    }
     else {
       out = new BufferedImage(
         dstWidth, dstHeight, getResultBufferedImageType( srcImg ) );
+    }
     ImageUtils.setBGRPixels( outPixels, out, 0, 0, dstWidth, dstHeight );
     assert multipleInvocationLock.decrementAndGet() == 0 : "Multiple " +
       "concurrent invocations detected";
     return out;
+  }
   private void waitForAllThreads( final Thread[] threads ) {
     try {
       for( final Thread thread : threads ) {
         thread.join( Long.MAX_VALUE );
+      }
     } catch( final InterruptedException e ) {
       currentThread().interrupt();
       throw new RuntimeException( e );
+    }
+  }
   static SubSamplingData createSubSampling(
     ResampleFilter filter, int srcSize, int dstSize ) {
     final float scale = (float) dstSize / (float) srcSize;
     final int[] arrN = new int[ dstSize ];
     final int numContributors;
     final float[] arrWeight;
     final int[] arrPixel;
     final float fwidth = filter.getSamplingRadius();
     float centerOffset = 0.5f / scale;
     if( scale < 1.0f ) {
       final float width = fwidth / scale;
       // Add 2 to be safe with the ceiling
       numContributors = (int) (width * 2.0f + 2);
       arrWeight = new float[ dstSize * numContributors ];
       arrPixel = new int[ dstSize * numContributors ];
       final float fNormFac = (float) (1f / (Math.ceil( width ) / fwidth));
       for( int i = 0; i < dstSize; i++ ) {
         final int subindex = i * numContributors;
         float center = i / scale + centerOffset;
         int left = (int) Math.floor( center - width );
         int right = (int) Math.ceil( center + width );
         for( int j = left; j <= right; j++ ) {
           float weight;
           weight = filter.apply( (center - j) * fNormFac );
           if( weight == 0.0f ) {
             continue;
+          }
           int n;
           if( j < 0 ) {
             n = -j;
+          }
           else if( j >= srcSize ) {
             n = srcSize - j + srcSize - 1;
+          }
           else {
             n = j;
+          }
           int k = arrN[ i ];
           //assert k == j-left:String.format("%s = %s %s", k,j,left);
           arrN[ i ]++;
           if( n < 0 || n >= srcSize ) {
             weight = 0.0f;// Flag that cell should not be used
+          }
           arrPixel[ subindex + k ] = n;
           arrWeight[ subindex + k ] = weight;
+        }
         // normalize the filter's weight's so the sum equals to 1.0, very
         // important for avoiding box type of artifacts
         final int max = arrN[ i ];
         float tot = 0;
         for( int k = 0; k < max; k++ ) { tot += arrWeight[ subindex + k ]; }
         if( tot != 0f ) { // 0 should never happen except bug in filter
           for( int k = 0; k < max; k++ ) { arrWeight[ subindex + k ] /= tot; }
+        }
+      }
+    }
     else {
       // super-sampling
       // Scales from smaller to bigger height
       numContributors = (int) (fwidth * 2.0f + 1);
       arrWeight = new float[ dstSize * numContributors ];
       arrPixel = new int[ dstSize * numContributors ];
       //
       for( int i = 0; i < dstSize; i++ ) {
         final int subindex = i * numContributors;
         float center = i / scale + centerOffset;
         int left = (int) Math.floor( center - fwidth );
         int right = (int) Math.ceil( center + fwidth );
         for( int j = left; j <= right; j++ ) {
           float weight = filter.apply( center - j );
           if( weight == 0.0f ) {
             continue;
+          }
           int n;
           if( j < 0 ) {
             n = -j;
+          }
           else if( j >= srcSize ) {
             n = srcSize - j + srcSize - 1;
+          }
           else {
             n = j;
+          }
           int k = arrN[ i ];
           arrN[ i ]++;
           if( n < 0 || n >= srcSize ) {
             weight = 0.0f;// Flag that cell should not be used
+          }
           arrPixel[ subindex + k ] = n;
           arrWeight[ subindex + k ] = weight;
+        }
         // normalize the filter's weight's so the sum equals to 1.0, very
         // important for avoiding box type of artifacts
         final int max = arrN[ i ];
         float tot = 0;
         for( int k = 0; k < max; k++ ) { tot += arrWeight[ subindex + k ]; }
         assert tot != 0 : "should never happen except bug in filter";
         if( tot != 0f ) {
           for( int k = 0; k < max; k++ ) { arrWeight[ subindex + k ] /= tot; }
+        }
+      }
+    }
     return new SubSamplingData( arrN, arrPixel, arrWeight, numContributors );
+  }
   private void verticalFromWorkToDst( byte[][] workPixels, byte[] outPixels,
                                       int start, int delta ) {
     if( nrChannels == 1 ) {
       verticalFromWorkToDstGray(
         workPixels, outPixels, start, threadCount );
       return;
+    }
     boolean useChannel3 = nrChannels > 3;
     for( int x = start; x < dstWidth; x += delta ) {
       final int xLocation = x * nrChannels;
       for( int y = dstHeight - 1; y >= 0; y-- ) {
         final int yTimesNumContributors =
           y * verticalSubsamplingData.numContributors;
         final int max = verticalSubsamplingData.arrN[ y ];
         final int sampleLocation = (y * dstWidth + x) * nrChannels;
         float sample0 = 0.0f;
         float sample1 = 0.0f;
         float sample2 = 0.0f;
         float sample3 = 0.0f;
         int index = yTimesNumContributors;
         for( int j = max - 1; j >= 0; j-- ) {
           int valueLocation = verticalSubsamplingData.arrPixel[ index ];
           float arrWeight = verticalSubsamplingData.arrWeight[ index ];
           sample0 += (workPixels[ valueLocation ][ xLocation ] & 0xff) * arrWeight;
           sample1 += (workPixels[ valueLocation ][ xLocation + 1 ] & 0xff) * arrWeight;
           sample2 += (workPixels[ valueLocation ][ xLocation + 2 ] & 0xff) * arrWeight;
           if( useChannel3 ) {
             sample3 += (workPixels[ valueLocation ][ xLocation + 3 ] & 0xff) * arrWeight;
+          }
           index++;
+        }
         outPixels[ sampleLocation ] = toByte( sample0 );
         outPixels[ sampleLocation + 1 ] = toByte( sample1 );
         outPixels[ sampleLocation + 2 ] = toByte( sample2 );
         if( useChannel3 ) {
           outPixels[ sampleLocation + 3 ] = toByte( sample3 );
+        }
+      }
+    }
+  }
   private void verticalFromWorkToDstGray(
     byte[][] workPixels, byte[] outPixels, int start, int delta ) {
     for( int x = start; x < dstWidth; x += delta ) {
       for( int y = dstHeight - 1; y >= 0; y-- ) {
         final int yTimesNumContributors =
           y * verticalSubsamplingData.numContributors;
         final int max = verticalSubsamplingData.arrN[ y ];
         final int sampleLocation = y * dstWidth + x;
         float sample0 = 0.0f;
         int index = yTimesNumContributors;
         for( int j = max - 1; j >= 0; j-- ) {
           int valueLocation = verticalSubsamplingData.arrPixel[ index ];
           float arrWeight = verticalSubsamplingData.arrWeight[ index ];
           sample0 += (workPixels[ valueLocation ][ x ] & 0xff) * arrWeight;
           index++;
+        }
         outPixels[ sampleLocation ] = toByte( sample0 );
+      }
+    }
+  }
   /**
    * Apply filter to sample horizontally from Src to Work
    */
   private void horizontallyFromSrcToWork(
     BufferedImage srcImg, byte[][] workPixels, int start, int delta ) {
     if( nrChannels == 1 ) {
       horizontallyFromSrcToWorkGray( srcImg, workPixels, start, delta );
       return;
+    }
     // Used if we work on int based bitmaps, later used to keep channel values
     final int[] tempPixels = new int[ srcWidth ];
     // create reusable row to minimize memory overhead
     final byte[] srcPixels = new byte[ srcWidth * nrChannels ];
     final boolean useChannel3 = nrChannels > 3;
     for( int k = start; k < srcHeight; k = k + delta ) {
       ImageUtils.getPixelsBGR( srcImg, k, srcWidth, srcPixels, tempPixels );
       for( int i = dstWidth - 1; i >= 0; i-- ) {
         int sampleLocation = i * nrChannels;
         final int max = horizontalSubsamplingData.arrN[ i ];
         float sample0 = 0.0f;
         float sample1 = 0.0f;
         float sample2 = 0.0f;
         float sample3 = 0.0f;
         int index = i * horizontalSubsamplingData.numContributors;
         for( int j = max - 1; j >= 0; j-- ) {
           float arrWeight = horizontalSubsamplingData.arrWeight[ index ];
           int pixelIndex =
             horizontalSubsamplingData.arrPixel[ index ] * nrChannels;
           sample0 += (srcPixels[ pixelIndex ] & 0xff) * arrWeight;
           sample1 += (srcPixels[ pixelIndex + 1 ] & 0xff) * arrWeight;
           sample2 += (srcPixels[ pixelIndex + 2 ] & 0xff) * arrWeight;
           if( useChannel3 ) {
             sample3 += (srcPixels[ pixelIndex + 3 ] & 0xff) * arrWeight;
+          }
           index++;
+        }
         workPixels[ k ][ sampleLocation ] = toByte( sample0 );
         workPixels[ k ][ sampleLocation + 1 ] = toByte( sample1 );
         workPixels[ k ][ sampleLocation + 2 ] = toByte( sample2 );
         if( useChannel3 ) {
           workPixels[ k ][ sampleLocation + 3 ] = toByte( sample3 );
+        }
+      }
+    }
+  }
   /**
    * Apply filter to sample horizontally from Src to Work
    */
   private void horizontallyFromSrcToWorkGray(
     BufferedImage srcImg, byte[][] workPixels, int start, int delta ) {
     // Used if we work on int based bitmaps, later used to keep channel values
     final int[] tempPixels = new int[ srcWidth ];
     // create reusable row to minimize memory overhead
     final byte[] srcPixels = new byte[ srcWidth ];
     for( int k = start; k < srcHeight; k = k + delta ) {
       ImageUtils.getPixelsBGR( srcImg, k, srcWidth, srcPixels, tempPixels );
       for( int i = dstWidth - 1; i >= 0; i-- ) {
         final int max = horizontalSubsamplingData.arrN[ i ];
         float sample0 = 0.0f;
         int index = i * horizontalSubsamplingData.numContributors;
         for( int j = max - 1; j >= 0; j-- ) {
           float arrWeight = horizontalSubsamplingData.arrWeight[ index ];
           int pixelIndex = horizontalSubsamplingData.arrPixel[ index ];
           sample0 += (srcPixels[ pixelIndex ] & 0xff) * arrWeight;
           index++;
+        }
         workPixels[ k ][ i ] = toByte( sample0 );
+      }
+    }
+  }
   private static byte toByte( final float f ) {
     if( f < 0 ) {
       return 0;
+    }
     return (byte) (f > MAX_CHANNEL_VALUE ? MAX_CHANNEL_VALUE : f + 0.5f);
+  }
   protected int getResultBufferedImageType( BufferedImage srcImg ) {
     return nrChannels == 3
       ? TYPE_3BYTE_BGR
       : nrChannels == 4
       ? TYPE_4BYTE_ABGR
       : srcImg.getSampleModel().getDataType() == TYPE_USHORT
       ? TYPE_USHORT_GRAY
       : TYPE_BYTE_GRAY;
+  }
+}

M src/main/java/com/keenwrite/processors/PdfProcessor.java

 import static com.keenwrite.Bootstrap.APP_TITLE_LOWERCASE;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.events.StatusEvent.clue;
 import static com.keenwrite.io.MediaType.TEXT_XML;
   public String apply( final String xhtml ) {
     try {
       clue( get( "Main.status.typeset.create" ) );
       clue( "Main.status.typeset.create" );
       final var document = TEXT_XML.createTemporaryFile( APP_TITLE_LOWERCASE );
       final var pathInput = writeString( document, xhtml );
     } catch( final IOException | InterruptedException ex ) {
       // Typesetter runtime exceptions will pass up the call stack.
       clue( get( "Main.status.typeset.failed" ), ex );
       clue( "Main.status.typeset.failed", ex );
+    }

M src/main/java/com/keenwrite/processors/XhtmlProcessor.java

 import static com.keenwrite.Bootstrap.APP_TITLE_LOWERCASE;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.events.StatusEvent.clue;
 import static com.keenwrite.io.HttpFacade.httpGet;
   @Override
   public String apply( final String html ) {
     clue( get( "Main.status.typeset.xhtml" ) );
     clue( "Main.status.typeset.xhtml" );
     final var doc = parse( html );

M src/main/java/com/keenwrite/processors/markdown/MarkdownProcessor.java

     extensions.add( ImageLinkExtension.create( context ) );
     extensions.add( TeXExtension.create( processor, context ) );
     extensions.add( FencedBlockExtension.create( processor ) );
     extensions.add( FencedBlockExtension.create( processor, context ) );
     extensions.add( CaretExtension.create( context ) );
     extensions.add( DocumentOutlineExtension.create( processor ) );

M src/main/java/com/keenwrite/processors/markdown/extensions/ImageLinkExtension.java

 import com.keenwrite.ExportFormat;
 import com.keenwrite.exceptions.MissingFileException;
 import com.keenwrite.preferences.Workspace;
 import com.keenwrite.processors.ProcessorContext;
       @NotNull final LinkResolverBasicContext context,
       @NotNull final ResolvedLink link ) {
       return node instanceof Image ? forImage( link ) : link;
       return node instanceof Image ? forImage( link, node ) : link;
+    }
+     *
      * @param link The link URL to resolve.
      * @param node The document node containing the URL.
      * @return The {@link ResolvedLink} instance used to render the link.
      */
     private ResolvedLink forImage( final ResolvedLink link ) {
     private ResolvedLink forImage( final ResolvedLink link, final Node node ) {
       var uri = link.getUrl();
       final var protocol = getProtocol( uri );
+        }
         throw new MissingFileException( imageFile + ".*" );
         clue( "Main.status.error.file.missing.near",
               imageFile + ".*", node.getLineNumber()
         );
       } catch( final Exception ex ) {
         clue( ex );

M src/main/java/com/keenwrite/processors/markdown/extensions/fences/FencedBlockExtension.java

 package com.keenwrite.processors.markdown.extensions.fences;
 import com.keenwrite.preferences.Workspace;
 import com.keenwrite.processors.DefinitionProcessor;
 import com.keenwrite.processors.Processor;
 import com.keenwrite.processors.ProcessorContext;
 import com.keenwrite.processors.markdown.MarkdownProcessor;
 import com.keenwrite.processors.markdown.extensions.HtmlRendererAdapter;
 import java.util.zip.Deflater;
 import static com.keenwrite.constants.Constants.DIAGRAM_SERVER_NAME;
 import static com.keenwrite.events.StatusEvent.clue;
 import static com.keenwrite.preferences.WorkspaceKeys.KEY_IMAGES_SERVER;
 import static com.vladsch.flexmark.html.HtmlRenderer.Builder;
 import static com.vladsch.flexmark.html.renderer.LinkType.LINK;
   private final Processor<String> mProcessor;
   private final ProcessorContext mContext;
   public FencedBlockExtension( final Processor<String> processor ) {
   public FencedBlockExtension(
     final Processor<String> processor, final ProcessorContext context ) {
     assert processor != null;
     assert context != null;
     mProcessor = processor;
     mContext = context;
+  }
    */
   public static FencedBlockExtension create(
     final Processor<String> processor ) {
     return new FencedBlockExtension( processor );
     final Processor<String> processor, final ProcessorContext context ) {
     return new FencedBlockExtension( processor, context );
+  }
+  }
   /**
    * Responsible for generating images from a fenced block that contains a
    * diagram reference.
    */
   private class CustomRenderer implements NodeRenderer {
           final var text = mProcessor.apply( content );
           final var encoded = encode( text );
           final var source = format(
             "https://%s/%s/svg/%s", DIAGRAM_SERVER_NAME, type, encoded );
           final var source = getSourceUrl( type, encoded );
           final var link = context.resolveLink( LINK, source, false );
     private String encode( final String decoded ) {
       return getUrlEncoder().encodeToString( compress( decoded.getBytes() ) );
+    }
     private String getSourceUrl( final String type, final String encoded ) {
       return
         format( "https://%s/%s/svg/%s", getDiagramServerName(), type, encoded );
+    }
     private Workspace getWorkspace() {
       return mContext.getWorkspace();
+    }
     private String getDiagramServerName() {
       return getWorkspace().toString( KEY_IMAGES_SERVER );
+    }
+  }

M src/main/java/com/keenwrite/typesetting/Typesetter.java

 import com.keenwrite.io.SysFile;
 import com.keenwrite.preferences.Workspace;
 import java.io.*;
 import java.nio.file.NoSuchFileException;
 import java.nio.file.Path;
 import java.util.ArrayList;
 import java.util.List;
 import java.util.Scanner;
 import java.util.concurrent.Callable;
 import java.util.regex.Pattern;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.constants.Constants.DEFAULT_DIRECTORY;
 import static com.keenwrite.events.StatusEvent.clue;
 import static com.keenwrite.preferences.WorkspaceKeys.KEY_TYPESET_CONTEXT_THEMES_PATH;
 import static com.keenwrite.preferences.WorkspaceKeys.KEY_TYPESET_CONTEXT_THEME_SELECTION;
 import static java.lang.ProcessBuilder.Redirect.DISCARD;
 import static java.lang.String.format;
 import static java.lang.System.currentTimeMillis;
 import static java.nio.file.Files.deleteIfExists;
 import static java.nio.file.Files.newDirectoryStream;
 import static java.util.concurrent.TimeUnit.*;
 import static org.apache.commons.io.FilenameUtils.removeExtension;
 /**
  * Responsible for invoking an executable to typeset text. This will
  * construct suitable command-line arguments to invoke the typesetting engine.
  */
 public class Typesetter {
   private static final SysFile TYPESETTER = new SysFile( "mtxrun" );
   private final Workspace mWorkspace;
   /**
    * Creates a new {@link Typesetter} instance capable of configuring the
    * typesetter used to generate a typeset document.
    */
   public Typesetter( final Workspace workspace ) {
     mWorkspace = workspace;
+  }
   public static boolean canRun() {
     return TYPESETTER.canRun();
+  }
   /**
    * This will typeset the document using a new process. The return value only
    * indicates whether the typesetter exists, not whether the typesetting was
    * successful.
+   *
    * @param in  The input document to typeset.
    * @param out Path to the finished typeset document.
    * @throws IOException                 If the process could not be started.
    * @throws InterruptedException        If the process was killed.
    * @throws TypesetterNotFoundException When no typesetter is along the PATH.
    */
   public void typeset( final Path in, final Path out )
     throws IOException, InterruptedException, TypesetterNotFoundException {
     if( TYPESETTER.canRun() ) {
       clue( get( "Main.status.typeset.began", out ) );
       final var task = new TypesetTask( in, out );
       final var time = currentTimeMillis();
       final var success = task.typeset();
       clue( get(
         "Main.status.typeset.ended." + (success ? "success" : "failure"),
         out, since( time ) )
       );
+    }
     else {
       throw new TypesetterNotFoundException( TYPESETTER.toString() );
+    }
+  }
   /**
    * Calculates the time that has elapsed from the current time to the
    * given moment in time.
+   *
    * @param start The starting time, which should be before the current time.
    * @return A human-readable formatted time.
    * @see #asElapsed(long)
    */
   private static String since( final long start ) {
     return asElapsed( currentTimeMillis() - start );
+  }
   /**
    * Converts an elapsed time to a human-readable format (hours, minutes,
    * seconds, and milliseconds).
+   *
    * @param elapsed An elapsed time, in milliseconds.
    * @return Human-readable elapsed time.
    */
   private static String asElapsed( final long elapsed ) {
     final var hours = MILLISECONDS.toHours( elapsed );
     final var eHours = elapsed - HOURS.toMillis( hours );
     final var minutes = MILLISECONDS.toMinutes( eHours );
     final var eMinutes = eHours - MINUTES.toMillis( minutes );
     final var seconds = MILLISECONDS.toSeconds( eMinutes );
     final var eSeconds = eMinutes - SECONDS.toMillis( seconds );
     final var milliseconds = MILLISECONDS.toMillis( eSeconds );
     return format( "%02d:%02d:%02d.%03d",
                    hours, minutes, seconds, milliseconds );
+  }
   /**
    * Launches a task to typeset a document.
    */
   private class TypesetTask implements Callable<Boolean> {
     private final List<String> mArgs = new ArrayList<>();
     private final Path mInput;
     private final Path mOutput;
     /**
      * Working directory must be set because ConTeXt cannot write the
      * result to an arbitrary location.
      */
     private final Path mDirectory;
     private TypesetTask( final Path input, final Path output ) {
       assert input != null;
       assert output != null;
       final var parentDir = output.getParent();
       mInput = input;
       mOutput = output;
       mDirectory = parentDir == null ? DEFAULT_DIRECTORY : parentDir;
+    }
     /**
      * Initializes ConTeXt, which means creating the cache directory if it
      * doesn't already exist. The theme entry point must be named 'main.tex'.
+     *
      * @return {@code true} if the cache directory exists.
      */
     private boolean reinitialize() {
       final var filename = mOutput.getFileName();
       final var themes = getThemesPath();
       final var theme = getThemesSelection();
       final var cacheExists = !isEmpty( getCacheDir().toPath() );
       // Ensure invoking multiple times will load the correct arguments.
       mArgs.clear();
       mArgs.add( TYPESETTER.getName() );
       if( cacheExists ) {
         mArgs.add( "--autogenerate" );
         mArgs.add( "--script" );
         mArgs.add( "mtx-context" );
         mArgs.add( "--batchmode" );
         mArgs.add( "--nonstopmode" );
         mArgs.add( "--purgeall" );
         mArgs.add( "--path='" + Path.of( themes.toString(), theme ) + "'" );
         mArgs.add( "--environment='main'" );
         mArgs.add( "--result='" + filename + "'" );
         mArgs.add( mInput.toString() );
         final var sb = new StringBuilder( 128 );
         mArgs.forEach( arg -> sb.append( arg ).append( " " ) );
         clue( sb.toString() );
+      }
       else {
         mArgs.add( "--generate" );
+      }
       return cacheExists;
+    }
     /**
      * Setting {@code TEXMFCACHE} when run on a fresh system fails on first
      * run. If the cache directory doesn't exist, attempt to create it, then
      * call ConTeXt to generate the PDF. This is brittle because if the
      * directory is empty, or not populated with cached data, a false positive
      * will be returned, resulting in no PDF being created.
+     *
      * @return {@code true} if the document was typeset successfully.
      * @throws IOException          If the process could not be started.
      * @throws InterruptedException If the process was killed.
      */
     private boolean typeset() throws IOException, InterruptedException {
       return reinitialize() ? call() : call() && reinitialize() && call();
+    }
     @Override
     public Boolean call() throws IOException, InterruptedException {
       final var builder = new ProcessBuilder( mArgs );
       builder.directory( mDirectory.toFile() );
       builder.environment().put( "TEXMFCACHE", getCacheDir().toString() );
       // Without redirecting (or draining) stderr, the command may not
       // terminate successfully.
       builder.redirectError( DISCARD );
       final var process = builder.start();
       // Reading from stdout allows slurping page numbers while generating.
       final var listener = new PaginationListener( process.getInputStream() );
       listener.start();
       process.waitFor();
       final var exit = process.exitValue();
       process.destroy();
       // If there was an error, the typesetter will leave behind log, pdf, and
       // error files.
       if( exit != 0 ) {
         final var xmlName = mInput.getFileName().toString();
         final var srcName = mOutput.getFileName().toString();
         final var logName = newExtension( xmlName, ".log" );
         final var errName = newExtension( xmlName, "-error.log" );
         final var pdfName = newExtension( xmlName, ".pdf" );
         final var badName = newExtension( srcName, ".log" );
         deleteIfExists( badName );
         deleteIfExists( logName );
         deleteIfExists( errName );
         deleteIfExists( pdfName );
+      }
       // Exit value for a successful invocation of the typesetter. This value
       // value is returned when creating the cache on the first run as well as
       // creating PDFs on subsequent runs (after the cache has been created).
       // Users don't care about exit codes, only whether the PDF was generated.
       return exit == 0;
+    }
     private Path newExtension( final String baseName, final String ext ) {
       return mOutput.resolveSibling( removeExtension( baseName ) + ext );
+    }
     /**
      * Returns the location of the cache directory.
+     *
      * @return A fully qualified path to the location to store temporary
      * files between typesetting runs.
      */
     private java.io.File getCacheDir() {
       final var temp = System.getProperty( "java.io.tmpdir" );
       final var cache = Path.of( temp, "luatex-cache" );
       return cache.toFile();
+    }
     /**
      * Answers whether the given directory is empty. The typesetting software
      * creates a non-empty directory by default. The return value from this
      * method is a proxy to answering whether the typesetter has been run for
      * the first time or not.
+     *
      * @param path The directory to check for emptiness.
      * @return {@code true} if the directory is empty.
      */
     private boolean isEmpty( final Path path ) {
       try( final var stream = newDirectoryStream( path ) ) {
         return !stream.iterator().hasNext();
       } catch( final NoSuchFileException | FileNotFoundException ex ) {
         // A missing directory means it doesn't exist, ergo is empty.
         return true;
       } catch( final IOException ex ) {
         throw new RuntimeException( ex );
+      }
+    }
+  }
   /**
    * Responsible for parsing the output from the typesetting engine and
    * updating the status bar to provide assurance that typesetting is
    * executing.
+   *
    * <p>
    * Example lines written to standard output:
    * </p>
    * <pre>{@code
    * pages           > flushing realpage 15, userpage 15, subpage 15
    * pages           > flushing realpage 16, userpage 16, subpage 16
    * pages           > flushing realpage 1, userpage 1, subpage 1
    * pages           > flushing realpage 2, userpage 2, subpage 2
    * }</pre>
    * <p>
    * The lines are parsed; the first number is displayed in a status bar
    * message.
    * </p>
    */
   private static class PaginationListener extends Thread {
     private static final Pattern DIGITS = Pattern.compile( "[^\\d]+" );
     private final InputStream mInputStream;
     public PaginationListener( final InputStream in ) {
       mInputStream = in;
+    }
     @Override
     public void run() {
       try( final var reader = createReader() ) {
         int pageCount = 1;
         int passCount = 1;
         int pageTotal = 0;
         String line;
         while( (line = reader.readLine()) != null ) {
           if( line.startsWith( "pages" ) ) {
             // The bottleneck will be the typesetting engine writing to stdout,
             // not the parsing of stdout.
             final var scanner = new Scanner( line ).useDelimiter( DIGITS );
             final var digits = scanner.next();
             final var page = Integer.parseInt( digits );
             // If the page number is less than the previous page count, it
             // means that the typesetting engine has started another pass.
             if( page < pageCount ) {
               passCount++;
               pageTotal = pageCount;
+            }
             pageCount = page;
             // Let the user know that something is happening in the background.
             clue( get(
               "Main.status.typeset.page",
               pageCount, pageTotal < 1 ? "?" : pageTotal, passCount
             ) );
+          }
+        }
       } catch( final IOException ex ) {
         throw new RuntimeException( ex );
+      }
+    }
     private BufferedReader createReader() {
       return new BufferedReader( new InputStreamReader( mInputStream ) );
+    }
+  }
   private File getThemesPath() {
     return mWorkspace.toFile( KEY_TYPESET_CONTEXT_THEMES_PATH );
+  }
   private String getThemesSelection() {
     return mWorkspace.toString( KEY_TYPESET_CONTEXT_THEME_SELECTION );
 import com.keenwrite.util.BoundedCache;
 import java.io.*;
 import java.nio.file.NoSuchFileException;
 import java.nio.file.Path;
 import java.util.ArrayList;
 import java.util.List;
 import java.util.Map;
 import java.util.Scanner;
 import java.util.concurrent.Callable;
 import java.util.regex.Pattern;
 import static com.keenwrite.constants.Constants.DEFAULT_DIRECTORY;
 import static com.keenwrite.events.StatusEvent.clue;
 import static com.keenwrite.preferences.WorkspaceKeys.*;
 import static java.lang.ProcessBuilder.Redirect.DISCARD;
 import static java.lang.String.format;
 import static java.lang.System.currentTimeMillis;
 import static java.lang.System.getProperty;
 import static java.nio.file.Files.*;
 import static java.util.Arrays.asList;
 import static java.util.concurrent.TimeUnit.*;
 import static org.apache.commons.io.FilenameUtils.removeExtension;
 /**
  * Responsible for invoking an executable to typeset text. This will
  * construct suitable command-line arguments to invoke the typesetting engine.
  */
 public class Typesetter {
   private static final SysFile TYPESETTER = new SysFile( "mtxrun" );
   private final Workspace mWorkspace;
   /**
    * Creates a new {@link Typesetter} instance capable of configuring the
    * typesetter used to generate a typeset document.
    */
   public Typesetter( final Workspace workspace ) {
     mWorkspace = workspace;
+  }
   public static boolean canRun() {
     return TYPESETTER.canRun();
+  }
   /**
    * This will typeset the document using a new process. The return value only
    * indicates whether the typesetter exists, not whether the typesetting was
    * successful.
+   *
    * @param in  The input document to typeset.
    * @param out Path to the finished typeset document.
    * @throws IOException                 If the process could not be started.
    * @throws InterruptedException        If the process was killed.
    * @throws TypesetterNotFoundException When no typesetter is along the PATH.
    */
   public void typeset( final Path in, final Path out )
     throws IOException, InterruptedException, TypesetterNotFoundException {
     if( TYPESETTER.canRun() ) {
       clue( "Main.status.typeset.began", out );
       final var task = new TypesetTask( in, out );
       final var time = currentTimeMillis();
       final var success = task.typeset();
       clue( "Main.status.typeset.ended." + (success ? "success" : "failure"),
             out, since( time )
       );
+    }
     else {
       throw new TypesetterNotFoundException( TYPESETTER.toString() );
+    }
+  }
   /**
    * Calculates the time that has elapsed from the current time to the
    * given moment in time.
+   *
    * @param start The starting time, which should be before the current time.
    * @return A human-readable formatted time.
    * @see #asElapsed(long)
    */
   private static String since( final long start ) {
     return asElapsed( currentTimeMillis() - start );
+  }
   /**
    * Converts an elapsed time to a human-readable format (hours, minutes,
    * seconds, and milliseconds).
+   *
    * @param elapsed An elapsed time, in milliseconds.
    * @return Human-readable elapsed time.
    */
   private static String asElapsed( final long elapsed ) {
     final var hours = MILLISECONDS.toHours( elapsed );
     final var eHours = elapsed - HOURS.toMillis( hours );
     final var minutes = MILLISECONDS.toMinutes( eHours );
     final var eMinutes = eHours - MINUTES.toMillis( minutes );
     final var seconds = MILLISECONDS.toSeconds( eMinutes );
     final var eSeconds = eMinutes - SECONDS.toMillis( seconds );
     final var milliseconds = MILLISECONDS.toMillis( eSeconds );
     return format( "%02d:%02d:%02d.%03d",
                    hours, minutes, seconds, milliseconds );
+  }
   /**
    * Launches a task to typeset a document.
    */
   private class TypesetTask implements Callable<Boolean> {
     private final List<String> mArgs = new ArrayList<>();
     private final Path mInput;
     private final Path mOutput;
     /**
      * Working directory must be set because ConTeXt cannot write the
      * result to an arbitrary location.
      */
     private final Path mDirectory;
     private TypesetTask( final Path input, final Path output ) {
       assert input != null;
       assert output != null;
       final var parentDir = output.getParent();
       mInput = input;
       mOutput = output;
       mDirectory = parentDir == null ? DEFAULT_DIRECTORY : parentDir;
+    }
     /**
      * Initializes ConTeXt, which means creating the cache directory if it
      * doesn't already exist. The theme entry point must be named 'main.tex'.
+     *
      * @return {@code true} if the cache directory exists.
      */
     private boolean reinitialize() {
       final var filename = mOutput.getFileName();
       final var themes = getThemesPath();
       final var theme = getThemesSelection();
       final var cacheExists = !isEmpty( getCacheDir().toPath() );
       // Ensure invoking multiple times will load the correct arguments.
       mArgs.clear();
       mArgs.add( TYPESETTER.getName() );
       if( cacheExists ) {
         mArgs.add( "--autogenerate" );
         mArgs.add( "--script" );
         mArgs.add( "mtx-context" );
         mArgs.add( "--batchmode" );
         mArgs.add( "--nonstopmode" );
         mArgs.add( "--purgeall" );
         mArgs.add( "--path='" + Path.of( themes.toString(), theme ) + "'" );
         mArgs.add( "--environment='main'" );
         mArgs.add( "--result='" + filename + "'" );
         mArgs.add( mInput.toString() );
         final var sb = new StringBuilder( 128 );
         mArgs.forEach( arg -> sb.append( arg ).append( " " ) );
         clue( sb.toString() );
+      }
       else {
         mArgs.add( "--generate" );
+      }
       return cacheExists;
+    }
     /**
      * Setting {@code TEXMFCACHE} when run on a fresh system fails on first
      * run. If the cache directory doesn't exist, attempt to create it, then
      * call ConTeXt to generate the PDF. This is brittle because if the
      * directory is empty, or not populated with cached data, a false positive
      * will be returned, resulting in no PDF being created.
+     *
      * @return {@code true} if the document was typeset successfully.
      * @throws IOException          If the process could not be started.
      * @throws InterruptedException If the process was killed.
      */
     private boolean typeset() throws IOException, InterruptedException {
       return reinitialize() ? call() : call() && reinitialize() && call();
+    }
     @Override
     public Boolean call() throws IOException, InterruptedException {
       final var stdout = new BoundedCache<String, String>( 150 );
       final var builder = new ProcessBuilder( mArgs );
       builder.directory( mDirectory.toFile() );
       builder.environment().put( "TEXMFCACHE", getCacheDir().toString() );
       // Without redirecting (or draining) stderr, the command may not
       // terminate successfully.
       builder.redirectError( DISCARD );
       final var process = builder.start();
       // Reading from stdout allows slurping page numbers while generating.
       final var listener = new PaginationListener(
         process.getInputStream(), stdout );
       listener.start();
       process.waitFor();
       final var exit = process.exitValue();
       process.destroy();
       // If there was an error, the typesetter will leave behind log, pdf, and
       // error files.
       if( exit > 0 ) {
         final var xmlName = mInput.getFileName().toString();
         final var srcName = mOutput.getFileName().toString();
         final var logName = newExtension( xmlName, ".log" );
         final var errName = newExtension( xmlName, "-error.log" );
         final var pdfName = newExtension( xmlName, ".pdf" );
         final var tuaName = newExtension( xmlName, ".tua" );
         final var badName = newExtension( srcName, ".log" );
         log( badName );
         log( logName );
         log( errName );
         log( stdout.keySet().stream().toList() );
         // Users may opt to keep these files around for debugging purposes.
         if( autoclean() ) {
           deleteIfExists( logName );
           deleteIfExists( errName );
           deleteIfExists( pdfName );
           deleteIfExists( badName );
           deleteIfExists( tuaName );
+        }
+      }
       // Exit value for a successful invocation of the typesetter. This value
       // value is returned when creating the cache on the first run as well as
       // creating PDFs on subsequent runs (after the cache has been created).
       // Users don't care about exit codes, only whether the PDF was generated.
       return exit == 0;
+    }
     private Path newExtension( final String baseName, final String ext ) {
       return mOutput.resolveSibling( removeExtension( baseName ) + ext );
+    }
     /**
      * Fires a status message for each line in the given file. The file format
      * is somewhat machine-readable, but no effort beyond line splitting is
      * made to parse the text.
+     *
      * @param path Path to the file containing error messages.
      */
     private void log( final Path path ) throws IOException {
       if( exists( path ) ) {
         log( readAllLines( path ) );
+      }
+    }
     private void log( final List<String> lines ) {
       final var splits = new ArrayList<String>( lines.size() * 2 );
       for( final var line : lines ) {
         splits.addAll( asList( line.split( "\\\\n" ) ) );
+      }
       clue( splits );
+    }
     /**
      * Returns the location of the cache directory.
+     *
      * @return A fully qualified path to the location to store temporary
      * files between typesetting runs.
      */
     private java.io.File getCacheDir() {
       final var temp = getProperty( "java.io.tmpdir" );
       final var cache = Path.of( temp, "luatex-cache" );
       return cache.toFile();
+    }
     /**
      * Answers whether the given directory is empty. The typesetting software
      * creates a non-empty directory by default. The return value from this
      * method is a proxy to answering whether the typesetter has been run for
      * the first time or not.
+     *
      * @param path The directory to check for emptiness.
      * @return {@code true} if the directory is empty.
      */
     private boolean isEmpty( final Path path ) {
       try( final var stream = newDirectoryStream( path ) ) {
         return !stream.iterator().hasNext();
       } catch( final NoSuchFileException | FileNotFoundException ex ) {
         // A missing directory means it doesn't exist, ergo is empty.
         return true;
       } catch( final IOException ex ) {
         throw new RuntimeException( ex );
+      }
+    }
+  }
   /**
    * Responsible for parsing the output from the typesetting engine and
    * updating the status bar to provide assurance that typesetting is
    * executing.
+   *
    * <p>
    * Example lines written to standard output:
    * </p>
    * <pre>{@code
    * pages           > flushing realpage 15, userpage 15, subpage 15
    * pages           > flushing realpage 16, userpage 16, subpage 16
    * pages           > flushing realpage 1, userpage 1, subpage 1
    * pages           > flushing realpage 2, userpage 2, subpage 2
    * }</pre>
    * <p>
    * The lines are parsed; the first number is displayed in a status bar
    * message.
    * </p>
    */
   private static class PaginationListener extends Thread {
     private static final Pattern DIGITS = Pattern.compile( "[^\\d]+" );
     private final InputStream mInputStream;
     private final Map<String, String> mCache;
     public PaginationListener(
       final InputStream in, final Map<String, String> cache ) {
       mInputStream = in;
       mCache = cache;
+    }
     @Override
     public void run() {
       try( final var reader = createReader() ) {
         int pageCount = 1;
         int passCount = 1;
         int pageTotal = 0;
         String line;
         while( (line = reader.readLine()) != null ) {
           mCache.put( line, "" );
           if( line.startsWith( "pages" ) ) {
             // The bottleneck will be the typesetting engine writing to stdout,
             // not the parsing of stdout.
             final var scanner = new Scanner( line ).useDelimiter( DIGITS );
             final var digits = scanner.next();
             final var page = Integer.parseInt( digits );
             // If the page number is less than the previous page count, it
             // means that the typesetting engine has started another pass.
             if( page < pageCount ) {
               passCount++;
               pageTotal = pageCount;
+            }
             pageCount = page;
             // Let the user know that something is happening in the background.
             clue( "Main.status.typeset.page",
                   pageCount, pageTotal < 1 ? "?" : pageTotal, passCount
             );
+          }
+        }
       } catch( final IOException ex ) {
         throw new RuntimeException( ex );
+      }
+    }
     private BufferedReader createReader() {
       return new BufferedReader( new InputStreamReader( mInputStream ) );
+    }
+  }
   private File getThemesPath() {
     return mWorkspace.toFile( KEY_TYPESET_CONTEXT_THEMES_PATH );
+  }
   private String getThemesSelection() {
     return mWorkspace.toString( KEY_TYPESET_CONTEXT_THEME_SELECTION );
+  }
   /**
    * Answers whether logs and other files should be deleted upon error. The
    * log files are useful for debugging.
+   *
    * @return {@code true} to delete generated files.
    */
   private boolean autoclean() {
     return mWorkspace.toBoolean( KEY_TYPESET_CONTEXT_CLEAN );
+  }
+}

M src/main/java/com/keenwrite/ui/actions/ApplicationActions.java

 import com.keenwrite.ui.explorer.FilePickerFactory;
 import com.keenwrite.ui.logging.LogView;
 import com.vladsch.flexmark.ast.Link;
 import javafx.concurrent.Task;
 import javafx.scene.control.Alert;
 import javafx.scene.control.Dialog;
 import javafx.stage.Window;
 import javafx.stage.WindowEvent;
 import java.io.File;
 import java.nio.file.Path;
 import java.util.List;
 import java.util.Optional;
 import java.util.concurrent.ExecutorService;
 import static com.keenwrite.Bootstrap.*;
 import static com.keenwrite.ExportFormat.*;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.constants.GraphicsConstants.ICON_DIALOG_NODE;
 import static com.keenwrite.events.StatusEvent.clue;
 import static com.keenwrite.preferences.WorkspaceKeys.KEY_TYPESET_CONTEXT_THEMES_PATH;
 import static com.keenwrite.preferences.WorkspaceKeys.KEY_TYPESET_CONTEXT_THEME_SELECTION;
 import static com.keenwrite.processors.ProcessorFactory.createProcessors;
 import static com.keenwrite.ui.explorer.FilePickerFactory.Options;
 import static com.keenwrite.ui.explorer.FilePickerFactory.Options.*;
 import static java.nio.file.Files.writeString;
 import static java.util.concurrent.Executors.newFixedThreadPool;
 import static javafx.application.Platform.runLater;
 import static javafx.event.Event.fireEvent;
 import static javafx.scene.control.Alert.AlertType.INFORMATION;
 import static javafx.stage.WindowEvent.WINDOW_CLOSE_REQUEST;
 /**
  * Responsible for abstracting how functionality is mapped to the application.
  * This allows users to customize accelerator keys and will provide pluggable
  * functionality so that different text markup languages can change documents
  * using their respective syntax.
  */
 @SuppressWarnings( "NonAsciiCharacters" )
 public final class ApplicationActions {
   private static final ExecutorService sExecutor = newFixedThreadPool( 1 );
   private static final String STYLE_SEARCH = "search";
   /**
    * When an action is executed, this is one of the recipients.
    */
   private final MainPane mMainPane;
   private final MainScene mMainScene;
   private final LogView mLogView;
   /**
    * Tracks finding text in the active document.
    */
   private final SearchModel mSearchModel;
   public ApplicationActions( final MainScene scene, final MainPane pane ) {
     mMainScene = scene;
     mMainPane = pane;
     mLogView = new LogView();
     mSearchModel = new SearchModel();
     mSearchModel.matchOffsetProperty().addListener( ( c, o, n ) -> {
       final var editor = getActiveTextEditor();
       // Clear highlighted areas before highlighting a new region.
       if( o != null ) {
         editor.unstylize( STYLE_SEARCH );
+      }
       if( n != null ) {
         editor.moveTo( n.getStart() );
         editor.stylize( n, STYLE_SEARCH );
+      }
     } );
     // When the active text editor changes, update the haystack.
     mMainPane.activeTextEditorProperty().addListener(
       ( c, o, n ) -> mSearchModel.search( getActiveTextEditor().getText() )
     );
+  }
   public void file‿new() {
     getMainPane().newTextEditor();
+  }
   public void file‿open() {
     pickFiles( FILE_OPEN_MULTIPLE ).ifPresent( l -> getMainPane().open( l ) );
+  }
   public void file‿close() {
     getMainPane().close();
+  }
   public void file‿close_all() {
     getMainPane().closeAll();
+  }
   public void file‿save() {
     getMainPane().save();
+  }
   public void file‿save_as() {
     pickFiles( FILE_SAVE_AS ).ifPresent( l -> getMainPane().saveAs( l ) );
+  }
   public void file‿save_all() {
     getMainPane().saveAll();
+  }
   private void file‿export( final ExportFormat format ) {
     final var main = getMainPane();
     final var editor = main.getActiveTextEditor();
     final var filename = format.toExportFilename( editor.getPath() );
     final var selection = pickFiles( filename, FILE_EXPORT );
     selection.ifPresent( ( files ) -> {
       final var file = files.get( 0 );
       final var path = file.toPath();
       final var document = editor.getText();
       final var context = main.createProcessorContext( path, format );
       final var task = new Task<Path>() {
         @Override
         protected Path call() throws Exception {
           final var chain = createProcessors( context );
           final var export = chain.apply( document );
           // Processors can export binary files. In such cases, processors
           // return null to prevent further processing.
           return export == null ? null : writeString( path, export );
+        }
       };
       task.setOnSucceeded(
         e -> {
           final var result = task.getValue();
           // Binary formats must notify users of success independently.
           if( result != null ) {
             clue( get( "Main.status.export.success", result ) );
+          }
+        }
       );
       task.setOnFailed( e -> {
         final var ex = task.getException();
         clue( ex );
         if( ex instanceof TypeNotPresentException ) {
           fireExportFailedEvent();
+        }
       } );
       sExecutor.execute( task );
     } );
+  }
   public void file‿export‿pdf() {
     final var workspace = getWorkspace();
     final var themes = workspace.toFile( KEY_TYPESET_CONTEXT_THEMES_PATH );
     final var theme = workspace.stringProperty(
       KEY_TYPESET_CONTEXT_THEME_SELECTION );
     if( Typesetter.canRun() ) {
       // If the typesetter is installed, allow the user to select a theme. If
       // the themes aren't installed, a status message will appear.
       if( ThemePicker.choose( themes, theme ) ) {
         file‿export( APPLICATION_PDF );
+      }
+    }
     else {
       fireExportFailedEvent();
+    }
+  }
   public void file‿export‿html_svg() {
     file‿export( HTML_TEX_SVG );
+  }
   public void file‿export‿html_tex() {
     file‿export( HTML_TEX_DELIMITED );
+  }
   public void file‿export‿xhtml_tex() {
     file‿export( XHTML_TEX );
+  }
   public void file‿export‿markdown() {
     file‿export( MARKDOWN_PLAIN );
+  }
   private void fireExportFailedEvent() {
     runLater( ExportFailedEvent::fireExportFailedEvent );
+  }
   public void file‿exit() {
     final var window = getWindow();
     fireEvent( window, new WindowEvent( window, WINDOW_CLOSE_REQUEST ) );
+  }
   public void edit‿undo() {
     getActiveTextEditor().undo();
+  }
   public void edit‿redo() {
     getActiveTextEditor().redo();
+  }
   public void edit‿cut() {
     getActiveTextEditor().cut();
+  }
   public void edit‿copy() {
     getActiveTextEditor().copy();
+  }
   public void edit‿paste() {
     getActiveTextEditor().paste();
+  }
   public void edit‿select_all() {
     getActiveTextEditor().selectAll();
+  }
   public void edit‿find() {
     final var nodes = getMainScene().getStatusBar().getLeftItems();
     if( nodes.isEmpty() ) {
       final var searchBar = new SearchBar();
       searchBar.matchIndexProperty().bind( mSearchModel.matchIndexProperty() );
       searchBar.matchCountProperty().bind( mSearchModel.matchCountProperty() );
       searchBar.setOnCancelAction( ( event ) -> {
         final var editor = getActiveTextEditor();
         nodes.remove( searchBar );
         editor.unstylize( STYLE_SEARCH );
         editor.getNode().requestFocus();
       } );
       searchBar.addInputListener( ( c, o, n ) -> {
         if( n != null && !n.isEmpty() ) {
           mSearchModel.search( n, getActiveTextEditor().getText() );
+        }
       } );
       searchBar.setOnNextAction( ( event ) -> edit‿find_next() );
       searchBar.setOnPrevAction( ( event ) -> edit‿find_prev() );
       nodes.add( searchBar );
       searchBar.requestFocus();
+    }
     else {
       nodes.clear();
+    }
+  }
   public void edit‿find_next() {
     mSearchModel.advance();
+  }
   public void edit‿find_prev() {
     mSearchModel.retreat();
+  }
   public void edit‿preferences() {
     try {
       new PreferencesController( getWorkspace() ).show();
     } catch( final Exception ex ) {
       clue( ex );
+    }
+  }
   public void format‿bold() {
     getActiveTextEditor().bold();
+  }
   public void format‿italic() {
     getActiveTextEditor().italic();
+  }
   public void format‿superscript() {
     getActiveTextEditor().superscript();
+  }
   public void format‿subscript() {
     getActiveTextEditor().subscript();
+  }
   public void format‿strikethrough() {
     getActiveTextEditor().strikethrough();
+  }
   public void insert‿blockquote() {
     getActiveTextEditor().blockquote();
+  }
   public void insert‿code() {
     getActiveTextEditor().code();
+  }
   public void insert‿fenced_code_block() {
     getActiveTextEditor().fencedCodeBlock();
+  }
   public void insert‿link() {
     insertObject( createLinkDialog() );
+  }
   public void insert‿image() {
     insertObject( createImageDialog() );
+  }
   private void insertObject( final Dialog<String> dialog ) {
     final var textArea = getActiveTextEditor().getTextArea();
     dialog.showAndWait().ifPresent( textArea::replaceSelection );
+  }
   private Dialog<String> createLinkDialog() {
     return new LinkDialog( getWindow(), createHyperlinkModel() );
+  }
   private Dialog<String> createImageDialog() {
     final var path = getActiveTextEditor().getPath();
     final var parentDir = path.getParent();
     return new ImageDialog( getWindow(), parentDir );
+  }
   /**
    * Returns one of: selected text, word under cursor, or parsed hyperlink from
    * the Markdown AST.
+   *
    * @return An instance containing the link URL and display text.
    */
   private HyperlinkModel createHyperlinkModel() {
     final var context = getMainPane().createProcessorContext();
     final var editor = getActiveTextEditor();
     final var textArea = editor.getTextArea();
     final var selectedText = textArea.getSelectedText();
     // Convert current paragraph to Markdown nodes.
     final var mp = MarkdownProcessor.create( context );
     final var p = textArea.getCurrentParagraph();
     final var paragraph = textArea.getText( p );
     final var node = mp.toNode( paragraph );
     final var visitor = new LinkVisitor( textArea.getCaretColumn() );
     final var link = visitor.process( node );
     if( link != null ) {
       textArea.selectRange( p, link.getStartOffset(), p, link.getEndOffset() );
+    }
     return createHyperlinkModel( link, selectedText );
+  }
   private HyperlinkModel createHyperlinkModel(
     final Link link, final String selection ) {
     return link == null
       ? new HyperlinkModel( selection, "https://localhost" )
       : new HyperlinkModel( link );
+  }
   public void insert‿heading_1() {
     insert‿heading( 1 );
+  }
   public void insert‿heading_2() {
     insert‿heading( 2 );
+  }
   public void insert‿heading_3() {
     insert‿heading( 3 );
+  }
   private void insert‿heading( final int level ) {
     getActiveTextEditor().heading( level );
+  }
   public void insert‿unordered_list() {
     getActiveTextEditor().unorderedList();
+  }
   public void insert‿ordered_list() {
     getActiveTextEditor().orderedList();
+  }
   public void insert‿horizontal_rule() {
     getActiveTextEditor().horizontalRule();
+  }
   public void definition‿create() {
     getActiveTextDefinition().createDefinition();
+  }
   public void definition‿rename() {
     getActiveTextDefinition().renameDefinition();
+  }
   public void definition‿delete() {
     getActiveTextDefinition().deleteDefinitions();
+  }
   public void definition‿autoinsert() {
     getMainPane().autoinsert();
+  }
   public void view‿refresh() {
     getMainPane().viewRefresh();
+  }
   public void view‿preview() {
     getMainPane().viewPreview();
+  }
   public void view‿outline() {
     getMainPane().viewOutline();
+  }
   public void view‿files() { getMainPane().viewFiles(); }
   public void view‿statistics() {
     getMainPane().viewStatistics();
+  }
   public void view‿menubar() {
     getMainScene().toggleMenuBar();
+  }
   public void view‿toolbar() {
     getMainScene().toggleToolBar();
+  }
   public void view‿statusbar() {
     getMainScene().toggleStatusBar();
+  }
   public void view‿issues() {
     mLogView.view();
+  }
   public void help‿about() {
     final var alert = new Alert( INFORMATION );
     final var prefix = "Dialog.about.";
     alert.setTitle( get( prefix + "title", APP_TITLE ) );
     alert.setHeaderText( get( prefix + "header", APP_TITLE ) );
     alert.setContentText( get( prefix + "content", APP_YEAR, APP_VERSION ) );
     alert.setGraphic( ICON_DIALOG_NODE );
     alert.initOwner( getWindow() );
     alert.showAndWait();
 import com.keenwrite.util.AlphanumComparator;
 import com.vladsch.flexmark.ast.Link;
 import javafx.concurrent.Task;
 import javafx.scene.control.Alert;
 import javafx.scene.control.Dialog;
 import javafx.stage.Window;
 import javafx.stage.WindowEvent;
 import java.io.File;
 import java.io.IOException;
 import java.nio.file.Path;
 import java.util.ArrayList;
 import java.util.List;
 import java.util.Optional;
 import java.util.concurrent.ExecutorService;
 import static com.keenwrite.Bootstrap.*;
 import static com.keenwrite.ExportFormat.*;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.constants.GraphicsConstants.ICON_DIALOG_NODE;
 import static com.keenwrite.events.StatusEvent.clue;
 import static com.keenwrite.preferences.WorkspaceKeys.KEY_TYPESET_CONTEXT_THEMES_PATH;
 import static com.keenwrite.preferences.WorkspaceKeys.KEY_TYPESET_CONTEXT_THEME_SELECTION;
 import static com.keenwrite.processors.ProcessorFactory.createProcessors;
 import static com.keenwrite.ui.explorer.FilePickerFactory.Options;
 import static com.keenwrite.ui.explorer.FilePickerFactory.Options.*;
 import static com.keenwrite.util.FileWalker.walk;
 import static java.nio.file.Files.readString;
 import static java.nio.file.Files.writeString;
 import static java.util.concurrent.Executors.newFixedThreadPool;
 import static javafx.application.Platform.runLater;
 import static javafx.event.Event.fireEvent;
 import static javafx.scene.control.Alert.AlertType.INFORMATION;
 import static javafx.stage.WindowEvent.WINDOW_CLOSE_REQUEST;
 import static org.apache.commons.io.FilenameUtils.getExtension;
 /**
  * Responsible for abstracting how functionality is mapped to the application.
  * This allows users to customize accelerator keys and will provide pluggable
  * functionality so that different text markup languages can change documents
  * using their respective syntax.
  */
 @SuppressWarnings( "NonAsciiCharacters" )
 public final class ApplicationActions {
   private static final ExecutorService sExecutor = newFixedThreadPool( 1 );
   private static final String STYLE_SEARCH = "search";
   /**
    * Sci-fi genres, which are can be longer than other genres, typically fall
    * below 150,000 words at 6 chars per word. This reduces re-allocations of
    * memory when concatenating files together when exporting novels.
    */
   private static final int DOCUMENT_LENGTH = 150_000 * 6;
   /**
    * When an action is executed, this is one of the recipients.
    */
   private final MainPane mMainPane;
   private final MainScene mMainScene;
   private final LogView mLogView;
   /**
    * Tracks finding text in the active document.
    */
   private final SearchModel mSearchModel;
   public ApplicationActions( final MainScene scene, final MainPane pane ) {
     mMainScene = scene;
     mMainPane = pane;
     mLogView = new LogView();
     mSearchModel = new SearchModel();
     mSearchModel.matchOffsetProperty().addListener( ( c, o, n ) -> {
       final var editor = getActiveTextEditor();
       // Clear highlighted areas before highlighting a new region.
       if( o != null ) {
         editor.unstylize( STYLE_SEARCH );
+      }
       if( n != null ) {
         editor.moveTo( n.getStart() );
         editor.stylize( n, STYLE_SEARCH );
+      }
     } );
     // When the active text editor changes, update the haystack.
     mMainPane.activeTextEditorProperty().addListener(
       ( c, o, n ) -> mSearchModel.search( getActiveTextEditor().getText() )
     );
+  }
   public void file‿new() {
     getMainPane().newTextEditor();
+  }
   public void file‿open() {
     pickFiles( FILE_OPEN_MULTIPLE ).ifPresent( l -> getMainPane().open( l ) );
+  }
   public void file‿close() {
     getMainPane().close();
+  }
   public void file‿close_all() {
     getMainPane().closeAll();
+  }
   public void file‿save() {
     getMainPane().save();
+  }
   public void file‿save_as() {
     pickFiles( FILE_SAVE_AS ).ifPresent( l -> getMainPane().saveAs( l ) );
+  }
   public void file‿save_all() {
     getMainPane().saveAll();
+  }
   /**
    * Converts the actively edited file in the given file format.
+   *
    * @param format The destination file format.
    */
   private void file‿export( final ExportFormat format ) {
     file‿export( format, false );
+  }
   /**
    * Converts one or more files into the given file format. If {@code dir}
    * is set to true, this will first append all files in the same directory
    * as the actively edited file.
+   *
    * @param format The destination file format.
    * @param dir    Export all files in the actively edited file's directory.
    */
   private void file‿export( final ExportFormat format, final boolean dir ) {
     final var main = getMainPane();
     final var editor = main.getActiveTextEditor();
     final var filename = format.toExportFilename( editor.getPath() );
     final var selection = pickFiles( filename, FILE_EXPORT );
     selection.ifPresent( ( files ) -> {
       final var file = files.get( 0 );
       final var path = file.toPath();
       final var document = dir ? append( editor ) : editor.getText();
       final var context = main.createProcessorContext( path, format );
       final var task = new Task<Path>() {
         @Override
         protected Path call() throws Exception {
           final var chain = createProcessors( context );
           final var export = chain.apply( document );
           // Processors can export binary files. In such cases, processors
           // return null to prevent further processing.
           return export == null ? null : writeString( path, export );
+        }
       };
       task.setOnSucceeded(
         e -> {
           final var result = task.getValue();
           // Binary formats must notify users of success independently.
           if( result != null ) {
             clue( "Main.status.export.success", result );
+          }
+        }
       );
       task.setOnFailed( e -> {
         final var ex = task.getException();
         clue( ex );
         if( ex instanceof TypeNotPresentException ) {
           fireExportFailedEvent();
+        }
       } );
       sExecutor.execute( task );
     } );
+  }
   /**
    * @param dir {@code true} means to export all files in the active file
    *            editor's directory; {@code false} means to export only the
    *            actively edited file.
    */
   private void file‿export‿pdf( final boolean dir ) {
     final var workspace = getWorkspace();
     final var themes = workspace.toFile( KEY_TYPESET_CONTEXT_THEMES_PATH );
     final var theme = workspace.stringProperty(
       KEY_TYPESET_CONTEXT_THEME_SELECTION );
     if( Typesetter.canRun() ) {
       // If the typesetter is installed, allow the user to select a theme. If
       // the themes aren't installed, a status message will appear.
       if( ThemePicker.choose( themes, theme ) ) {
         file‿export( APPLICATION_PDF, dir );
+      }
+    }
     else {
       fireExportFailedEvent();
+    }
+  }
   public void file‿export‿pdf() {
     file‿export‿pdf( false );
+  }
   public void file‿export‿pdf‿dir() {
     file‿export‿pdf( true );
+  }
   public void file‿export‿html_svg() {
     file‿export( HTML_TEX_SVG );
+  }
   public void file‿export‿html_tex() {
     file‿export( HTML_TEX_DELIMITED );
+  }
   public void file‿export‿xhtml_tex() {
     file‿export( XHTML_TEX );
+  }
   public void file‿export‿markdown() {
     file‿export( MARKDOWN_PLAIN );
+  }
   private void fireExportFailedEvent() {
     runLater( ExportFailedEvent::fireExportFailedEvent );
+  }
   public void file‿exit() {
     final var window = getWindow();
     fireEvent( window, new WindowEvent( window, WINDOW_CLOSE_REQUEST ) );
+  }
   public void edit‿undo() {
     getActiveTextEditor().undo();
+  }
   public void edit‿redo() {
     getActiveTextEditor().redo();
+  }
   public void edit‿cut() {
     getActiveTextEditor().cut();
+  }
   public void edit‿copy() {
     getActiveTextEditor().copy();
+  }
   public void edit‿paste() {
     getActiveTextEditor().paste();
+  }
   public void edit‿select_all() {
     getActiveTextEditor().selectAll();
+  }
   public void edit‿find() {
     final var nodes = getMainScene().getStatusBar().getLeftItems();
     if( nodes.isEmpty() ) {
       final var searchBar = new SearchBar();
       searchBar.matchIndexProperty().bind( mSearchModel.matchIndexProperty() );
       searchBar.matchCountProperty().bind( mSearchModel.matchCountProperty() );
       searchBar.setOnCancelAction( ( event ) -> {
         final var editor = getActiveTextEditor();
         nodes.remove( searchBar );
         editor.unstylize( STYLE_SEARCH );
         editor.getNode().requestFocus();
       } );
       searchBar.addInputListener( ( c, o, n ) -> {
         if( n != null && !n.isEmpty() ) {
           mSearchModel.search( n, getActiveTextEditor().getText() );
+        }
       } );
       searchBar.setOnNextAction( ( event ) -> edit‿find_next() );
       searchBar.setOnPrevAction( ( event ) -> edit‿find_prev() );
       nodes.add( searchBar );
       searchBar.requestFocus();
+    }
     else {
       nodes.clear();
+    }
+  }
   public void edit‿find_next() {
     mSearchModel.advance();
+  }
   public void edit‿find_prev() {
     mSearchModel.retreat();
+  }
   public void edit‿preferences() {
     try {
       new PreferencesController( getWorkspace() ).show();
     } catch( final Exception ex ) {
       clue( ex );
+    }
+  }
   public void format‿bold() {
     getActiveTextEditor().bold();
+  }
   public void format‿italic() {
     getActiveTextEditor().italic();
+  }
   public void format‿monospace() {
     getActiveTextEditor().monospace();
+  }
   public void format‿superscript() {
     getActiveTextEditor().superscript();
+  }
   public void format‿subscript() {
     getActiveTextEditor().subscript();
+  }
   public void format‿strikethrough() {
     getActiveTextEditor().strikethrough();
+  }
   public void insert‿blockquote() {
     getActiveTextEditor().blockquote();
+  }
   public void insert‿code() {
     getActiveTextEditor().code();
+  }
   public void insert‿fenced_code_block() {
     getActiveTextEditor().fencedCodeBlock();
+  }
   public void insert‿link() {
     insertObject( createLinkDialog() );
+  }
   public void insert‿image() {
     insertObject( createImageDialog() );
+  }
   private void insertObject( final Dialog<String> dialog ) {
     final var textArea = getActiveTextEditor().getTextArea();
     dialog.showAndWait().ifPresent( textArea::replaceSelection );
+  }
   private Dialog<String> createLinkDialog() {
     return new LinkDialog( getWindow(), createHyperlinkModel() );
+  }
   private Dialog<String> createImageDialog() {
     final var path = getActiveTextEditor().getPath();
     final var parentDir = path.getParent();
     return new ImageDialog( getWindow(), parentDir );
+  }
   /**
    * Returns one of: selected text, word under cursor, or parsed hyperlink from
    * the Markdown AST.
+   *
    * @return An instance containing the link URL and display text.
    */
   private HyperlinkModel createHyperlinkModel() {
     final var context = getMainPane().createProcessorContext();
     final var editor = getActiveTextEditor();
     final var textArea = editor.getTextArea();
     final var selectedText = textArea.getSelectedText();
     // Convert current paragraph to Markdown nodes.
     final var mp = MarkdownProcessor.create( context );
     final var p = textArea.getCurrentParagraph();
     final var paragraph = textArea.getText( p );
     final var node = mp.toNode( paragraph );
     final var visitor = new LinkVisitor( textArea.getCaretColumn() );
     final var link = visitor.process( node );
     if( link != null ) {
       textArea.selectRange( p, link.getStartOffset(), p, link.getEndOffset() );
+    }
     return createHyperlinkModel( link, selectedText );
+  }
   private HyperlinkModel createHyperlinkModel(
     final Link link, final String selection ) {
     return link == null
       ? new HyperlinkModel( selection, "https://localhost" )
       : new HyperlinkModel( link );
+  }
   public void insert‿heading_1() {
     insert‿heading( 1 );
+  }
   public void insert‿heading_2() {
     insert‿heading( 2 );
+  }
   public void insert‿heading_3() {
     insert‿heading( 3 );
+  }
   private void insert‿heading( final int level ) {
     getActiveTextEditor().heading( level );
+  }
   public void insert‿unordered_list() {
     getActiveTextEditor().unorderedList();
+  }
   public void insert‿ordered_list() {
     getActiveTextEditor().orderedList();
+  }
   public void insert‿horizontal_rule() {
     getActiveTextEditor().horizontalRule();
+  }
   public void definition‿create() {
     getActiveTextDefinition().createDefinition();
+  }
   public void definition‿rename() {
     getActiveTextDefinition().renameDefinition();
+  }
   public void definition‿delete() {
     getActiveTextDefinition().deleteDefinitions();
+  }
   public void definition‿autoinsert() {
     getMainPane().autoinsert();
+  }
   public void view‿refresh() {
     getMainPane().viewRefresh();
+  }
   public void view‿preview() {
     getMainPane().viewPreview();
+  }
   public void view‿outline() {
     getMainPane().viewOutline();
+  }
   public void view‿files() { getMainPane().viewFiles(); }
   public void view‿statistics() {
     getMainPane().viewStatistics();
+  }
   public void view‿menubar() {
     getMainScene().toggleMenuBar();
+  }
   public void view‿toolbar() {
     getMainScene().toggleToolBar();
+  }
   public void view‿statusbar() {
     getMainScene().toggleStatusBar();
+  }
   public void view‿log() {
     mLogView.view();
+  }
   public void help‿about() {
     final var alert = new Alert( INFORMATION );
     final var prefix = "Dialog.about.";
     alert.setTitle( get( prefix + "title", APP_TITLE ) );
     alert.setHeaderText( get( prefix + "header", APP_TITLE ) );
     alert.setContentText( get( prefix + "content", APP_YEAR, APP_VERSION ) );
     alert.setGraphic( ICON_DIALOG_NODE );
     alert.initOwner( getWindow() );
     alert.showAndWait();
+  }
   /**
    * Concatenates all the files in the same directory as the given file into
    * a string. The extension is determined by the given file name pattern; the
    * order files are concatenated is based on their numeric sort order (this
    * avoids lexicographic sorting).
    * <p>
    * If the parent path to the file being edited in the text editor cannot
    * be found then this will return the editor's text, without iterating through
    * the parent directory. (Should never happen, but who knows?)
    * </p>
    * <p>
    * New lines are automatically appended to separate each file.
    * </p>
+   *
    * @param editor The text editor containing
    * @return All files in the same directory as the file being edited
    * concatenated into a single string.
    */
   private String append( final TextEditor editor ) {
     final var pattern = editor.getPath();
     final var parent = pattern.getParent();
     // Short-circuit because nothing else can be done.
     if( parent == null ) {
       clue( "Main.status.export.concat.parent", pattern );
       return editor.getText();
+    }
     final var filename = pattern.getFileName().toString();
     final var extension = getExtension( filename );
     if( extension == null || extension.isBlank() ) {
       clue( "Main.status.export.concat.extension", filename );
       return editor.getText();
+    }
     try {
       final var glob = "**/*." + extension;
       final ArrayList<Path> files = new ArrayList<>();
       walk( parent, glob, files::add );
       files.sort( new AlphanumComparator<>() );
       final var text = new StringBuilder( DOCUMENT_LENGTH );
       files.forEach( ( file ) -> {
         try {
           clue( "Main.status.export.concat", file );
           text.append( readString( file ) );
         } catch( final IOException ex ) {
           clue( "Main.status.export.concat.io", file );
+        }
       } );
       return text.toString();
     } catch( final Throwable t ) {
       clue( t );
       return editor.getText();
+    }
+  }

M src/main/java/com/keenwrite/ui/actions/ApplicationBars.java

         .addSubActions(
           addAction( "file.export.pdf", e -> actions.file‿export‿pdf() ),
           addAction( "file.export.pdf.dir", e -> actions.file‿export‿pdf‿dir() ),
           addAction( "file.export.html_svg", e -> actions.file‿export‿html_svg() ),
           addAction( "file.export.html_tex", e -> actions.file‿export‿html_tex() ),
       addAction( "format.bold", e -> actions.format‿bold() ),
       addAction( "format.italic", e -> actions.format‿italic() ),
       addAction( "format.monospace", e -> actions.format‿monospace() ),
       addAction( "format.superscript", e -> actions.format‿superscript() ),
       addAction( "format.subscript", e -> actions.format‿subscript() ),
       addAction( "view.statusbar", e -> actions.view‿statusbar() ),
       SEPARATOR_ACTION,
       addAction( "view.issues", e -> actions.view‿issues() )
       addAction( "view.log", e -> actions.view‿log() )
     ),
     createMenu(

M src/main/java/com/keenwrite/ui/controls/EventedStatusBar.java

   @Subscribe
   public void handle( final StatusEvent event ) {
     final var m = event.getMessage() + event.getException();
     final var m = event.toString();
     // Don't burden the repaint thread if there's no status bar change.

M src/main/java/com/keenwrite/ui/dialogs/ThemePicker.java

 import javafx.scene.control.ComboBox;
 import javafx.scene.input.KeyCode;
 import javafx.stage.Stage;
 import java.io.File;
 import java.io.FileInputStream;
 import java.io.IOException;
 import java.nio.file.Path;
 import java.util.Properties;
 import java.util.TreeMap;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.constants.Constants.THEME_NAME_LENGTH;
 import static com.keenwrite.constants.GraphicsConstants.ICON_DIALOG;
 import static com.keenwrite.constants.GraphicsConstants.ICON_DIALOG_NODE;
 import static com.keenwrite.events.StatusEvent.clue;
 import static com.keenwrite.util.FileWalker.walk;
 import static java.lang.Math.max;
 import static org.codehaus.plexus.util.StringUtils.abbreviate;
 /**
     mThemes = themes;
     mTheme = theme;
     setGraphic( ICON_DIALOG_NODE );
     initIcon();
     setTitle( get( "Dialog.theme.title" ) );
     setHeaderText( get( "Dialog.theme.header" ) );
+      }
     } );
+  }
   private void initIcon() {
     setGraphic( ICON_DIALOG_NODE );
     final var window = getDialogPane().getScene().getWindow();
     if( window instanceof Stage ) {
       ((Stage) window).getIcons().add( ICON_DIALOG );
+    }
+  }
       walk( mThemes.toPath(), "**/theme.properties", ( path ) -> {
         try {
           final var themeDisplay = readThemeName( path );
           final var displayed = readThemeName( path );
           final var themeName = path.getParent().toFile().getName();
           choices.put( themeDisplay, themeName );
           choices.put( abbreviate( displayed, THEME_NAME_LENGTH ), themeName );
           // Used to set the selected item to value from user's settings.
           // Set the selected item to user's settings value.
           if( themeName.equals( mTheme.get() ) ) {
             selection[ 0 ] = themeDisplay;
             selection[ 0 ] = displayed;
+          }
         } catch( final Exception ex ) {
           clue( get( "Main.status.error.theme.name", path ) );
           clue( "Main.status.error.theme.name", path );
+        }
       } );

M src/main/java/com/keenwrite/ui/logging/LogView.java

 import java.util.TreeSet;
 import static com.keenwrite.Bootstrap.APP_TITLE_LOWERCASE;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.constants.Constants.ACTION_PREFIX;
 import static com.keenwrite.constants.GraphicsConstants.ICON_DIALOG;
 import static com.keenwrite.Messages.get;
 import static com.keenwrite.events.Bus.register;
 import static com.keenwrite.events.StatusEvent.clue;
 import static java.nio.file.Files.createTempFile;
 import static java.nio.file.Files.write;
 import static java.nio.file.StandardOpenOption.APPEND;
 import static java.nio.file.StandardOpenOption.CREATE;
 import static java.time.LocalDateTime.now;
 import static java.time.format.DateTimeFormatter.ofPattern;
   public LogView() {
     super( INFORMATION );
     setTitle( get( ACTION_PREFIX + "view.issues.text" ) );
     setTitle( get( ACTION_PREFIX + "view.log.text" ) );
     initModality( NONE );
     initTableView();
   private void initIcon() {
     final var stage = getStage();
     stage.getIcons().add( ICON_DIALOG );
     getStage().getIcons().add( ICON_DIALOG );
+  }
     private StringProperty traceProperty() {
       return mTrace;
+    }
     /**
      * Call from constructor to save log message for debugging purposes.
      */
     @SuppressWarnings( "unused" )
     private void persist() {
       try {
         final var file = createTempFile( APP_TITLE_LOWERCASE, ".log" );
         write( file, toString().getBytes(), CREATE, APPEND );
       } catch( final Exception ignored ) {
         System.out.println( toString() );
+      }
+    }

A src/main/java/com/keenwrite/util/AlphanumComparator.java

 /*
  * The Alphanum Algorithm is an improved sorting algorithm for strings
  * containing numbers. Rather than sort numbers in ASCII order like
  * a standard sort, this algorithm sorts numbers in numeric order.
+ *
  * The Alphanum Algorithm is discussed at http://www.DaveKoelle.com
+ *
  * Released under the MIT License - https://opensource.org/licenses/MIT
+ *
  * Copyright 2007-2017 David Koelle
+ *
  * Permission is hereby granted, free of charge, to any person obtaining
  * a copy of this software and associated documentation files (the "Software"),
  * to deal in the Software without restriction, including without limitation
  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
  * and/or sell copies of the Software, and to permit persons to whom the
  * Software is furnished to do so, subject to the following conditions:
+ *
  * The above copyright notice and this permission notice shall be included
  * in all copies or substantial portions of the Software.
+ *
  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
  * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
  * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
  * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE
  * USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 package com.keenwrite.util;
 import java.util.Comparator;
 import static java.lang.Character.isDigit;
 /**
  * Responsible for sorting lists that may contain numeric values. Usage:
  * <pre>
  *   Collections.sort(list, new AlphanumComparator());
  * </pre>
  * <p>
  * Where "list" is the list to sort alphanumerically, not lexicographically.
  * </p>
  */
 public final class AlphanumComparator<T> implements Comparator<T> {
   /**
    * Returns a chunk of text that is continuous with respect to digits or
    * non-digits.
+   *
    * @param s      The string to compare.
    * @param length The string length, for improved efficiency.
    * @param marker The current index into a subset of the given string.
    * @return The substring {@code s} that is a continuous text chunk of the
    * same character type.
    */
   private StringBuilder chunk( final String s, final int length, int marker ) {
     assert s != null;
     assert length >= 0;
     assert marker < length;
     // Prevent any possible memory re-allocations by using the length.
     final var chunk = new StringBuilder( length );
     var c = s.charAt( marker );
     final var chunkType = isDigit( c );
     // While the character at the current position is the same type (numeric or
     // alphabetic), append the character to the current chunk.
     while( marker < length &&
       isDigit( c = s.charAt( marker++ ) ) == chunkType ) {
       chunk.append( c );
+    }
     return chunk;
+  }
   /**
    * Performs an alphanumeric comparison of two strings, sorting numerically
    * first when numbers are found within the string. If either argument is
    * {@code null}, this will return zero.
+   *
    * @param o1 The object to compare against {@code s2}, converted to string.
    * @param o2 The object to compare against {@code s1}, converted to string.
    * @return a negative integer, zero, or a positive integer if the first
    * argument is less than, equal to, or greater than the second, respectively.
    */
   @Override
   public int compare( final T o1, final T o2 ) {
     if( o1 == null || o2 == null ) {
       return 0;
+    }
     final var s1 = o1.toString();
     final var s2 = o2.toString();
     final var s1Length = s1.length();
     final var s2Length = s2.length();
     var thisMarker = 0;
     var thatMarker = 0;
     while( thisMarker < s1Length && thatMarker < s2Length ) {
       final var thisChunk = chunk( s1, s1Length, thisMarker );
       final var thisChunkLength = thisChunk.length();
       thisMarker += thisChunkLength;
       final var thatChunk = chunk( s2, s2Length, thatMarker );
       final var thatChunkLength = thatChunk.length();
       thatMarker += thatChunkLength;
       // If both chunks contain numeric characters, sort them numerically
       int result;
       if( isDigit( thisChunk.charAt( 0 ) ) &&
         isDigit( thatChunk.charAt( 0 ) ) ) {
         // If equal, the first different number counts
         if( (result = thisChunkLength - thatChunkLength) == 0 ) {
           for( var i = 0; i < thisChunkLength; i++ ) {
             if( (result = thisChunk.charAt( i ) - thatChunk.charAt( i )) != 0 ) {
               return result;
+            }
+          }
+        }
+      }
       else {
         result = thisChunk.compareTo( thatChunk );
+      }
       if( result != 0 ) {
         return result;
+      }
+    }
     return s1Length - s2Length;
+  }
+}

M src/main/resources/com/keenwrite/messages.properties

 workspace.document.date.title=Timestamp
 workspace.r=R
 workspace.r.script=Startup Script
 workspace.r.script.desc=Script runs prior to executing R statements within the document.
 workspace.r.dir=Working Directory
 workspace.r.dir.desc=Value assigned to {0}application.r.working.directory{1} and usable in the startup script.
 workspace.r.dir.title=Directory
 workspace.r.delimiter.began=Delimiter Prefix
 workspace.r.delimiter.began.desc=Prefix of expression that wraps inserted variables.
 workspace.r.delimiter.began.title=Opening
 workspace.r.delimiter.ended=Delimiter Suffix
 workspace.r.delimiter.ended.desc=Suffix of expression that wraps inserted variables.
 workspace.r.delimiter.ended.title=Closing
 workspace.images=Images
 workspace.images.dir=Absolute Directory
 workspace.images.dir.desc=Path to search for local file system images.
 workspace.images.dir.title=Directory
 workspace.images.order=Extensions
 workspace.images.order.desc=Preferred order of image file types to embed, separated by spaces.
 workspace.images.order.title=Extensions
 workspace.definition=Variable
 workspace.definition.path=File name
 workspace.definition.path.desc=Absolute path to interpolated string variables.
 workspace.definition.path.title=Path
 workspace.definition.delimiter.began=Delimiter Prefix
 workspace.definition.delimiter.began.desc=Indicates when a variable name is starting.
 workspace.definition.delimiter.began.title=Opening
 workspace.definition.delimiter.ended=Delimiter Suffix
 workspace.definition.delimiter.ended.desc=Indicates when a variable name is ending.
 workspace.definition.delimiter.ended.title=Closing
 workspace.ui.skin=Skins
 workspace.ui.skin.selection=Bundled
 workspace.ui.skin.selection.desc=Pre-packaged application style (default: Modena Light).
 workspace.ui.skin.selection.title=Name
 workspace.ui.skin.custom=Custom
 workspace.ui.skin.custom.desc=User-defined JavaFX cascading stylesheet file.
 workspace.ui.skin.custom.title=Path
 workspace.ui.font=Fonts
 workspace.ui.font.editor=Editor Font
 workspace.ui.font.editor.name=Name
 workspace.ui.font.editor.name.desc=Text editor font name (sans-serif font recommended).
 workspace.ui.font.editor.name.title=Family
 workspace.ui.font.editor.size=Size
 workspace.ui.font.editor.size.desc=Font size.
 workspace.ui.font.editor.size.title=Points
 workspace.ui.font.preview=Preview Font
 workspace.ui.font.preview.name=Name
 workspace.ui.font.preview.name.desc=Preview pane font name (must support ligatures, serif font recommended).
 workspace.ui.font.preview.name.title=Family
 workspace.ui.font.preview.size=Size
 workspace.ui.font.preview.size.desc=Font size.
 workspace.ui.font.preview.size.title=Points
 workspace.ui.font.preview.mono.name=Name
 workspace.ui.font.preview.mono.name.desc=Monospace font name.
 workspace.ui.font.preview.mono.name.title=Family
 workspace.ui.font.preview.mono.size=Size
 workspace.ui.font.preview.mono.size.desc=Monospace font size.
 workspace.ui.font.preview.mono.size.title=Points
 workspace.language=Language
 workspace.language.locale=Internationalization
 workspace.language.locale.desc=Language for application and HTML export.
 workspace.language.locale.title=Locale
 workspace.typeset=Typesetting
 workspace.typeset.context=ConTeXt
 workspace.typeset.context.themes.path=Paths
 workspace.typeset.context.themes.path.desc=Directory containing theme subdirectories.
 workspace.typeset.context.themes.path.title=Themes
 # ########################################################################
 # Menu Bar
 # ########################################################################
 Main.menu.file=_File
 Main.menu.edit=_Edit
 Main.menu.insert=_Insert
 Main.menu.format=Forma_t
 Main.menu.definition=_Variable
 Main.menu.view=Vie_w
 Main.menu.help=_Help
 # ########################################################################
 # Detachable Tabs
 # ########################################################################
 # {0} is the application title; {1} is a unique window ID.
 Detach.tab.title={0} - {1}
 # ########################################################################
 # Status Bar
 # ########################################################################
 Main.status.text.offset=offset
 Main.status.line=Line {0} of {1}, ${Main.status.text.offset} {2}
 Main.status.state.default=OK
 Main.status.export.success=Saved as ''{0}''
 Main.status.error.bootstrap.eval=Note: Bootstrap variable of ''{0}'' not found
 Main.status.error.parse={0} (near ${Main.status.text.offset} {1})
 Main.status.error.def.blank=Move the caret to a word before inserting a variable
 Main.status.error.def.empty=Create a variable before inserting one
 Main.status.error.def.missing=No variable value found for ''{0}''
 Main.status.error.r=Error with [{0}...]: {1}
 Main.status.error.file.missing=Not found: ''{0}''
 Main.status.error.messages.recursion=Lookup depth exceeded, check for loops in ''{0}''
 Main.status.error.messages.syntax=Missing ''}'' in ''{0}''
 Main.status.error.undo=Cannot undo; beginning of undo history reached
 Main.status.error.redo=Cannot redo; end of redo history reached
 Main.status.error.theme.missing=Install themes before exporting (no themes found at ''{0}'')
 Main.status.error.theme.name=Cannot find theme name for ''{0}''
 Main.status.image.request.init=Initializing HTTP request
 Main.status.image.request.fetch=Requesting content type from ''{0}''
 Main.status.image.request.success=Determined content type ''{0}''
 Main.status.image.request.error.media=No media type for ''{0}''
 Main.status.image.request.error.cert=Could not accept certificate for ''{0}''
 Main.status.font.search.missing=No font name starting with ''{0}'' was found
 Main.status.typeset.create=Creating typesetter
 Main.status.typeset.xhtml=Export document as XHTML
 Main.status.typeset.began=Started typesetting ''{0}''
 Main.status.typeset.failed=Could not generate PDF file
 Main.status.typeset.page=Typesetting page {0} of {1} (pass {2})
 Main.status.typeset.ended.success=Finished typesetting ''{0}'' ({1} elapsed)
 Main.status.typeset.ended.failure=Failed to typeset ''{0}'' ({1} elapsed)
 # ########################################################################
 # Search Bar
 # ########################################################################
 Main.search.stop.tooltip=Close search bar
 Main.search.stop.icon=CLOSE
 Main.search.next.tooltip=Find next match
 Main.search.next.icon=CHEVRON_DOWN
 Main.search.prev.tooltip=Find previous match
 Main.search.prev.icon=CHEVRON_UP
 Main.search.find.tooltip=Search document for text
 Main.search.find.icon=SEARCH
 Main.search.match.none=No matches
 Main.search.match.some={0} of {1} matches
 # ########################################################################
 # Definition Pane and its Tree View
 # ########################################################################
 Definition.menu.add.default=Undefined
 # ########################################################################
 # Variable Definitions Pane
 # ########################################################################
 Pane.definition.node.root.title=Variables
 # ########################################################################
 # HTML Preview Pane
 # ########################################################################
 Pane.preview.title=Preview
 # ########################################################################
 # Document Outline Pane
 # ########################################################################
 Pane.outline.title=Outline
 # ########################################################################
 # File Manager Pane
 # ########################################################################
 Pane.files.title=Files
 # ########################################################################
 # Document Outline Pane
 # ########################################################################
 Pane.statistics.title=Statistics
 # ########################################################################
 # Failure messages with respect to YAML files.
 # ########################################################################
 yaml.error.open=Could not open YAML file (ensure non-empty file).
 yaml.error.unresolvable=Too much indirection for: ''{0}'' = ''{1}''.
 yaml.error.missing=Empty variable value for key ''{0}''.
 yaml.error.tree.form=Unassigned variable near ''{0}''.
 # ########################################################################
 # Text Resource
 # ########################################################################
 TextResource.load.error.unsaved=The file ''{0}'' is unsaved or does not exist.
 TextResource.load.error.permissions=The file ''{0}'' must be readable and writable.
 # ########################################################################
 # Text Resources
 # ########################################################################
 TextResource.saveFailed.message=Failed to save ''{0}''.\n\nReason: {1}
 TextResource.saveFailed.title=Save
 # ########################################################################
 # File Open
 # ########################################################################
 Dialog.file.choose.open.title=Open File
 Dialog.file.choose.save.title=Save File
 Dialog.file.choose.export.title=Export File
 Dialog.file.choose.filter.title.source=Source Files
 Dialog.file.choose.filter.title.definition=Variable Files
 Dialog.file.choose.filter.title.xml=XML Files
 Dialog.file.choose.filter.title.all=All Files
 # ########################################################################
 # Browse File
 # ########################################################################
 BrowseFileButton.chooser.title=Open local file
 BrowseFileButton.chooser.allFilesFilter=All Files
 BrowseFileButton.tooltip=${BrowseFileButton.chooser.title}
 # ########################################################################
 # Browse Directory
 # ########################################################################
 BrowseDirectoryButton.chooser.title=Open local directory
 BrowseDirectoryButton.tooltip=${BrowseDirectoryButton.chooser.title}
 # ########################################################################
 # Alert Dialog
 # ########################################################################
 Alert.file.close.title=Close
 Alert.file.close.text=Save changes to {0}?
 # ########################################################################
 # Typesetting Alert Dialog
 # ########################################################################
 Alert.typesetter.missing.title=Missing Typesetter
 Alert.typesetter.missing.header=Install typesetter
 Alert.typesetter.missing.version=for {0} {1} {2}-bit
 Alert.typesetter.missing.installer.text=Download and install ConTeXt
 Alert.typesetter.missing.installer.url=https://wiki.contextgarden.net/Installation
 # ########################################################################
 # Image Dialog
 # ########################################################################
 Dialog.image.title=Image
 Dialog.image.chooser.imagesFilter=Images
 Dialog.image.previewLabel.text=Markdown Preview\:
 Dialog.image.textLabel.text=Alternate Text\:
 Dialog.image.titleLabel.text=Title (tooltip)\:
 Dialog.image.urlLabel.text=Image URL\:
 # ########################################################################
 # Hyperlink Dialog
 # ########################################################################
 Dialog.link.title=Link
 Dialog.link.previewLabel.text=Markdown Preview\:
 Dialog.link.textLabel.text=Link Text\:
 Dialog.link.titleLabel.text=Title (tooltip)\:
 Dialog.link.urlLabel.text=Link URL\:
 # ########################################################################
 # Themes Dialog
 # ########################################################################
 Dialog.theme.title=Typesetting theme
 Dialog.theme.header=Choose a typesetting theme
 # ########################################################################
 # About Dialog
 # ########################################################################
 Dialog.about.title=About {0}
 Dialog.about.header={0}
 Dialog.about.content=Copyright 2016-{0} White Magic Software, Ltd.\n\nVersion: {1}
 # ########################################################################
 # Application Actions
 # ########################################################################
 Action.file.new.description=Create a new file
 Action.file.new.accelerator=Shortcut+N
 Action.file.new.icon=FILE_ALT
 Action.file.new.text=_New
 Action.file.open.description=Open a new file
 Action.file.open.accelerator=Shortcut+O
 Action.file.open.text=_Open...
 Action.file.open.icon=FOLDER_OPEN_ALT
 Action.file.close.description=Close the current document
 Action.file.close.accelerator=Shortcut+W
 Action.file.close.text=_Close
 Action.file.close_all.description=Close all open documents
 Action.file.close_all.accelerator=Ctrl+F4
 Action.file.close_all.text=Close All
 Action.file.save.description=Save the document
 Action.file.save.accelerator=Shortcut+S
 Action.file.save.text=_Save
 Action.file.save.icon=FLOPPY_ALT
 Action.file.save_as.description=Rename the current document
 Action.file.save_as.text=Save _As
 Action.file.save_all.description=Save all open documents
 Action.file.save_all.accelerator=Shortcut+Shift+S
 Action.file.save_all.text=Save A_ll
 Action.file.export.pdf.description=Typeset the document
 Action.file.export.pdf.accelerator=Shortcut+P
 Action.file.export.pdf.text=_PDF
 Action.file.export.pdf.icon=FILE_PDF_ALT
 Action.file.export.html_svg.description=Export the current document as HTML + SVG
 Action.file.export.text=_Export As
 Action.file.export.html_svg.text=HTML and S_VG
 Action.file.export.html_tex.description=Export the current document as HTML + TeX
 Action.file.export.html_tex.text=HTML and _TeX
 Action.file.export.xhtml_tex.description=Export as XHTML + TeX
 Action.file.export.xhtml_tex.text=_XHTML and TeX
 Action.file.export.markdown.description=Export the current document as Markdown
 Action.file.export.markdown.text=Markdown
 Action.file.exit.description=Quit the application
 Action.file.exit.text=E_xit
 Action.edit.undo.description=Undo the previous edit
 Action.edit.undo.accelerator=Shortcut+Z
 Action.edit.undo.text=_Undo
 Action.edit.undo.icon=UNDO
 Action.edit.redo.description=Redo the previous edit
 Action.edit.redo.accelerator=Shortcut+Y
 Action.edit.redo.text=_Redo
 Action.edit.redo.icon=REPEAT
 Action.edit.cut.description=Delete the selected text or line
 Action.edit.cut.accelerator=Shortcut+X
 Action.edit.cut.text=Cu_t
 Action.edit.cut.icon=CUT
 Action.edit.copy.description=Copy the selected text
 Action.edit.copy.accelerator=Shortcut+C
 Action.edit.copy.text=_Copy
 Action.edit.copy.icon=COPY
 Action.edit.paste.description=Paste from the clipboard
 Action.edit.paste.accelerator=Shortcut+V
 Action.edit.paste.text=_Paste
 Action.edit.paste.icon=PASTE
 Action.edit.select_all.description=Highlight the current document text
 Action.edit.select_all.accelerator=Shortcut+A
 Action.edit.select_all.text=Select _All
 Action.edit.find.description=Search for text in the document
 Action.edit.find.accelerator=Shortcut+F
 Action.edit.find.text=_Find
 Action.edit.find.icon=SEARCH
 Action.edit.find_next.description=Find next occurrence
 Action.edit.find_next.accelerator=F3
 Action.edit.find_next.text=Find _Next
 Action.edit.find_prev.description=Find previous occurrence
 Action.edit.find_prev.accelerator=Shift+F3
 Action.edit.find_prev.text=Find _Prev
 Action.edit.preferences.description=Edit user preferences
 Action.edit.preferences.accelerator=Ctrl+Alt+S
 Action.edit.preferences.text=_Preferences
 Action.format.bold.description=Insert strong text
 Action.format.bold.accelerator=Shortcut+B
 Action.format.bold.text=_Bold
 Action.format.bold.icon=BOLD
 Action.format.italic.description=Insert text emphasis
 Action.format.italic.accelerator=Shortcut+I
 Action.format.italic.text=_Italic
 Action.format.italic.icon=ITALIC
 Action.format.superscript.description=Insert superscript text
 Action.format.superscript.accelerator=Shortcut+[
 Action.format.superscript.text=Su_perscript
 Action.format.superscript.icon=SUPERSCRIPT
 Action.format.subscript.description=Insert subscript text
 Action.format.subscript.accelerator=Shortcut+]
 Action.format.subscript.text=Su_bscript
 Action.format.subscript.icon=SUBSCRIPT
 Action.format.strikethrough.description=Insert struck text
 Action.format.strikethrough.accelerator=Shortcut+T
 Action.format.strikethrough.text=Stri_kethrough
 Action.format.strikethrough.icon=STRIKETHROUGH
 Action.insert.blockquote.description=Insert blockquote
 Action.insert.blockquote.accelerator=Ctrl+Q
 Action.insert.blockquote.text=_Blockquote
 Action.insert.blockquote.icon=QUOTE_LEFT
 Action.insert.code.description=Insert inline code
 Action.insert.code.accelerator=Shortcut+K
 Action.insert.code.text=Inline _Code
 Action.insert.code.icon=CODE
 Action.insert.fenced_code_block.description=Insert code block
 Action.insert.fenced_code_block.accelerator=Shortcut+Shift+K
 Action.insert.fenced_code_block.text=_Fenced Code Block
 Action.insert.fenced_code_block.prompt.text=Enter code here
 Action.insert.fenced_code_block.icon=FILE_CODE_ALT
 Action.insert.link.description=Insert hyperlink
 Action.insert.link.accelerator=Shortcut+L
 Action.insert.link.text=_Link...
 Action.insert.link.icon=LINK
 Action.insert.image.description=Insert image
 Action.insert.image.accelerator=Shortcut+G
 Action.insert.image.text=_Image...
 Action.insert.image.icon=PICTURE_ALT
 Action.insert.heading.description=Insert heading level
 Action.insert.heading.accelerator=Shortcut+
 Action.insert.heading.icon=HEADER
 Action.insert.heading_1.description=${Action.insert.heading.description} 1
 Action.insert.heading_1.accelerator=${Action.insert.heading.accelerator}1
 Action.insert.heading_1.text=Heading _1
 Action.insert.heading_1.icon=${Action.insert.heading.icon}
 Action.insert.heading_2.description=${Action.insert.heading.description} 2
 Action.insert.heading_2.accelerator=${Action.insert.heading.accelerator}2
 Action.insert.heading_2.text=Heading _2
 Action.insert.heading_2.icon=${Action.insert.heading.icon}
 Action.insert.heading_3.description=${Action.insert.heading.description} 3
 Action.insert.heading_3.accelerator=${Action.insert.heading.accelerator}3
 Action.insert.heading_3.text=Heading _3
 Action.insert.heading_3.icon=${Action.insert.heading.icon}
 Action.insert.unordered_list.description=Insert bulleted list
 Action.insert.unordered_list.accelerator=Shortcut+U
 Action.insert.unordered_list.text=_Unordered List
 Action.insert.unordered_list.icon=LIST_UL
 Action.insert.ordered_list.description=Insert enumerated list
 Action.insert.ordered_list.accelerator=Shortcut+Shift+O
 Action.insert.ordered_list.text=_Ordered List
 Action.insert.ordered_list.icon=LIST_OL
 Action.insert.horizontal_rule.description=Insert horizontal rule
 Action.insert.horizontal_rule.accelerator=Shortcut+H
 Action.insert.horizontal_rule.text=_Horizontal Rule
 Action.insert.horizontal_rule.icon=LIST_OL
 Action.definition.create.description=Create a new variable
 Action.definition.create.text=_Create
 Action.definition.create.icon=TREE
 Action.definition.create.tooltip=Add new item (Insert)
 Action.definition.rename.description=Rename the selected variable
 Action.definition.rename.text=_Rename
 Action.definition.rename.icon=EDIT
 Action.definition.rename.tooltip=Rename selected item (F2)
 Action.definition.delete.description=Delete the selected variables
 Action.definition.delete.text=De_lete
 Action.definition.delete.icon=TRASH
 Action.definition.delete.tooltip=Delete selected items (Delete)
 Action.definition.insert.description=Insert a variable
 Action.definition.insert.accelerator=Ctrl+Space
 Action.definition.insert.text=_Insert
 Action.definition.insert.icon=STAR
 Action.view.refresh.description=Clear all caches
 Action.view.refresh.accelerator=F5
 Action.view.refresh.text=Refresh
 Action.view.preview.description=Open document preview
 Action.view.preview.accelerator=F6
 Action.view.preview.text=Preview
 Action.view.outline.description=Open document outline
 Action.view.outline.accelerator=F7
 Action.view.outline.text=Outline
 Action.view.statistics.description=Open document word counts
 Action.view.statistics.accelerator=F8
 Action.view.statistics.text=Statistics
 Action.view.files.description=Open file manager
 Action.view.files.accelerator=Ctrl+F8
 Action.view.files.text=Files
 Action.view.menubar.description=Toggle menu bar
 Action.view.menubar.accelerator=Ctrl+F9
 Action.view.menubar.text=Menu bar
 Action.view.toolbar.description=Toggle tool bar
 Action.view.toolbar.accelerator=Ctrl+Shift+F9
 Action.view.toolbar.text=Tool bar
 Action.view.statusbar.description=Toggle status bar
 Action.view.statusbar.accelerator=Ctrl+Shift+Alt+F9
 Action.view.statusbar.text=Status bar
 Action.view.issues.description=Open document issues
 Action.view.issues.accelerator=F12
 Action.view.issues.text=Issues
 workspace.typeset=Typesetting
 workspace.typeset.context=ConTeXt
 workspace.typeset.context.themes.path=Paths
 workspace.typeset.context.themes.path.desc=Directory containing theme subdirectories.
 workspace.typeset.context.themes.path.title=Themes
 workspace.typeset.context.clean=Clean
 workspace.typeset.context.clean.desc=Delete ancillary files after an unsuccessful export.
 workspace.typeset.context.clean.title=Purge
 workspace.r=R
 workspace.r.script=Startup Script
 workspace.r.script.desc=Script runs prior to executing R statements within the document.
 workspace.r.dir=Working Directory
 workspace.r.dir.desc=Value assigned to {0}application.r.working.directory{1} and usable in the startup script.
 workspace.r.dir.title=Directory
 workspace.r.delimiter.began=Delimiter Prefix
 workspace.r.delimiter.began.desc=Prefix of expression that wraps inserted variables.
 workspace.r.delimiter.began.title=Opening
 workspace.r.delimiter.ended=Delimiter Suffix
 workspace.r.delimiter.ended.desc=Suffix of expression that wraps inserted variables.
 workspace.r.delimiter.ended.title=Closing
 workspace.images=Images
 workspace.images.dir=Absolute Directory
 workspace.images.dir.desc=Path to search for local file system images.
 workspace.images.dir.title=Directory
 workspace.images.order=Extensions
 workspace.images.order.desc=Preferred order of image file types to embed, separated by spaces.
 workspace.images.order.title=Extensions
 workspace.images.resize=Resize
 workspace.images.resize.desc=Scale images to fit the preview panel when resizing, automatically.
 workspace.images.resize.title=Resize
 workspace.images.server=Diagram Server
 workspace.images.server.desc=Server used to generate diagrams (e.g., kroki.io).
 workspace.images.server.title=Name
 workspace.definition=Variable
 workspace.definition.path=File name
 workspace.definition.path.desc=Absolute path to interpolated string variables.
 workspace.definition.path.title=Path
 workspace.definition.delimiter.began=Delimiter Prefix
 workspace.definition.delimiter.began.desc=Indicates when a variable name is starting.
 workspace.definition.delimiter.began.title=Opening
 workspace.definition.delimiter.ended=Delimiter Suffix
 workspace.definition.delimiter.ended.desc=Indicates when a variable name is ending.
 workspace.definition.delimiter.ended.title=Closing
 workspace.ui.skin=Skins
 workspace.ui.skin.selection=Bundled
 workspace.ui.skin.selection.desc=Pre-packaged application style (default: Modena Light).
 workspace.ui.skin.selection.title=Name
 workspace.ui.skin.custom=Custom
 workspace.ui.skin.custom.desc=User-defined JavaFX cascading stylesheet file.
 workspace.ui.skin.custom.title=Path
 workspace.ui.font=Fonts
 workspace.ui.font.editor=Editor Font
 workspace.ui.font.editor.name=Name
 workspace.ui.font.editor.name.desc=Text editor font name (sans-serif font recommended).
 workspace.ui.font.editor.name.title=Family
 workspace.ui.font.editor.size=Size
 workspace.ui.font.editor.size.desc=Font size.
 workspace.ui.font.editor.size.title=Points
 workspace.ui.font.preview=Preview Font
 workspace.ui.font.preview.name=Name
 workspace.ui.font.preview.name.desc=Preview pane font name (must support ligatures, serif font recommended).
 workspace.ui.font.preview.name.title=Family
 workspace.ui.font.preview.size=Size
 workspace.ui.font.preview.size.desc=Font size.
 workspace.ui.font.preview.size.title=Points
 workspace.ui.font.preview.mono.name=Name
 workspace.ui.font.preview.mono.name.desc=Monospace font name.
 workspace.ui.font.preview.mono.name.title=Family
 workspace.ui.font.preview.mono.size=Size
 workspace.ui.font.preview.mono.size.desc=Monospace font size.
 workspace.ui.font.preview.mono.size.title=Points
 workspace.language=Language
 workspace.language.locale=Internationalization
 workspace.language.locale.desc=Language for application and HTML export.
 workspace.language.locale.title=Locale
 # ########################################################################
 # Menu Bar
 # ########################################################################
 Main.menu.file=_File
 Main.menu.edit=_Edit
 Main.menu.insert=_Insert
 Main.menu.format=Forma_t
 Main.menu.definition=_Variable
 Main.menu.view=Vie_w
 Main.menu.help=_Help
 # ########################################################################
 # Detachable Tabs
 # ########################################################################
 # {0} is the application title; {1} is a unique window ID.
 Detach.tab.title={0} - {1}
 # ########################################################################
 # Status Bar
 # ########################################################################
 Main.status.text.offset=offset
 Main.status.line=Line {0} of {1}, ${Main.status.text.offset} {2}
 Main.status.state.default=OK
 Main.status.export.success=Saved as ''{0}''
 Main.status.error.bootstrap.eval=Note: Bootstrap variable of ''{0}'' not found
 Main.status.error.parse={0} (near ${Main.status.text.offset} {1})
 Main.status.error.def.blank=Move the caret to a word before inserting a variable
 Main.status.error.def.empty=Create a variable before inserting one
 Main.status.error.def.missing=No variable value found for ''{0}''
 Main.status.error.r=Error with [{0}...]: {1}
 Main.status.error.file.missing=Not found: ''{0}''
 Main.status.error.file.missing.near=Not found: ''{0}'' near line {1}
 Main.status.error.messages.recursion=Lookup depth exceeded, check for loops in ''{0}''
 Main.status.error.messages.syntax=Missing ''}'' in ''{0}''
 Main.status.error.undo=Cannot undo; beginning of undo history reached
 Main.status.error.redo=Cannot redo; end of redo history reached
 Main.status.error.theme.missing=Install themes before exporting (no themes found at ''{0}'')
 Main.status.error.theme.name=Cannot find theme name for ''{0}''
 Main.status.image.request.init=Initializing HTTP request
 Main.status.image.request.fetch=Requesting content type from ''{0}''
 Main.status.image.request.success=Determined content type ''{0}''
 Main.status.image.request.error.media=No media type for ''{0}''
 Main.status.image.request.error.cert=Could not accept certificate for ''{0}''
 Main.status.font.search.missing=No font name starting with ''{0}'' was found
 Main.status.export.concat=Concatenating ''{0}''
 Main.status.export.concat.parent=No parent directory found for ''{0}''
 Main.status.export.concat.extension=File name must have an extension ''{0}''
 Main.status.export.concat.io=Could not read from ''{0}''
 Main.status.typeset.create=Creating typesetter
 Main.status.typeset.xhtml=Export document as XHTML
 Main.status.typeset.began=Started typesetting ''{0}''
 Main.status.typeset.failed=Could not generate PDF file
 Main.status.typeset.page=Typesetting page {0} of {1} (pass {2})
 Main.status.typeset.ended.success=Finished typesetting ''{0}'' ({1} elapsed)
 Main.status.typeset.ended.failure=Failed to typeset ''{0}'' ({1} elapsed)
 # ########################################################################
 # Search Bar
 # ########################################################################
 Main.search.stop.tooltip=Close search bar
 Main.search.stop.icon=CLOSE
 Main.search.next.tooltip=Find next match
 Main.search.next.icon=CHEVRON_DOWN
 Main.search.prev.tooltip=Find previous match
 Main.search.prev.icon=CHEVRON_UP
 Main.search.find.tooltip=Search document for text
 Main.search.find.icon=SEARCH
 Main.search.match.none=No matches
 Main.search.match.some={0} of {1} matches
 # ########################################################################
 # Definition Pane and its Tree View
 # ########################################################################
 Definition.menu.add.default=Undefined
 # ########################################################################
 # Variable Definitions Pane
 # ########################################################################
 Pane.definition.node.root.title=Variables
 # ########################################################################
 # HTML Preview Pane
 # ########################################################################
 Pane.preview.title=Preview
 # ########################################################################
 # Document Outline Pane
 # ########################################################################
 Pane.outline.title=Outline
 # ########################################################################
 # File Manager Pane
 # ########################################################################
 Pane.files.title=Files
 # ########################################################################
 # Document Outline Pane
 # ########################################################################
 Pane.statistics.title=Statistics
 # ########################################################################
 # Failure messages with respect to YAML files.
 # ########################################################################
 yaml.error.open=Could not open YAML file (ensure non-empty file).
 yaml.error.unresolvable=Too much indirection for: ''{0}'' = ''{1}''.
 yaml.error.missing=Empty variable value for key ''{0}''.
 yaml.error.tree.form=Unassigned variable near ''{0}''.
 # ########################################################################
 # Text Resource
 # ########################################################################
 TextResource.load.error.unsaved=The file ''{0}'' is unsaved or does not exist.
 TextResource.load.error.permissions=The file ''{0}'' must be readable and writable.
 # ########################################################################
 # Text Resources
 # ########################################################################
 TextResource.saveFailed.message=Failed to save ''{0}''.\n\nReason: {1}
 TextResource.saveFailed.title=Save
 # ########################################################################
 # File Open
 # ########################################################################
 Dialog.file.choose.open.title=Open File
 Dialog.file.choose.save.title=Save File
 Dialog.file.choose.export.title=Export File
 Dialog.file.choose.filter.title.source=Source Files
 Dialog.file.choose.filter.title.definition=Variable Files
 Dialog.file.choose.filter.title.xml=XML Files
 Dialog.file.choose.filter.title.all=All Files
 # ########################################################################
 # Browse File
 # ########################################################################
 BrowseFileButton.chooser.title=Open local file
 BrowseFileButton.chooser.allFilesFilter=All Files
 BrowseFileButton.tooltip=${BrowseFileButton.chooser.title}
 # ########################################################################
 # Browse Directory
 # ########################################################################
 BrowseDirectoryButton.chooser.title=Open local directory
 BrowseDirectoryButton.tooltip=${BrowseDirectoryButton.chooser.title}
 # ########################################################################
 # Alert Dialog
 # ########################################################################
 Alert.file.close.title=Close
 Alert.file.close.text=Save changes to {0}?
 # ########################################################################
 # Typesetting Alert Dialog
 # ########################################################################
 Alert.typesetter.missing.title=Missing Typesetter
 Alert.typesetter.missing.header=Install typesetter
 Alert.typesetter.missing.version=for {0} {1} {2}-bit
 Alert.typesetter.missing.installer.text=Download and install ConTeXt
 Alert.typesetter.missing.installer.url=https://wiki.contextgarden.net/Installation
 # ########################################################################
 # Image Dialog
 # ########################################################################
 Dialog.image.title=Image
 Dialog.image.chooser.imagesFilter=Images
 Dialog.image.previewLabel.text=Markdown Preview\:
 Dialog.image.textLabel.text=Alternate Text\:
 Dialog.image.titleLabel.text=Title (tooltip)\:
 Dialog.image.urlLabel.text=Image URL\:
 # ########################################################################
 # Hyperlink Dialog
 # ########################################################################
 Dialog.link.title=Link
 Dialog.link.previewLabel.text=Markdown Preview\:
 Dialog.link.textLabel.text=Link Text\:
 Dialog.link.titleLabel.text=Title (tooltip)\:
 Dialog.link.urlLabel.text=Link URL\:
 # ########################################################################
 # Themes Dialog
 # ########################################################################
 Dialog.theme.title=Typesetting theme
 Dialog.theme.header=Choose a typesetting theme
 # ########################################################################
 # About Dialog
 # ########################################################################
 Dialog.about.title=About {0}
 Dialog.about.header={0}
 Dialog.about.content=Copyright 2016-{0} White Magic Software, Ltd.\n\nVersion: {1}
 # ########################################################################
 # Application Actions
 # ########################################################################
 Action.file.new.description=Create a new file
 Action.file.new.accelerator=Shortcut+N
 Action.file.new.icon=FILE_ALT
 Action.file.new.text=_New
 Action.file.open.description=Open a new file
 Action.file.open.accelerator=Shortcut+O
 Action.file.open.text=_Open...
 Action.file.open.icon=FOLDER_OPEN_ALT
 Action.file.close.description=Close the current document
 Action.file.close.accelerator=Shortcut+W
 Action.file.close.text=_Close
 Action.file.close_all.description=Close all open documents
 Action.file.close_all.accelerator=Ctrl+F4
 Action.file.close_all.text=Close All
 Action.file.save.description=Save the document
 Action.file.save.accelerator=Shortcut+S
 Action.file.save.text=_Save
 Action.file.save.icon=FLOPPY_ALT
 Action.file.save_as.description=Rename the current document
 Action.file.save_as.text=Save _As
 Action.file.save_all.description=Save all open documents
 Action.file.save_all.accelerator=Shortcut+Shift+S
 Action.file.save_all.text=Save A_ll
 Action.file.export.pdf.description=Typeset the document
 Action.file.export.pdf.accelerator=Shortcut+P
 Action.file.export.pdf.text=_PDF
 Action.file.export.pdf.icon=FILE_PDF_ALT
 Action.file.export.pdf.dir.description=Typeset files in document directory
 Action.file.export.pdf.dir.accelerator=Shortcut+Shift+P
 Action.file.export.pdf.dir.text=_Joined PDF
 Action.file.export.pdf.dir.icon=FILE_PDF_ALT
 Action.file.export.html_svg.description=Export the current document as HTML + SVG
 Action.file.export.text=_Export As
 Action.file.export.html_svg.text=HTML and S_VG
 Action.file.export.html_tex.description=Export the current document as HTML + TeX
 Action.file.export.html_tex.text=HTML and _TeX
 Action.file.export.xhtml_tex.description=Export as XHTML + TeX
 Action.file.export.xhtml_tex.text=_XHTML and TeX
 Action.file.export.markdown.description=Export the current document as Markdown
 Action.file.export.markdown.text=Markdown
 Action.file.exit.description=Quit the application
 Action.file.exit.text=E_xit
 Action.edit.undo.description=Undo the previous edit
 Action.edit.undo.accelerator=Shortcut+Z
 Action.edit.undo.text=_Undo
 Action.edit.undo.icon=UNDO
 Action.edit.redo.description=Redo the previous edit
 Action.edit.redo.accelerator=Shortcut+Y
 Action.edit.redo.text=_Redo
 Action.edit.redo.icon=REPEAT
 Action.edit.cut.description=Delete the selected text or line
 Action.edit.cut.accelerator=Shortcut+X
 Action.edit.cut.text=Cu_t
 Action.edit.cut.icon=CUT
 Action.edit.copy.description=Copy the selected text
 Action.edit.copy.accelerator=Shortcut+C
 Action.edit.copy.text=_Copy
 Action.edit.copy.icon=COPY
 Action.edit.paste.description=Paste from the clipboard
 Action.edit.paste.accelerator=Shortcut+V
 Action.edit.paste.text=_Paste
 Action.edit.paste.icon=PASTE
 Action.edit.select_all.description=Highlight the current document text
 Action.edit.select_all.accelerator=Shortcut+A
 Action.edit.select_all.text=Select _All
 Action.edit.find.description=Search for text in the document
 Action.edit.find.accelerator=Shortcut+F
 Action.edit.find.text=_Find
 Action.edit.find.icon=SEARCH
 Action.edit.find_next.description=Find next occurrence
 Action.edit.find_next.accelerator=F3
 Action.edit.find_next.text=Find _Next
 Action.edit.find_prev.description=Find previous occurrence
 Action.edit.find_prev.accelerator=Shift+F3
 Action.edit.find_prev.text=Find _Prev
 Action.edit.preferences.description=Edit user preferences
 Action.edit.preferences.accelerator=Ctrl+Alt+S
 Action.edit.preferences.text=_Preferences
 Action.format.bold.description=Insert strong text
 Action.format.bold.accelerator=Shortcut+B
 Action.format.bold.text=_Bold
 Action.format.bold.icon=BOLD
 Action.format.italic.description=Insert text emphasis
 Action.format.italic.accelerator=Shortcut+I
 Action.format.italic.text=_Italic
 Action.format.italic.icon=ITALIC
 Action.format.monospace.description=Insert monospace text
 Action.format.monospace.accelerator=Shortcut+`
 Action.format.monospace.text=_Monospace
 Action.format.superscript.description=Insert superscript text
 Action.format.superscript.accelerator=Shortcut+[
 Action.format.superscript.text=Su_perscript
 Action.format.superscript.icon=SUPERSCRIPT
 Action.format.subscript.description=Insert subscript text
 Action.format.subscript.accelerator=Shortcut+]
 Action.format.subscript.text=Su_bscript
 Action.format.subscript.icon=SUBSCRIPT
 Action.format.strikethrough.description=Insert struck text
 Action.format.strikethrough.accelerator=Shortcut+T
 Action.format.strikethrough.text=Stri_kethrough
 Action.format.strikethrough.icon=STRIKETHROUGH
 Action.insert.blockquote.description=Insert blockquote
 Action.insert.blockquote.accelerator=Ctrl+Q
 Action.insert.blockquote.text=_Blockquote
 Action.insert.blockquote.icon=QUOTE_LEFT
 Action.insert.code.description=Insert inline code
 Action.insert.code.accelerator=Shortcut+K
 Action.insert.code.text=Inline _Code
 Action.insert.code.icon=CODE
 Action.insert.fenced_code_block.description=Insert code block
 Action.insert.fenced_code_block.accelerator=Shortcut+Shift+K
 Action.insert.fenced_code_block.text=_Fenced Code Block
 Action.insert.fenced_code_block.prompt.text=Enter code here
 Action.insert.fenced_code_block.icon=FILE_CODE_ALT
 Action.insert.link.description=Insert hyperlink
 Action.insert.link.accelerator=Shortcut+L
 Action.insert.link.text=_Link...
 Action.insert.link.icon=LINK
 Action.insert.image.description=Insert image
 Action.insert.image.accelerator=Shortcut+G
 Action.insert.image.text=_Image...
 Action.insert.image.icon=PICTURE_ALT
 Action.insert.heading.description=Insert heading level
 Action.insert.heading.accelerator=Shortcut+
 Action.insert.heading.icon=HEADER
 Action.insert.heading_1.description=${Action.insert.heading.description} 1
 Action.insert.heading_1.accelerator=${Action.insert.heading.accelerator}1
 Action.insert.heading_1.text=Heading _1
 Action.insert.heading_1.icon=${Action.insert.heading.icon}
 Action.insert.heading_2.description=${Action.insert.heading.description} 2
 Action.insert.heading_2.accelerator=${Action.insert.heading.accelerator}2
 Action.insert.heading_2.text=Heading _2
 Action.insert.heading_2.icon=${Action.insert.heading.icon}
 Action.insert.heading_3.description=${Action.insert.heading.description} 3
 Action.insert.heading_3.accelerator=${Action.insert.heading.accelerator}3
 Action.insert.heading_3.text=Heading _3
 Action.insert.heading_3.icon=${Action.insert.heading.icon}
 Action.insert.unordered_list.description=Insert bulleted list
 Action.insert.unordered_list.accelerator=Shortcut+U
 Action.insert.unordered_list.text=_Unordered List
 Action.insert.unordered_list.icon=LIST_UL
 Action.insert.ordered_list.description=Insert enumerated list
 Action.insert.ordered_list.accelerator=Shortcut+Shift+O
 Action.insert.ordered_list.text=_Ordered List
 Action.insert.ordered_list.icon=LIST_OL
 Action.insert.horizontal_rule.description=Insert horizontal rule
 Action.insert.horizontal_rule.accelerator=Shortcut+H
 Action.insert.horizontal_rule.text=_Horizontal Rule
 Action.insert.horizontal_rule.icon=LIST_OL
 Action.definition.create.description=Create a new variable
 Action.definition.create.text=_Create
 Action.definition.create.icon=TREE
 Action.definition.create.tooltip=Add new item (Insert)
 Action.definition.rename.description=Rename the selected variable
 Action.definition.rename.text=_Rename
 Action.definition.rename.icon=EDIT
 Action.definition.rename.tooltip=Rename selected item (F2)
 Action.definition.delete.description=Delete the selected variables
 Action.definition.delete.text=De_lete
 Action.definition.delete.icon=TRASH
 Action.definition.delete.tooltip=Delete selected items (Delete)
 Action.definition.insert.description=Insert a variable
 Action.definition.insert.accelerator=Ctrl+Space
 Action.definition.insert.text=_Insert
 Action.definition.insert.icon=STAR
 Action.view.refresh.description=Clear all caches
 Action.view.refresh.accelerator=F5
 Action.view.refresh.text=Refresh
 Action.view.preview.description=Open document preview
 Action.view.preview.accelerator=F6
 Action.view.preview.text=Preview
 Action.view.outline.description=Open document outline
 Action.view.outline.accelerator=F7
 Action.view.outline.text=Outline
 Action.view.statistics.description=Open document word counts
 Action.view.statistics.accelerator=F8
 Action.view.statistics.text=Statistics
 Action.view.files.description=Open file manager
 Action.view.files.accelerator=Ctrl+F8
 Action.view.files.text=Files
 Action.view.menubar.description=Toggle menu bar
 Action.view.menubar.accelerator=Ctrl+F9
 Action.view.menubar.text=Menu bar
 Action.view.toolbar.description=Toggle tool bar
 Action.view.toolbar.accelerator=Ctrl+Shift+F9
 Action.view.toolbar.text=Tool bar
 Action.view.statusbar.description=Toggle status bar
 Action.view.statusbar.accelerator=Ctrl+Shift+Alt+F9
 Action.view.statusbar.text=Status bar
 Action.view.log.description=Open document issues
 Action.view.log.accelerator=F12
 Action.view.log.text=Log

A src/test/java/com/keenwrite/util/AlphanumComparatorTest.java

 /* Copyright 2020-2021 White Magic Software, Ltd. -- All rights reserved. */
 package com.keenwrite.util;
 import org.junit.jupiter.api.Test;
 import java.util.ArrayList;
 import java.util.Arrays;
 import java.util.Collections;
 import static org.junit.jupiter.api.Assertions.assertEquals;
 /**
  * Responsible for testing the http://www.davekoelle.com/alphanum.html
  * implementation.
  */
 class AlphanumComparatorTest {
   /**
    * Test that a randomly sorted list containing a mix of alphanumeric
    * characters ("chunks") will be sorted according to numeric and alphabetic
    * order.
    */
   @Test
   public void test_Sort_UnsortedList_SortedAlphanumerically() {
     final var expected = Arrays.asList(
       "10X Radonius",
       "20X Radonius",
       "20X Radonius Prime",
       "30X Radonius",
       "40X Radonius",
       "200X Radonius",
       "1000X Radonius Maximus",
       "Allegia 6R Clasteron",
       "Allegia 50 Clasteron",
       "Allegia 50B Clasteron",
       "Allegia 51 Clasteron",
       "Allegia 500 Clasteron",
       "Alpha 2",
       "Alpha 2A",
       "Alpha 2A-900",
       "Alpha 2A-8000",
       "Alpha 100",
       "Alpha 200",
       "Callisto Morphamax",
       "Callisto Morphamax 500",
       "Callisto Morphamax 600",
       "Callisto Morphamax 700",
       "Callisto Morphamax 5000",
       "Callisto Morphamax 6000 SE",
       "Callisto Morphamax 6000 SE2",
       "Callisto Morphamax 7000",
       "Xiph Xlater 5",
       "Xiph Xlater 40",
       "Xiph Xlater 50",
       "Xiph Xlater 58",
       "Xiph Xlater 300",
       "Xiph Xlater 500",
       "Xiph Xlater 2000",
       "Xiph Xlater 5000",
       "Xiph Xlater 10000"
     );
     final var actual = new ArrayList<>( expected );
     Collections.shuffle( actual );
     actual.sort( new AlphanumComparator<>() );
     assertEquals( expected, actual );
+  }
+}

D themes