Dave Jarvis' Repositories

]

java {

}

javafx {

  modules = ['javafx.base', 'javafx.controls', 'javafx.graphics', 'javafx.swing']

  configuration = 'compileOnly'

tasks.withType( JavaCompile ).configureEach {

  options.encoding = 'UTF-8'

}

readonly OPT_JAVA=$(cat << END_OF_ARGS

-Dprism.order=sw \

--add-opens=javafx.controls/javafx.scene.control=ALL-UNNAMED \

--add-opens=javafx.controls/javafx.scene.control.skin=ALL-UNNAMED \

END_OF_ARGS

)

ARG_JAVA_OS="linux"

ARG_JAVA_ARCH="amd64"

ARG_JAVA_DIR="java"

  public void newTextEditor() {

    final String key = "file.default.document.";

    int i = 0;

    while( file.exists() && i++ < 100 ) {

    }

    final var jsonNode = node.getValue();

    if( jsonNode.isValueNode() ) {

import java.util.concurrent.ConcurrentHashMap;

import static java.util.regex.Matcher.quoteReplacement;

        if( mapValue.contains( mOperator.apply( keyName ) ) ) {

          throw new IllegalStateException(

        }

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

import static com.keenwrite.util.FileWalker.walk;

import static java.lang.System.lineSeparator;

import static java.nio.charset.StandardCharsets.UTF_8;

  public String call() throws IOException {

    final var files = new ArrayList<Path>();

    final var text = new StringBuilder( DOCUMENT_LENGTH );

   */

  private static File getFile( final String suffix ) {

  }

  private Button createButton(

    final String msgKey, final EventHandler<ActionEvent> eventHandler ) {

    button.setOnAction( eventHandler );

    button.setGraphic( graphic );

    return button;

    final var items = menu.getItems();

      .setOnAction( _ -> createDefinition() );

      .setOnAction( _ -> renameDefinition() );

      .setOnAction( _ -> deleteSelectedItem() );

      .setOnAction( _ -> insertSelectedItem() );

  private Node label( final Key key, final String... values ) {

  }

  private String title( final Key key ) {

  }

  @Override

  public String apply( final String t ) {

  }

}

import java.util.regex.Pattern;

import static java.util.regex.Pattern.UNICODE_CHARACTER_CLASS;

import static java.util.regex.Pattern.compile;

        // When no regular CSS definition (id or class), use key/value pairs.

        if( cssDef == null ) {

          cssAttrVal = pairMatcher.group( "v" );

        }

import org.jetbrains.annotations.NotNull;

/**

 * Responsible for writing HTML anchor cross-references in the form

  AnchorXrefNode( final String type, final String id ) {

    mTypeName = type;

  }

import java.util.regex.Pattern;

class BasedSequenceNameParser extends BasedSequenceParser {

  private static final Pattern PATTERN = asPattern( REGEX );

import static com.keenwrite.processors.markdown.extensions.common.EmptyNode.EMPTY_NODE;

class BasedSequenceXrefParser extends BasedSequenceParser {

  private static final Pattern PATTERN = asPattern( REGEX );

import com.vladsch.flexmark.html.HtmlWriter;

/**

 * Responsible for generating anchor links, either named or cross-referenced.

    final var attr = getRefAttrName();

  }

}

  private static void status( final String s, final long count ) {

  }

}

  private static final String TYPESETTER_VERSION =

  public GuestTypesetter( final Mutator mutator ) {

        manager.run(

          input -> gobble( input, s -> exitCode.append( s.trim() ) ),

        );

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

import static com.keenwrite.util.Time.toElapsedTime;

import static java.lang.String.format;

import static java.lang.System.currentTimeMillis;

    final var prefix = "Main.status.typeset.";

    final var time = currentTimeMillis();

    final var success = typesetter.call();

    final var suffix = success ? "success" : "failure";

  }

    args.add(

    );

    args.add( format( "--path='%s'", themesPath ) );

import static com.keenwrite.io.downloads.DownloadManager.downloadAsync;

import static com.keenwrite.io.downloads.DownloadManager.toFilename;

/**

  public AbstractDownloadPane() {

    mFilename = toFilename( mUri );

    final var directory = USER_DATA_DIR;

    mTarget = toFile( directory.resolve( mFilename ) );

    final var border = new BorderPane();

      final var suffix = checksumOk ? ".ok" : ".no";

      disableNext( !checksumOk );

    }

  @Override

  protected String getHeaderKey() {

  }

  protected void onDownloadSucceeded(

    final String threadName, final ObservableMap<Object, Object> properties ) {

    properties.remove( threadName );

    disableNext( false );

  }

  protected void onDownloadFailed(

    final String threadName, final ObservableMap<Object, Object> properties ) {

    properties.remove( threadName );

  }

  static Hyperlink hyperlink( final String prefix ) {

    final var link = new Hyperlink( label );

    final var node = super.createButtonBar();

    final var layout = new BorderPane();

    // Change the label to indicate clipboard is updated.

    copyButton.setOnAction( _ -> {

      SystemClipboard.write( mCommands.getText() );

    } );

  @Override

  protected String getHeaderKey() {

  }

    final var comboBox = new ComboBox<UnixOsCommand>();

    final var items = comboBox.getItems();

    for( int i = 1; i <= distros; i++ ) {

      final var suffix = format( ".%02d", i );

      items.add( new UnixOsCommand( name, command ) );

    final var titledPane = titledPane( "Output", mCommands );

    final var stepsPane = new VBox();

    final var steps = stepsPane.getChildren();

    steps.add( spacer() );

    steps.add( spacer() );

    steps.add( titledPane );

    final var binary = properties.get( WIN_BIN );

    if( binary instanceof File exe ) {

      final var task = createTask( () -> {

        final var exit = mContainer.install( exe );

        // Remove the installer after installation is finished.

        properties.remove( thread );

        final var msg = exit == 0

        append( mCommands, msg );

    }

    else {

    }

  }

  @Override

  public String getHeaderKey() {

  }

}

     */

    public Builder setId( final String id ) {

      final var builder = setText( text ).setIcon( icon );

    if( mAccelerator != null ) {

    }

    final var alert = new Alert( INFORMATION );

    final var prefix = "Dialog.about.";

                               APP_YEAR,

                               APP_VERSION ) );

  private Label createLabel( final String key ) {

    final var font = label.getFont();

    final var upscale = new Font( font.getName(), 14 );

   */

  public HyperlinkDialog( final Window owner, final HyperlinkModel model ) {

    mModel = model;

    addInputField(

      "text",

      mModel.getText(),

      ( _, _, n ) -> mModel.setText( n )

    );

    addInputField(

      "url",

      mModel.getUrl(),

      ( _, _, n ) -> mModel.setUrl( n )

    );

    addInputField(

      "title",

      mModel.getTitle(),

      ( _, _, n ) -> mModel.setTitle( n )

  public ImageDialog( final Window owner, final ImageModel model ) {

    mModel = model;

    addInputField(

      "url",

      mModel.getUrl(),

      ( _, _, n ) -> mModel.setUrl( n )

    );

    addInputField(

      "text",

      mModel.getText(),

      ( _, _, n ) -> mModel.setText( n )

    );

    addInputField(

      "title",

      mModel.getTitle(),

      ( _, _, n ) -> mModel.setTitle( n )

  private static final String PREFIX = "Dialog.open_url.";

  private static final String DOWNLOAD = "Main.status.url.request.";

  private final Path mParent;

   */

  public OpenUrlDialog( final Window owner, final Path parent ) {

    mParent = parent;

    addInputField(

      "url",

      mUrl,

      ( _, _, n ) -> mUrl = sanitize( n )

  private File download( final String reference ) {

    try {

      final var uri = new URI( reference );

      final var path = toFile( uri );

      final var basedir = path.getName();

      final var file = mParent.resolve( basedir ).toFile();

      if( file.exists() ) {

      }

      else {

        final var task = downloadAsync( uri, file, ( progress, bytes ) -> {

          final var suffix = progress < 0 ? "bytes" : "progress";

        } );

        task.setOnSucceeded( _ -> {

          // Only after the download succeeds can we open the file.

          FileOpenEvent.fire( file.toURI() );

        } );

      }

import com.vladsch.flexmark.ast.Link;

/**

  public String toString() {

    final String format = hasText()

      : "%s%s%s";

package com.keenwrite.ui.models;

/**

 * Represents the model for an image: text, url, and title.

  public String toString() {

    final String format = hasText()

      : "![%s](%s)%s";

import java.util.function.Consumer;

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

    final Path path, final String glob, final Consumer<Path> c )

    throws IOException {

    try( final var walk = Files.walk( path, 10 ) ) {

    final var dir = pkgName.replace( '.', '/' );

    assertTrue( urls.hasMoreElements() );

        final var actualExtension = valueFrom( media ).getExtension();

        final var expectedExtension = getExtension( image.toString() );

        assertEquals( expectedExtension, actualExtension );

  private static final String URI_FILE = "kitten";

  private static final String URI_PATH = UIR_DIR + '/' + URI_FILE;

  private static final String PLACEHOLDER = "loremflickr.com";

  private static final Map<String, String> IMAGES = new LinkedHashMap<>();

  static {

    add( PATH_KITTEN_PNG, URI_PATH );

    add( PATH_KITTEN_PNG, URI_FILE );

    add( PATH_KITTEN_PNG, PATH_KITTEN_PNG );

    add( PATH_KITTEN_JPG, PATH_KITTEN_JPG );

  }