Dave Jarvis' Repositories

*.bin binary

*.exe binary

#!/usr/bin/env bash

# Writes the name for all OTF files found in the current directory or lower

find src/main/resources/fonts -type f \( -name "*otf" -o -name "*ttf" \) -exec \

  fc-scan --format "%{foundry}: %{family}\n" {} \; | uniq | sort

ARG_JAVA_VERSION="15.0.2"

ARG_JAVA_UPDATE="10"

Copyright 2014-2019 Adobe (http://www.adobe.com/), with Reserved Font Name 'Source'. All Rights Reserved. Source is a trademark of Adobe in the United States and/or other countries.

This Font Software is licensed under the SIL Open Font License, Version 1.1.

This license is copied below, and is also available with a FAQ at: http://scripts.sil.org/OFL

-----------------------------------------------------------

SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007

-----------------------------------------------------------

PREAMBLE

The goals of the Open Font License (OFL) are to stimulate worldwide

development of collaborative font projects, to support the font creation

efforts of academic and linguistic communities, and to provide a free and

open framework in which fonts may be shared and improved in partnership

with others.

The OFL allows the licensed fonts to be used, studied, modified and

redistributed freely as long as they are not sold by themselves. The

fonts, including any derivative works, can be bundled, embedded,

redistributed and/or sold with any software provided that any reserved

names are not used by derivative works. The fonts and derivatives,

however, cannot be released under any other type of license. The

requirement for fonts to remain under this license does not apply

to any document created using the fonts or their derivatives.

DEFINITIONS

"Font Software" refers to the set of files released by the Copyright

Holder(s) under this license and clearly marked as such. This may

include source files, build scripts and documentation.

"Reserved Font Name" refers to any names specified as such after the

copyright statement(s).

"Original Version" refers to the collection of Font Software components as

distributed by the Copyright Holder(s).

"Modified Version" refers to any derivative made by adding to, deleting,

or substituting -- in part or in whole -- any of the components of the

Original Version, by changing formats or by porting the Font Software to a

new environment.

"Author" refers to any designer, engineer, programmer, technical

writer or other person who contributed to the Font Software.

PERMISSION & CONDITIONS

Permission is hereby granted, free of charge, to any person obtaining

a copy of the Font Software, to use, study, copy, merge, embed, modify,

redistribute, and sell modified and unmodified copies of the Font

Software, subject to the following conditions:

1) Neither the Font Software nor any of its individual components,

in Original or Modified Versions, may be sold by itself.

2) Original or Modified Versions of the Font Software may be bundled,

redistributed and/or sold with any software, provided that each copy

contains the above copyright notice and this license. These can be

included either as stand-alone text files, human-readable headers or

in the appropriate machine-readable metadata fields within text or

binary files as long as those fields can be easily viewed by the user.

3) No Modified Version of the Font Software may use the Reserved Font

Name(s) unless explicit written permission is granted by the corresponding

Copyright Holder. This restriction only applies to the primary font name as

presented to the users.

4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font

Software shall not be used to promote, endorse or advertise any

Modified Version, except to acknowledge the contribution(s) of the

Copyright Holder(s) and the Author(s) or with their explicit written

permission.

5) The Font Software, modified or unmodified, in part or in whole,

must be distributed entirely under this license, and must not be

distributed under any other license. The requirement for fonts to

remain under this license does not apply to any document created

using the Font Software.

TERMINATION

This license becomes null and void if any of the above conditions are

not met.

DISCLAIMER

THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,

EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF

MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT

OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE

COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,

INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL

DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM

OTHER DEALINGS IN THE FONT SOFTWARE.

  public static final String FONT_NAME_PREVIEW_DEFAULT = "Source Serif 4";

  public static final String DIAGRAM_SERVER_NAME = "kroki.io";

        // The definition panes auto-save, so being specific here prevents

        // closing the definitions in the situation where the user wants to

        // continue editing (i.e., possibly save unsaved work).

        if( !(resource instanceof TextEditor) ) {

        if( canClose( (TextEditor) resource ) ) {

      ( c, o, n ) -> {

        if( n != null ) {

          applyStylesheets( scene, n, exTheme );

        }

      }

   * @param external The (optional) customized CSS file specified by the user.

      if( external != null && external.canRead() && !external.isDirectory() ) {

    final var len = s.length();

    final var stack = new Stack<StringBuilder>();

    var sb = new StringBuilder( 256 );

    var open = false;

    for( var i = 0; i < len; i++ ) {

      final var c = s.charAt( i );

            final var name = sb.toString();

    } catch( final Exception ignored ) {

  private static final String PACKAGE_NAME = MainApp.class.getPackageName();

    return clazz.contains( PACKAGE_NAME ) ||

      clazz.contains( "org.renjin." ) ||

      clazz.contains( "sun." ) ||

      clazz.contains( "java." );

  public String getMessage() {

    fireStatusEvent( problem.getMessage(), problem );

  private static void fireStatusEvent(

    final String message, final Throwable problem ) {

import static java.nio.file.FileSystems.getDefault;

    mWatchService = createWatchService();

    } catch( final Exception ex ) {

      throw new RuntimeException( ex );

  }

  private WatchService createWatchService() {

    try {

      return getDefault().newWatchService();

    } catch( final Exception ex ) {

      // Create a fallback that allows the class to be instantiated and used

      // without without preventing the application from launching.

      return new PollingWatchService();

    }

import javax.net.ssl.*;

import java.net.Socket;

import java.security.cert.X509Certificate;

import static java.net.http.HttpResponse.BodyHandlers.ofString;

  static {

    disableSSLVerification();

  }

  private static final HttpClient HTTP_CLIENT = HttpClient

    .connectTimeout( ofSeconds( 10 ) )

   *                               an instance of {@link URL}.

        .newBuilder()

        .uri( uri )

      final var response = HTTP_CLIENT.send( request, ofString() );

      clue();

  }

  // Method used for bypassing SSL verification

  private static void disableSSLVerification() {

    TrustManager[] trustAllCerts =

      new TrustManager[]{new X509ExtendedTrustManager() {

        @Override

        public void checkClientTrusted( X509Certificate[] chain,

                                        String authType,

                                        Socket socket ) {

        }

        @Override

        public void checkServerTrusted( X509Certificate[] chain,

                                        String authType,

                                        Socket socket ) {

        }

        @Override

        public void checkClientTrusted( X509Certificate[] chain,

                                        String authType,

                                        SSLEngine engine ) {

        }

        @Override

        public void checkServerTrusted( X509Certificate[] chain,

                                        String authType,

                                        SSLEngine engine ) {

        }

        @Override

        public java.security.cert.X509Certificate[] getAcceptedIssuers() {

          return null;

        }

        @Override

        public void checkClientTrusted(

          X509Certificate[] certs, String authType ) {

        }

        @Override

        public void checkServerTrusted(

          X509Certificate[] certs, String authType ) {

        }

      }};

    try {

      final var context = SSLContext.getInstance( "SSL" );

      context.init( null, trustAllCerts, new java.security.SecureRandom() );

      HttpsURLConnection.setDefaultSSLSocketFactory( context.getSocketFactory() );

      HttpsURLConnection.setDefaultHostnameVerifier( ( hostname, session ) -> true );

    } catch( final Exception ex ) {

      clue( ex );

    }

    String setting = configValue.toString();

    // TODO: #118 - Font upgrade, which can be removed in a few releases.

    if( setting.equalsIgnoreCase( "Source Serif Pro" ) ) {

      setting = "Source Serif 4";

    }

      .apply( setting );

    return property.getValue() == null

      ? null

      : MARSHALL

/* Copyright 2020-2021 White Magic Software, Ltd. -- All rights reserved. */

import static java.lang.Boolean.FALSE;

import static java.lang.Boolean.TRUE;

      mReadyProperty.setValue( FALSE );

      mReadyProperty.setValue( TRUE );

import com.keenwrite.Constants;

import com.keenwrite.preferences.LocaleProperty;

import com.keenwrite.preferences.Workspace;

import javafx.application.Platform;

import javafx.beans.property.DoubleProperty;

import javafx.beans.property.StringProperty;

import javafx.embed.swing.SwingNode;

import org.xhtmlrenderer.render.Box;

import org.xhtmlrenderer.swing.SwingReplacedElementFactory;

import javax.swing.*;

import java.awt.*;

import java.net.URL;

import java.nio.file.Path;

import java.util.Locale;

import static com.keenwrite.Constants.*;

import static com.keenwrite.Messages.get;

import static com.keenwrite.events.StatusEvent.clue;

import static com.keenwrite.preferences.WorkspaceKeys.*;

import static java.lang.Math.max;

import static java.lang.String.format;

import static java.lang.Thread.sleep;

import static javafx.application.Platform.runLater;

import static javafx.scene.CacheHint.SPEED;

import static javax.swing.SwingUtilities.invokeLater;

/**

 * Responsible for parsing an HTML document.

 */

public final class HtmlPreview extends SwingNode {

  /**

   * 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 String HTML_STYLESHEET =

    "<link rel='stylesheet' href='%s'/>";

  /**

   * Render CSS using points (pt) not pixels (px) to reduce the chance of

   * poor rendering. The {@link #head()} method fills out the placeholders.

   * When the user has not set a locale, only one stylesheet is added to

   * the document.

   * <p>

   * Do not use points, only pixels here.

   * </p>

   */

  private static final String HTML_HEAD =

    """

      <!doctype html>

      <html lang='%s'><head><title> </title><meta charset='utf-8'/>

      %s%s<style>body{font-family:'%s';font-size: %dpx;}</style>

      <base href='%s'/></head><body>

      """;

  private static final String HTML_TAIL = "</body></html>";

  private static final URL HTML_STYLE_PREVIEW = toUrl( STYLESHEET_PREVIEW );

  /**

   * The buffer is reused so that previous memory allocations need not repeat.

   */

  private final StringBuilder mHtmlDocument = new StringBuilder( 65536 );

  private HtmlPanel mView;

  private JScrollPane mScrollPane;

  private String mBaseUriPath = "";

  /**

   * Populates {@link Constants#STYLESHEET_PREVIEW_LOCALE} for stylesheet.

   */

  private URL mLocaleUrl;

  private final Workspace mWorkspace;

  /**

   * Creates a new preview pane that can scroll to the caret position within the

   * document.

   *

   * @param workspace Contains locale and font size information.

   */

  public HtmlPreview( final Workspace workspace ) {

    mWorkspace = workspace;

    mLocaleUrl = toUrl( getLocale() );

    // Attempts to prevent a flash of black un-styled content upon load.

    setStyle( "-fx-background-color: white;" );

    invokeLater( () -> {

      mView = new HtmlPanel();

      mScrollPane = new JScrollPane( mView );

      // Enabling the cache attempts to prevent black flashes when resizing.

      setCache( true );

      setCacheHint( SPEED );

      setContent( mScrollPane );

      final var context = mView.getSharedContext();

      final var textRenderer = context.getTextRenderer();

      context.setReplacedElementFactory( FACTORY );

      textRenderer.setSmoothingThreshold( 0 );

      localeProperty().addListener( ( c, o, n ) -> {

        mLocaleUrl = toUrl( getLocale() );

        rerender();

      } );

      fontFamilyProperty().addListener( ( c, o, n ) -> rerender() );

      fontSizeProperty().addListener( ( c, o, n ) -> rerender() );

    } );

  }

  /**

   * Updates the internal HTML source shown in the preview pane.

   *

   * @param html The new HTML document to display.

   */

  public void render( final String html ) {

    mView.render( decorate( html ), getBaseUri() );

  }

  /**

   * Clears the caches then rerenders the content.

   */

  public void refresh() {

    FACTORY.clearCache();

    rerender();

  }

  private void rerender() {

    render( mHtmlDocument.toString() );

  }

  /**

   * Attaches the HTML head prefix and HTML tail suffix to the given HTML

   * string.

   *

   * @param html The HTML to adorn with opening and closing tags.

   * @return A complete HTML document, ready for rendering.

   */

  private String decorate( final String html ) {

    mHtmlDocument.setLength( 0 );

    mHtmlDocument.append( head() );

    mHtmlDocument.append( html );

    mHtmlDocument.append( tail() );

    return mHtmlDocument.toString();

  }

  private String head() {

    return format(

      HTML_HEAD,

      getLocale().getLanguage(),

      format( HTML_STYLESHEET, HTML_STYLE_PREVIEW ),

      mLocaleUrl == null ? "" : format( HTML_STYLESHEET, mLocaleUrl ),

      getFontFamily(),

      (int) (getFontSize() * (1 + 1 / 3f)),

      mBaseUriPath

    );

  }

  private String tail() {

    return HTML_TAIL;

  }

  /**

   * Clears the preview pane by rendering an empty string.

   */

  public void clear() {

    render( "" );

  }

  /**

   * Sets the base URI to the containing directory the file being edited.

   *

   * @param path The path to the file being edited.

   */

  public void setBaseUri( final Path path ) {

    final var parent = path.getParent();

    mBaseUriPath = parent == null ? "" : parent.toUri().toString();

  }

  /**

   * Scrolls to the closest element matching the given identifier without

   * waiting for the document to be ready.

   *

   * @param id Scroll the preview pane to this unique paragraph identifier.

   */

  public void scrollTo( final String id ) {

    final Runnable scrollToBox = () -> {

      int iter = 0;

      Box box = null;

      while( iter++ < 3 && ((box = mView.getBoxById( id )) == null) ) {

        try {

          sleep( 10 );

        } catch( final Exception ex ) {

          clue( ex );

        }

      }

      scrollTo( box );

    };

    if( Platform.isFxApplicationThread() ) {

      scrollToBox.run();

    }

    else {

      runLater( scrollToBox );

    }

  }

  /**

   * Scrolls to the location specified by the {@link Box} that corresponds

   * to a point somewhere in the preview pane. If there is no caret, then

   * this will not change the scroll position. Changing the scroll position

   * to the top if the {@link Box} instance is {@code null} will result in

   * jumping around a lot and inconsistent synchronization issues.

   *

   * @param box The rectangular region containing the caret, or {@code null}

   *            if the HTML does not have a caret.

   */

  private void scrollTo( final Box box ) {

    if( box != null ) {

      scrollTo( createPoint( box ) );

    }

  }

  private void scrollTo( final Point point ) {

    invokeLater( () -> {

      mView.scrollTo( point );

      getScrollPane().repaint();

    } );

  }

  /**

   * Creates a {@link Point} to use as a reference for scrolling to the area

   * described by the given {@link Box}. The {@link Box} coordinates are used

   * to populate the {@link Point}'s location, with minor adjustments for

   * vertical centering.

   *

   * @param box The {@link Box} that represents a scrolling anchor reference.

   * @return A coordinate suitable for scrolling to.

   */

  private Point createPoint( final Box box ) {

    assert box != null;

    // Scroll back up by half the height of the scroll bar to keep the typing

    // area within the view port. Otherwise the view port will have jumped too

    // high up and the most recently typed letters won't be visible.

    int y = max( box.getAbsY() - getVerticalScrollBarHeight() / 2, 0 );

    int x = box.getAbsX();

    if( !box.getStyle().isInline() ) {

      final var margin = box.getMargin( mView.getLayoutContext() );

      y += margin.top();

      x += margin.left();

    }

    return new Point( x, y );

  }

  private String getBaseUri() {

    return mBaseUriPath;

  }

  private JScrollPane getScrollPane() {

    return mScrollPane;

  }

  public JScrollBar getVerticalScrollBar() {

    return getScrollPane().getVerticalScrollBar();

  }

  private int getVerticalScrollBarHeight() {

    return getVerticalScrollBar().getHeight();

  }

  /**

   * Returns the ISO 639 alpha-2 or alpha-3 language code followed by a hyphen

   * followed by the ISO 15924 alpha-4 script code, followed by an ISO 3166

   * alpha-2 country code or UN M.49 numeric-3 area code. For example, this

   * could return "en-Latn-CA" for Canadian English written in the Latin

   * character set.

   *

   * @return Unique identifier for language and country.

   */

  private static URL toUrl( final Locale locale ) {

    return toUrl(

      get(

        sSettings.getSetting( STYLESHEET_PREVIEW_LOCALE, "" ),

        locale.getLanguage(),

        locale.getScript(),

        locale.getCountry()

      )

    );

  }

  private static URL toUrl( final String path ) {

    return HtmlPreview.class.getResource( path );

  }

  private Locale getLocale() {

    return localeProperty().toLocale();

  }

  private LocaleProperty localeProperty() {

    return mWorkspace.localeProperty( KEY_LANGUAGE_LOCALE );

  }

  private String getFontFamily() {

    return fontFamilyProperty().get();

  }

  private StringProperty fontFamilyProperty() {

    return mWorkspace.stringProperty( KEY_UI_FONT_PREVIEW_NAME );

  }

  private double getFontSize() {

    return fontSizeProperty().get();

  }

  /**

   * Returns the font size in points.

   * @return The user-defined font size (in pt).

   */

import static com.keenwrite.Constants.DIAGRAM_SERVER_NAME;

            "https://%s/%s/svg/%s", DIAGRAM_SERVER_NAME, type, encoded );

    final var message = event.getMessage();

import static com.keenwrite.Bootstrap.APP_TITLE_LOWERCASE;

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 javafx.application.Platform.runLater;

    runLater( () ->{

      final var logEntry = new LogEntry( event );

      if( !mEntries.contains( logEntry ) ) {

        mEntries.add( logEntry );

        while( mEntries.size() > CACHE_SIZE ) {

          mEntries.remove( 0 );

        }

        mTable.scrollTo( logEntry );

      }

    });

      mMessage = new SimpleStringProperty( event.getMessage() );

    /**

     * 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() );

      }

    }

    @Override

    public String toString() {

      final var date = mDate == null ? "" : mDate.get();

      final var message = mMessage == null ? "" : mMessage.get();

      final var trace = mTrace == null ? "" : mTrace.get();

      return "LogEntry{" +

        "mDate=" + (date == null ? "''" : date) +

        ", mMessage=" + (message == null ? "''" : message) +

        ", mTrace=" + (trace == null ? "''" : trace) +

        '}';

    }

    private String toString( final LocalDateTime date ) {

      return date.format( ofPattern( "d MMM u HH:mm:ss" ) );

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}''

body,h1,h2,h3,h4,h5,h6,ol,p,ul{margin:0;padding:0}img{max-width:100%;height:auto}table{table-collapse:collapse;table-spacing:0;border-spacing:0}

/* Do not use points (pt): FlyingSaucer on Debian fails to render. */

  padding: .5em;

  font-size: 28px;

  font-size: 24px;

  font-size: 20px;

  font-size: 18px;

  font-size: 16px;

  font-size: 14px;