Dave Jarvis' Repositories

<?xml version="1.0" encoding="UTF-8"?>

<classpath>

	<classpathentry kind="src" path="src/main/java">

		<attributes>

			<attribute name="FROM_GRADLE_MODEL" value="true"/>

		</attributes>

	</classpathentry>

	<classpathentry kind="src" path="src/main/resources">

		<attributes>

			<attribute name="FROM_GRADLE_MODEL" value="true"/>

		</attributes>

	</classpathentry>

	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8">

		<accessrules>

			<accessrule kind="accessible" pattern="javafx/**"/>

		</accessrules>

	</classpathentry>

	<classpathentry exported="true" kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>

	<classpathentry kind="output" path="bin"/>

</classpath>

# always use LF line endings

# ALL FILES:

#   Normalize line endings to LF on checkin and

#   prevent conversion to CRLF when the file is checked out.

* text eol=lf

# BINARY FILES:

#   Disable line ending normalize on checkin.

*.gif binary

*.jar binary

*.png binary

*.zip binary

/bin/

/build/

/.gradle/

/gradle/

/.nb-gradle

/private

.nb-gradle-properties

scrivenvar.pro

<?xml version="1.0" encoding="UTF-8"?>

<projectDescription>

	<name>Markdown Writer FX</name>

	<comment></comment>

	<projects>

	</projects>

	<buildSpec>

		<buildCommand>

			<name>org.eclipse.jdt.core.javabuilder</name>

			<arguments>

			</arguments>

		</buildCommand>

		<buildCommand>

			<name>org.eclipse.buildship.core.gradleprojectbuilder</name>

			<arguments>

			</arguments>

		</buildCommand>

	</buildSpec>

	<natures>

		<nature>org.eclipse.jdt.core.javanature</nature>

		<nature>org.eclipse.buildship.core.gradleprojectnature</nature>

	</natures>

	<filteredResources>

		<filter>

			<id>1438449113801</id>

			<name></name>

			<type>26</type>

			<matcher>

				<id>org.eclipse.ui.ide.multiFilter</id>

				<arguments>1.0-projectRelativePath-matches-false-false-build</arguments>

			</matcher>

		</filter>

		<filter>

			<id>1438449113801</id>

			<name></name>

			<type>26</type>

			<matcher>

				<id>org.eclipse.ui.ide.multiFilter</id>

				<arguments>1.0-projectRelativePath-matches-false-false-.gradle</arguments>

			</matcher>

		</filter>

	</filteredResources>

</projectDescription>

GRADLE_BUILD_COMMANDS=org.eclipse.jdt.core.javabuilder

GRADLE_NATURES=org.eclipse.jdt.core.javanature

build.commands=org.eclipse.jdt.core.javabuilder

connection.arguments=

connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER)

connection.gradle.user.home=null

connection.java.home=null

connection.jvm.arguments=

connection.project.dir=

derived.resources=.gradle,build

eclipse.preferences.version=1

natures=org.eclipse.jdt.core.javanature

project.path=\:

eclipse.preferences.version=1

line.separator=\n

eclipse.preferences.version=1

org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled

org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8

org.eclipse.jdt.core.compiler.compliance=1.8

org.eclipse.jdt.core.compiler.problem.assertIdentifier=error

org.eclipse.jdt.core.compiler.problem.enumIdentifier=error

org.eclipse.jdt.core.compiler.source=1.8

eclipse.preferences.version=1

editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true

org.eclipse.jdt.ui.ignorelowercasenames=true

org.eclipse.jdt.ui.importorder=java;javafx;javax;org;com;

org.eclipse.jdt.ui.ondemandthreshold=99

org.eclipse.jdt.ui.staticondemandthreshold=99

sp_cleanup.add_default_serial_version_id=true

sp_cleanup.add_generated_serial_version_id=false

sp_cleanup.add_missing_annotations=true

sp_cleanup.add_missing_deprecated_annotations=true

sp_cleanup.add_missing_methods=false

sp_cleanup.add_missing_nls_tags=false

sp_cleanup.add_missing_override_annotations=true

sp_cleanup.add_missing_override_annotations_interface_methods=true

sp_cleanup.add_serial_version_id=false

sp_cleanup.always_use_blocks=true

sp_cleanup.always_use_parentheses_in_expressions=false

sp_cleanup.always_use_this_for_non_static_field_access=false

sp_cleanup.always_use_this_for_non_static_method_access=false

sp_cleanup.convert_functional_interfaces=false

sp_cleanup.convert_to_enhanced_for_loop=false

sp_cleanup.correct_indentation=false

sp_cleanup.format_source_code=false

sp_cleanup.format_source_code_changes_only=false

sp_cleanup.insert_inferred_type_arguments=false

sp_cleanup.make_local_variable_final=false

sp_cleanup.make_parameters_final=false

sp_cleanup.make_private_fields_final=true

sp_cleanup.make_type_abstract_if_missing_method=false

sp_cleanup.make_variable_declarations_final=true

sp_cleanup.never_use_blocks=false

sp_cleanup.never_use_parentheses_in_expressions=true

sp_cleanup.on_save_use_additional_actions=true

sp_cleanup.organize_imports=false

sp_cleanup.qualify_static_field_accesses_with_declaring_class=false

sp_cleanup.qualify_static_member_accesses_through_instances_with_declaring_class=true

sp_cleanup.qualify_static_member_accesses_through_subtypes_with_declaring_class=true

sp_cleanup.qualify_static_member_accesses_with_declaring_class=false

sp_cleanup.qualify_static_method_accesses_with_declaring_class=false

sp_cleanup.remove_private_constructors=true

sp_cleanup.remove_redundant_type_arguments=true

sp_cleanup.remove_trailing_whitespaces=true

sp_cleanup.remove_trailing_whitespaces_all=true

sp_cleanup.remove_trailing_whitespaces_ignore_empty=false

sp_cleanup.remove_unnecessary_casts=true

sp_cleanup.remove_unnecessary_nls_tags=false

sp_cleanup.remove_unused_imports=true

sp_cleanup.remove_unused_local_variables=false

sp_cleanup.remove_unused_private_fields=true

sp_cleanup.remove_unused_private_members=false

sp_cleanup.remove_unused_private_methods=true

sp_cleanup.remove_unused_private_types=true

sp_cleanup.sort_members=false

sp_cleanup.sort_members_all=false

sp_cleanup.use_anonymous_class_creation=false

sp_cleanup.use_blocks=false

sp_cleanup.use_blocks_only_for_return_and_throw=false

sp_cleanup.use_lambda=true

sp_cleanup.use_parentheses_in_expressions=false

sp_cleanup.use_this_for_non_static_field_access=false

sp_cleanup.use_this_for_non_static_field_access_only_if_necessary=true

sp_cleanup.use_this_for_non_static_method_access=false

sp_cleanup.use_this_for_non_static_method_access_only_if_necessary=true

sp_cleanup.use_type_arguments=false

language: java

jdk:

- oraclejdk8

# enable Java 8u45+, see https://github.com/travis-ci/travis-ci/issues/4042

addons:

  apt:

    packages:

      - oracle-java8-installer

os:

  - linux

# run in container

sudo: false

Credits

===

  * Dave Jarvis: [Scrivenvar](https://github.com/DaveJarvis/scrivenvar/)

  * Karl Tauber: [Markdown Writer FX](https://github.com/JFormDesigner/markdown-writer-fx)

  * Tomas Mikula: [RichTextFX](https://github.com/TomasMikula/RichTextFX), [ReactFX](https://github.com/TomasMikula/ReactFX), [WellBehavedFX](https://github.com/TomasMikula/WellBehavedFX), [Flowless](https://github.com/TomasMikula/Flowless), and [UndoFX](https://github.com/TomasMikula/UndoFX)

  * Mikael Grev: [MigLayout](http://www.miglayout.com/)

  * Tom Eugelink: [MigPane](https://github.com/mikaelgrev/miglayout/blob/master/javafx/src/main/java/org/tbee/javafx/scene/layout/fxml/MigPane.java)

  * Vladimir Schneider: [flexmark](https://website.com)

  * Jens Deters: [FontAwesomeFX](https://bitbucket.org/Jerady/fontawesomefx)

  * Shy Shalom, Kohei Taketa: [juniversalchardet](https://github.com/takscape/juniversalchardet)

 * David Croft, [File Preferences](https://github.com/eis/simple-suomi24-java-client/tree/master/src/main/java/net/infotrek/util/prefs)

Copyright (c) 2015 Karl Tauber <karl at jformdesigner dot com>

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.

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.

![Logo](images/logo64.png)

$application.title$

===

Word processing with variables.

Requirements

---

[Java 8u40 or greater](http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html).

Quick Start

---

Complete the following steps to run the application:

1. [Download](https://github.com/DaveJarvis/scrivenvar/releases) `scrivenvar.jar`.

1. Double-click `scrivenvar.jar` to start the application.

Features

---

* R integration

* User-defined variables, interpolated

* Real-time preview with variable substitution

* Auto-complete variable names based on variable values

* XML document transformation using XSLT2

* Platform independent (Windows, Linux, MacOS)

Future Features

---

* Spell check

* Search and replace using variables

* Re-organize variable names

Screenshot

---

![Screenshot](images/screenshot.png)

License

---

This software is licensed under the [BSD 2-Clause License](LICENSE).

<?xml version="1.0" encoding="UTF-8"?>

<project>

  <entry key="classpath1" value="bin" />

  <entry key="classpath2" value="lib/fontawesomefx-8.9.jar" />

  <entry key="sourcefolders1" value="src/main/java" />

  <entry key="sourcefolders2" value="src/main/resources" />

  <node name="designer">

    <entry key="_i18nJavaSettingsEnabled" value="true" />

    <entry key="_i18nSettingsEnabled" value="true" />

    <entry key="i18n.externalizeexcludes1" value="com.scrivenvar.controls.EscapeTextField#escapeCharacters" />

    <entry key="i18n.externalizeexcludes2" value="com.scrivenvar.controls.WebHyperlink#uri" />

    <entry key="i18n.javagetstringformat" value="Messages.get(${key})" />

  </node>

  <node name="javacodegenerator">

    <entry key="_codeStyleSettingsEnabled" value="true" />

    <entry key="_generalSettingsEnabled" value="true" />

    <entry key="explicitimports" value="true" />

    <entry key="lineseparator" value="\n" />

  </node>

</project>

# Introduction

This document describes how to write documentation (technical or otherwise) using a master copy for generating a variety of output formats, such as: HTML pages, PDFs, and EPUBs. What's more, the document provides an overview of how to use variables and--for the unintimidated--leverage the power of R, a programming language.

# Software Requirements

Install Java, ConTeXt, Pandoc, R, and Lib V8. Then install the R packages knitr, yaml, and devtools, and pluralize by running the following commands:

    sudo su -

    apt-get install default-jre

    apt-get install context

    apt-get install pandoc

    apt-get install r

    apt-get install libv8-dev

    r

    url <- "http://cran.us.r-project.org"

    install.packages('knitr', repos=url)

    install.packages('yaml', repos=url)

    install.packages('devtools', repos=url)

    devtools::install_github("hrbrmstr/pluralize")

To exit R, press `Ctrl+d` or type `q()` followed by pressing `Enter`.

The required software packages are installed.

# Markdown

|Table|Table|

|---|---|

|Data|Data|

application:

  title: Scrivenvar

apply plugin: 'java'

apply plugin: 'java-library-distribution'

apply plugin: 'application'

repositories {

  jcenter()

}

compileJava {

  options.compilerArgs << "-Xlint:unchecked" << "-Xlint:deprecation"

}

dependencies {

  compile 'org.controlsfx:controlsfx:8.40.12'

  compile 'org.fxmisc.richtext:richtextfx:0.7-M3'

  compile 'com.miglayout:miglayout-javafx:5.0'

  compile 'de.jensd:fontawesomefx-fontawesome:4.5.0'

  compile 'org.ahocorasick:ahocorasick:0.3.0'

  compile 'com.vladsch.flexmark:flexmark:0.9.0'

  compile 'com.vladsch.flexmark:flexmark-ext-gfm-tables:0.9.0'

  compile 'com.vladsch.flexmark:flexmark-ext-superscript:0.9.0'

  compile 'com.vladsch.flexmark:flexmark-ext-gfm-strikethrough:0.9.0'

  compile 'com.fasterxml.jackson.core:jackson-core:2.8.4'

  compile 'com.fasterxml.jackson.core:jackson-databind:2.8.4'

  compile 'com.fasterxml.jackson.core:jackson-annotations:2.8.4'

  compile 'com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.8.4'

  compile 'org.yaml:snakeyaml:1.17'

  compile 'com.ximpleware:vtd-xml:2.13'

  compile 'net.sf.saxon:Saxon-HE:9.7.0-14'

  compile 'com.googlecode.juniversalchardet:juniversalchardet:1.0.3'

  compile 'org.apache.commons:commons-configuration2:2.1'

  compile files('libs/renjin-script-engine-0.8.2320-jar-with-dependencies.jar')

}

version = '1.2.5'

applicationName = 'scrivenvar'

mainClassName = 'com.scrivenvar.Main'

sourceCompatibility = JavaVersion.VERSION_1_8

jar {

  baseName = applicationName

  archiveName = "${applicationName}.jar"

  doFirst {

    from {

      configurations.compile.collect { it.isDirectory() ? it : zipTree(it) }

    }

  }

  // Remove digital signature files to ensure an executable JAR file.

  exclude 'META-INF/*.RSA', 'META-INF/*.SF','META-INF/*.DSA' 

  manifest {

    attributes 'Main-Class': mainClassName

    attributes 'Class-Path': configurations.compile.collect {

     'libs/' + it.getName()

    }.join(' ')

  }

}

distributions {

  main {

    baseName = applicationName

    contents {

      from { ['LICENSE', 'README.md'] }

      into( 'images' ) {

        from { 'images' }

      }

    }

  }

}

https://github.com/bmuschko/gradle-izpack-plugin

  http://izpack.org/

https://github.com/TheBoegl/gradle-launch4j

  http://launch4j.sourceforge.net/

https://github.com/FibreFoX/javafx-gradle-plugin

  https://docs.oracle.com/javase/8/docs/technotes/guides/deploy/self-contained-packaging.html#A1324980

http://www.jwrapper.com/java-to-exe-free.html

https://github.com/libgdx/packr

/*

 * Copyright 2016 White Magic Software, Ltd.

 *

 * All rights reserved.

 *

 * Redistribution and use in source and binary forms, with or without

 * modification, are permitted provided that the following conditions are met:

 *

 *  o Redistributions of source code must retain the above copyright

 *    notice, this list of conditions and the following disclaimer.

 *

 *  o 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.

 *

 * 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.

 */

package com.scrivenvar;

import static com.scrivenvar.Constants.GLOB_PREFIX_FILE;

import com.scrivenvar.predicates.files.FileTypePredicate;

import com.scrivenvar.service.Settings;

import java.nio.file.Path;

import java.util.Iterator;

import java.util.List;

/**

 * Provides common behaviours for factories that instantiate classes based on

 * file type.

 *

 * @author White Magic Software, Ltd.

 */

public class AbstractFileFactory {

  private final Settings settings = Services.load( Settings.class );

  /**

   * Determines the file type from the path extension. This should only be

   * called when it is known that the file type won't be a definition file

   * (e.g., YAML or other definition source), but rather an editable file

   * (e.g., Markdown, XML, etc.).

   *

   * @param path The path with a file name extension.

   *

   * @return The FileType for the given path.

   */

  public FileType lookup( final Path path ) {

    return lookup( path, GLOB_PREFIX_FILE );

  }

  /**

   * Creates a file type that corresponds to the given path.

   *

   * @param path Reference to a variable definition file.

   * @param prefix One of GLOB_PREFIX_DEFINITION or GLOB_PREFIX_FILE.

   *

   * @return The file type that corresponds to the given path.

   */

  protected FileType lookup( final Path path, final String prefix ) {

    final Settings properties = getSettings();

    final Iterator<String> keys = properties.getKeys( prefix );

    boolean found = false;

    FileType fileType = null;

    while( keys.hasNext() && !found ) {

      final String key = keys.next();

      final List<String> patterns = properties.getStringSettingList( key );

      final FileTypePredicate predicate = new FileTypePredicate( patterns );

      if( found = predicate.test( path.toFile() ) ) {

        // Remove the EXTENSIONS_PREFIX to get the filename extension mapped

        // to a standard name (as defined in the settings.properties file).

        final String suffix = key.replace( prefix + ".", "" );

        fileType = FileType.from( suffix );

      }

    }

    return fileType;

  }

  /**

   * Throws IllegalArgumentException because the given path could not be

   * recognized.

   *

   * @param type The detected path type (protocol, file extension, etc.).

   * @param path The path to a source of definitions.

   */

  protected void unknownFileType( final String type, final String path ) {

    throw new IllegalArgumentException(

      "Unknown type '" + type + "' for '" + path + "'."

    );

  }

  /**

   * Throws IllegalArgumentException because the extension for the given path

   * could not be recognized.

   *

   * @param path The path to a file that could not be loaded.

   */

  protected void unknownExtension( final Path path ) {

    throw new IllegalArgumentException(

      "Unknown extension for '" + path + "'."

    );

  }

  /**

   * Return the singleton Settings instance.

   *

   * @return The settings for

   */

  private Settings getSettings() {

    return this.settings;

  }

}

/*

 * Copyright 2016 White Magic Software, Ltd.

 *

 * All rights reserved.

 *

 * Redistribution and use in source and binary forms, with or without

 * modification, are permitted provided that the following conditions are met:

 *

 *  o Redistributions of source code must retain the above copyright

 *    notice, this list of conditions and the following disclaimer.

 *

 *  o 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.

 *

 * 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.

 */

package com.scrivenvar;

import com.scrivenvar.service.Options;

import java.util.prefs.Preferences;

import org.tbee.javafx.scene.layout.fxml.MigPane;

/**

 * Provides options to all subclasses.

 *

 * @author White Magic Software, Ltd.

 */

public abstract class AbstractPane extends MigPane {

  private final Options options = Services.load( Options.class );

  protected Options getOptions() {

    return this.options;

  }

  protected Preferences getState() {

    return getOptions().getState();

  }

}

/*

 * Copyright 2016 White Magic Software, Ltd.

 *

 * All rights reserved.

 *

 * Redistribution and use in source and binary forms, with or without

 * modification, are permitted provided that the following conditions are met:

 *

 *  o Redistributions of source code must retain the above copyright

 *    notice, this list of conditions and the following disclaimer.

 *

 *  o 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.

 *

 * 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.

 */

package com.scrivenvar;

import com.scrivenvar.service.Settings;

import java.util.Collection;

/**

 * @author White Magic Software, Ltd.

 */

public class Constants {

  private static final Settings SETTINGS = Services.load( Settings.class );

  /**

   * Prevent instantiation, deliberately.

   */

  private Constants() {

  }

  private static String get( final String key ) {

    return SETTINGS.getSetting( key, "" );

  }

  private static int get( final String key, final int defaultValue ) {

    return SETTINGS.getSetting( key, defaultValue );

  }

  private static Collection<String> getStringSettingList( final String key ) {

    return SETTINGS.getStringSettingList( key );

  }

  // Bootstrapping...

  public static final String SETTINGS_NAME = "/com/scrivenvar/settings.properties";

  public static final String APP_TITLE = get( "application.title" );

  public static final String APP_BUNDLE_NAME = get( "application.messages" );

  // Prevent double events when updating files on Linux (save and timestamp).

  public static final int APP_WATCHDOG_TIMEOUT = get( "application.watchdog.timeout", 100 );

  public static final String STYLESHEET_SCENE = get( "file.stylesheet.scene" );

  public static final String STYLESHEET_MARKDOWN = get( "file.stylesheet.markdown" );

  public static final String STYLESHEET_PREVIEW = get( "file.stylesheet.preview" );

  public static final String STYLESHEET_XML = get( "file.stylesheet.xml" );

  public static final String FILE_LOGO_16 = get( "file.logo.16" );

  public static final String FILE_LOGO_32 = get( "file.logo.32" );

  public static final String FILE_LOGO_128 = get( "file.logo.128" );

  public static final String FILE_LOGO_256 = get( "file.logo.256" );

  public static final String FILE_LOGO_512 = get( "file.logo.512" );

  public static final String CARET_POSITION_BASE = get( "caret.token.base" );

  public static final String CARET_POSITION_MD = get( "caret.token.markdown" );

  public static final String CARET_POSITION_HTML = get( "caret.token.html" );

  public static final String PREFS_ROOT = get( "preferences.root" );

  public static final String PREFS_STATE = get( "preferences.root.state" );

  public static final String PREFS_OPTIONS = get( "preferences.root.options" );

  // Refer to filename extension settings in the configuration file. Do not

  // terminate these prefixes with a period.

  public static final String GLOB_PREFIX_FILE = "file.ext";

  public static final String GLOB_PREFIX_DEFINITION = "definition." + GLOB_PREFIX_FILE;

  public static final Collection<String> GLOB_DEFINITION_EXTENSIONS

    = getStringSettingList( GLOB_PREFIX_FILE + ".definition" );

  // Different definition source protocols.

  public static final String DEFINITION_PROTOCOL_UNKNOWN = "unknown";

  public static final String DEFINITION_PROTOCOL_FILE = "file";

  // Takes two parameters: line number and column number.

  public static final String STATUS_BAR_LINE = "Main.statusbar.line";

  // "OK" text

  public static final String STATUS_BAR_DEFAULT = get( "Main.statusbar.state.default" );

  public static final String STATUS_PARSE_ERROR = "Main.statusbar.parse.error";

  // Persistent storage settings.

  /**

   * Location of the definition source file.

   */

  public static final String PERSIST_DEFINITION_SOURCE = "definitionSource";

  /**

   * Content of the R startup script.

   */

  public static final String PERSIST_R_STARTUP = "rStartup";

}

/*

 * Copyright 2016 Karl Tauber and White Magic Software, Ltd.

 *

 * Redistribution and use in source and binary forms, with or without

 * modification, are permitted provided that the following conditions are met:

 *

 *  o Redistributions of source code must retain the above copyright

 *    notice, this list of conditions and the following disclaimer.

 *

 *  o 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.

 *

 * 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.

 */

package com.scrivenvar;

import com.scrivenvar.editors.EditorPane;

import com.scrivenvar.editors.markdown.MarkdownEditorPane;

import com.scrivenvar.service.events.Notification;

import com.scrivenvar.service.events.Notifier;

import java.nio.charset.Charset;

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

import java.nio.file.Files;

import java.nio.file.Path;

import static java.util.Locale.ENGLISH;

import java.util.function.Consumer;

import javafx.application.Platform;

import javafx.beans.binding.Bindings;

import javafx.beans.property.BooleanProperty;

import javafx.beans.property.ReadOnlyBooleanProperty;

import javafx.beans.property.ReadOnlyBooleanWrapper;

import javafx.beans.property.SimpleBooleanProperty;

import javafx.beans.value.ChangeListener;

import javafx.beans.value.ObservableValue;

import javafx.event.Event;

import javafx.scene.Node;

import javafx.scene.Scene;

import javafx.scene.control.Tab;

import javafx.scene.control.Tooltip;

import javafx.scene.input.InputEvent;

import javafx.scene.text.Text;

import javafx.stage.Window;

import org.fxmisc.richtext.StyleClassedTextArea;

import static org.fxmisc.richtext.model.TwoDimensional.Bias.Forward;

import org.fxmisc.richtext.model.TwoDimensional.Position;

import org.fxmisc.undo.UndoManager;

import org.fxmisc.wellbehaved.event.EventPattern;

import org.fxmisc.wellbehaved.event.InputMap;

import org.mozilla.universalchardet.UniversalDetector;

/**

 * Editor for a single file.

 *

 * @author Karl Tauber and White Magic Software, Ltd.

 */

public final class FileEditorTab extends Tab {

  private final Notifier alertService = Services.load( Notifier.class );

  private EditorPane editorPane;

  /**

   * Character encoding used by the file (or default encoding if none found).

   */

  private Charset encoding;

  private final ReadOnlyBooleanWrapper modified = new ReadOnlyBooleanWrapper();

  private final BooleanProperty canUndo = new SimpleBooleanProperty();

  private final BooleanProperty canRedo = new SimpleBooleanProperty();

  private Path path;

  FileEditorTab( final Path path ) {

    setPath( path );

    this.modified.addListener( (observable, oldPath, newPath) -> updateTab() );

    setOnSelectionChanged( e -> {

      if( isSelected() ) {

        Platform.runLater( () -> activated() );

      }

    } );

  }

  private void updateTab() {

    setText( getTabTitle() );

    setGraphic( getModifiedMark() );

    setTooltip( getTabTooltip() );

  }

  /**

   * Returns the base filename (without the directory names).

   *

   * @return The untitled text if the path hasn't been set.

   */

  private String getTabTitle() {

    final Path filePath = getPath();

    return (filePath == null)

      ? Messages.get( "FileEditor.untitled" )

      : filePath.getFileName().toString();

  }

  /**

   * Returns the full filename represented by the path.

   *

   * @return The untitled text if the path hasn't been set.

   */

  private Tooltip getTabTooltip() {

    final Path filePath = getPath();

    return new Tooltip( filePath == null ? "" : filePath.toString() );

  }

  /**

   * Returns a marker to indicate whether the file has been modified.

   *

   * @return "*" when the file has changed; otherwise null.

   */

  private Text getModifiedMark() {

    return isModified() ? new Text( "*" ) : null;

  }

  /**

   * Called when the user switches tab.

   */

  private void activated() {

    // Tab is closed or no longer active.

    if( getTabPane() == null || !isSelected() ) {

      return;

    }

    // Switch to the tab without loading if the contents are already in memory.

    if( getContent() != null ) {

      getEditorPane().requestFocus();

      return;

    }

    // Load the text and update the preview before the undo manager.

    load();

    // Track undo requests -- can only be called *after* load.

    initUndoManager();

    initLayout();

    initFocus();

  }

  private void initLayout() {

    setContent( getScrollPane() );

  }

  private Node getScrollPane() {

    return getEditorPane().getScrollPane();

  }

  private void initFocus() {

    getEditorPane().requestFocus();

  }

  private void initUndoManager() {

    final UndoManager undoManager = getUndoManager();

    // Clear undo history after first load.

    undoManager.forgetHistory();

    // Bind the editor undo manager to the properties.

    modified.bind( Bindings.not( undoManager.atMarkedPositionProperty() ) );

    canUndo.bind( undoManager.undoAvailableProperty() );

    canRedo.bind( undoManager.redoAvailableProperty() );

  }

  /**

   * Searches from the caret position forward for the given string.

   *

   * @param needle The text string to match.

   */

  public void searchNext( final String needle ) {

    final String haystack = getEditorText();

    int index = haystack.indexOf( needle, getCaretPosition() );

    // Wrap around.

    if( index == -1 ) {

      index = haystack.indexOf( needle, 0 );

    }

    if( index >= 0 ) {

      setCaretPosition( index );

      getEditor().selectRange( index, index + needle.length() );

    }

  }

  /**

   * Returns the index into the text where the caret blinks happily away.

   *

   * @return A number from 0 to the editor's document text length.

   */

  public int getCaretPosition() {

    return getEditor().getCaretPosition();

  }

  /**

   * Moves the caret to a given offset.

   *

   * @param offset The new caret offset.

   */

  private void setCaretPosition( final int offset ) {

    getEditor().moveTo( offset );

    getEditor().requestFollowCaret();

  }

  /**

   * Returns the caret's current row and column position.

   *

   * @return The caret's offset into the document.

   */

  public Position getCaretOffset() {

    return getEditor().offsetToPosition( getCaretPosition(), Forward );

  }

  /**

   * Allows observers to synchronize caret position changes.

   *

   * @return An observable caret property value.

   */

  public final ObservableValue<Integer> caretPositionProperty() {

    return getEditor().caretPositionProperty();

  }

  /**

   * Returns the text area associated with this tab.

   *

   * @return A text editor.

   */

  private StyleClassedTextArea getEditor() {

    return getEditorPane().getEditor();

  }

  /**

   * Returns true if the given path exactly matches this tab's path.

   *

   * @param check The path to compare against.

   *

   * @return true The paths are the same.

   */

  public boolean isPath( final Path check ) {

    final Path filePath = getPath();

    return filePath == null ? false : filePath.equals( check );

  }

  /**

   * Reads the entire file contents from the path associated with this tab.

   */

  private void load() {

    final Path filePath = getPath();

    if( filePath != null ) {

      try {

        getEditorPane().setText( asString( Files.readAllBytes( filePath ) ) );

      } catch( final Exception ex ) {

        getNotifyService().notify( ex );

      }

    }

  }

  /**

   * Saves the entire file contents from the path associated with this tab.

   *

   * @return true The file has been saved.

   */

  public boolean save() {

    try {

      Files.write( getPath(), asBytes( getEditorPane().getText() ) );

      getEditorPane().getUndoManager().mark();

      return true;

    } catch( final Exception ex ) {

      return alert(

        "FileEditor.saveFailed.title", "FileEditor.saveFailed.message", ex

      );

    }

  }

  /**

   * Creates an alert dialog and waits for it to close.

   *

   * @param titleKey Resource bundle key for the alert dialog title.

   * @param messageKey Resource bundle key for the alert dialog message.

   * @param e The unexpected happening.

   *

   * @return false

   */

  private boolean alert(

    final String titleKey, final String messageKey, final Exception e ) {

    final Notifier service = getNotifyService();

    final Path filePath = getPath();

    final Notification message = service.createNotification(

      Messages.get( titleKey ),

      Messages.get( messageKey ),

      filePath == null ? "" : filePath,

      e.getMessage()

    );

    try {

      service.createError( getWindow(), message ).showAndWait();

    } catch( final Exception ex ) {

      getNotifyService().notify( ex );

    }

    return false;

  }

  private Window getWindow() {

    final Scene scene = getEditorPane().getScene();

    if( scene == null ) {

      throw new UnsupportedOperationException( "" );

    }

    return scene.getWindow();

  }

  /**

   * Returns a best guess at the file encoding. If the encoding could not be

   * detected, this will return the default charset for the JVM.

   *

   * @param bytes The bytes to perform character encoding detection.

   *

   * @return The character encoding.

   */

  private Charset detectEncoding( final byte[] bytes ) {

    final UniversalDetector detector = new UniversalDetector( null );

    detector.handleData( bytes, 0, bytes.length );

    detector.dataEnd();

    final String charset = detector.getDetectedCharset();

    final Charset charEncoding = charset == null

      ? Charset.defaultCharset()

      : Charset.forName( charset.toUpperCase( ENGLISH ) );

    detector.reset();

    return charEncoding;

  }

  /**

   * Converts the given string to an array of bytes using the encoding that was

   * originally detected (if any) and associated with this file.

   *

   * @param text The text to convert into the original file encoding.

   *

   * @return A series of bytes ready for writing to a file.

   */

  private byte[] asBytes( final String text ) {

    return text.getBytes( getEncoding() );

  }

  /**

   * Converts the given bytes into a Java String. This will call setEncoding

   * with the encoding detected by the CharsetDetector.

   *

   * @param text The text of unknown character encoding.

   *

   * @return The text, in its auto-detected encoding, as a String.

   */

  private String asString( final byte[] text ) {

    setEncoding( detectEncoding( text ) );

    return new String( text, getEncoding() );

  }

  public Path getPath() {

    return this.path;

  }

  public void setPath( final Path path ) {

    this.path = path;

    updateTab();

  }

  /**

   * Answers whether this tab has an initialized path reference.

   *

   * @return false This tab has no path.

   */

  public boolean isFileOpen() {

    return this.path != null;

  }

  public boolean isModified() {

    return this.modified.get();

  }

  ReadOnlyBooleanProperty modifiedProperty() {

    return this.modified.getReadOnlyProperty();

  }

  BooleanProperty canUndoProperty() {

    return this.canUndo;

  }

  BooleanProperty canRedoProperty() {

    return this.canRedo;

  }

  private UndoManager getUndoManager() {

    return getEditorPane().getUndoManager();

  }

  /**

   * Forwards the request to the editor pane.

   *

   * @param <T> The type of event listener to add.

   * @param <U> The type of consumer to add.

   * @param event The event that should trigger updates to the listener.

   * @param consumer The listener to receive update events.

   */

  public <T extends Event, U extends T> void addEventListener(

    final EventPattern<? super T, ? extends U> event,

    final Consumer<? super U> consumer ) {

    getEditorPane().addEventListener( event, consumer );

  }

  /**

   * Forwards to the editor pane's listeners for keyboard events.

   *

   * @param map The new input map to replace the existing keyboard listener.

   */

  public void addEventListener( final InputMap<InputEvent> map ) {

    getEditorPane().addEventListener( map );

  }

  /**

   * Forwards to the editor pane's listeners for keyboard events.

   *

   * @param map The existing input map to remove from the keyboard listeners.

   */

  public void removeEventListener( final InputMap<InputEvent> map ) {

    getEditorPane().removeEventListener( map );

  }

  /**

   * Forwards to the editor pane's listeners for text change events.

   *

   * @param listener The listener to notify when the text changes.

   */

  public void addTextChangeListener( final ChangeListener<String> listener ) {

    getEditorPane().addTextChangeListener( listener );

  }

  /**

   * Forwards to the editor pane's listeners for caret paragraph change events.

   *

   * @param listener The listener to notify when the caret changes paragraphs.

   */

  public void addCaretParagraphListener( final ChangeListener<Integer> listener ) {

    getEditorPane().addCaretParagraphListener( listener );

  }

  /**

   * Forwards the request to the editor pane.

   *

   * @return The text to process.

   */

  public String getEditorText() {

    return getEditorPane().getText();

  }

  /**

   * Returns the editor pane, or creates one if it doesn't yet exist.

   *

   * @return The editor pane, never null.

   */

  public synchronized EditorPane getEditorPane() {

    if( this.editorPane == null ) {

      this.editorPane = new MarkdownEditorPane();

    }

    return this.editorPane;

  }

  private Notifier getNotifyService() {

    return this.alertService;

  }

  /**

   * Returns the encoding for the file, defaulting to UTF-8 if it hasn't been

   * determined.

   * 

   * @return The file encoding or UTF-8 if unknown.

   */

  private Charset getEncoding() {

    if( this.encoding == null ) {

      this.encoding = UTF_8;

    }

    return this.encoding;

  }

  private void setEncoding( final Charset encoding ) {

    this.encoding = encoding;

  }

  /**

   * Returns the tab title, without any modified indicators.

   *

   * @return The tab title.

   */

  @Override

  public String toString() {

    return getTabTitle();

  }

}

/*

 * Copyright 2016 Karl Tauber and White Magic Software, Ltd.

 *

 * All rights reserved.

 *

 * Redistribution and use in source and binary forms, with or without

 * modification, are permitted provided that the following conditions are met:

 *

 *  o Redistributions of source code must retain the above copyright

 *    notice, this list of conditions and the following disclaimer.

 *

 *  o 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.

 *

 * 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.

 */

package com.scrivenvar;

import static com.scrivenvar.Constants.GLOB_PREFIX_FILE;

import static com.scrivenvar.FileType.*;

import static com.scrivenvar.Messages.get;

import com.scrivenvar.predicates.files.FileTypePredicate;

import com.scrivenvar.service.Options;

import com.scrivenvar.service.Settings;

import com.scrivenvar.service.events.Notification;

import com.scrivenvar.service.events.Notifier;

import static com.scrivenvar.service.events.Notifier.NO;

import static com.scrivenvar.service.events.Notifier.YES;

import com.scrivenvar.util.Utils;

import java.io.File;

import java.nio.file.Path;

import java.util.ArrayList;

import java.util.List;

import java.util.function.Consumer;

import java.util.prefs.Preferences;

import java.util.stream.Collectors;

import javafx.beans.property.ReadOnlyBooleanProperty;

import javafx.beans.property.ReadOnlyBooleanWrapper;

import javafx.beans.property.ReadOnlyObjectProperty;

import javafx.beans.property.ReadOnlyObjectWrapper;

import javafx.beans.value.ChangeListener;

import javafx.beans.value.ObservableValue;

import javafx.collections.ListChangeListener;

import javafx.collections.ObservableList;

import javafx.event.Event;

import javafx.scene.Node;

import javafx.scene.control.Alert;

import javafx.scene.control.ButtonType;

import javafx.scene.control.Tab;

import javafx.scene.control.TabPane;

import javafx.scene.control.TabPane.TabClosingPolicy;

import javafx.scene.input.InputEvent;

import javafx.stage.FileChooser;

import javafx.stage.FileChooser.ExtensionFilter;

import javafx.stage.Window;

import org.fxmisc.richtext.StyledTextArea;

import org.fxmisc.wellbehaved.event.EventPattern;

import org.fxmisc.wellbehaved.event.InputMap;

/**

 * Tab pane for file editors.

 *

 * @author Karl Tauber and White Magic Software, Ltd.

 */

public final class FileEditorTabPane extends TabPane {

  private final static String FILTER_EXTENSION_TITLES = "Dialog.file.choose.filter";

  private final Options options = Services.load( Options.class );

  private final Settings settings = Services.load( Settings.class );

  private final Notifier notifyService = Services.load( Notifier.class );

  private final ReadOnlyObjectWrapper<Path> openDefinition = new ReadOnlyObjectWrapper<>();

  private final ReadOnlyObjectWrapper<FileEditorTab> activeFileEditor = new ReadOnlyObjectWrapper<>();

  private final ReadOnlyBooleanWrapper anyFileEditorModified = new ReadOnlyBooleanWrapper();

  /**

   * Constructs a new file editor tab pane.

   */

  public FileEditorTabPane() {

    final ObservableList<Tab> tabs = getTabs();

    setFocusTraversable( false );

    setTabClosingPolicy( TabClosingPolicy.ALL_TABS );

    addTabSelectionListener(

      (ObservableValue<? extends Tab> tabPane,

        final Tab oldTab, final Tab newTab) -> {

        if( newTab != null ) {

          activeFileEditor.set( (FileEditorTab)newTab );

        }

      }

    );

    final ChangeListener<Boolean> modifiedListener = (observable, oldValue, newValue) -> {

      for( final Tab tab : tabs ) {

        if( ((FileEditorTab)tab).isModified() ) {

          this.anyFileEditorModified.set( true );

          break;

        }

      }

    };

    tabs.addListener(

      (ListChangeListener<Tab>)change -> {

        while( change.next() ) {

          if( change.wasAdded() ) {

            change.getAddedSubList().stream().forEach( (tab) -> {

              ((FileEditorTab)tab).modifiedProperty().addListener( modifiedListener );

            } );

          }

          else if( change.wasRemoved() ) {

            change.getRemoved().stream().forEach( (tab) -> {

              ((FileEditorTab)tab).modifiedProperty().removeListener( modifiedListener );

            } );

          }

        }

        // Changes in the tabs may also change anyFileEditorModified property

        // (e.g. closed modified file)

        modifiedListener.changed( null, null, null );

      }

    );

  }

  /**

   * Delegates to the active file editor.

   *

   * @param <T> Event type.

   * @param <U> Consumer type.

   * @param event Event to pass to the editor.

   * @param consumer Consumer to pass to the editor.

   */

  public <T extends Event, U extends T> void addEventListener(

    final EventPattern<? super T, ? extends U> event,

    final Consumer<? super U> consumer ) {

    getActiveFileEditor().addEventListener( event, consumer );

  }

  /**

   * Delegates to the active file editor pane, and, ultimately, to its text

   * area.

   *

   * @param map The map of methods to events.

   */

  public void addEventListener( final InputMap<InputEvent> map ) {

    getActiveFileEditor().addEventListener( map );

  }

  /**

   * Remove a keyboard event listener from the active file editor.

   *

   * @param map The keyboard events to remove.

   */

  public void removeEventListener( final InputMap<InputEvent> map ) {

    getActiveFileEditor().removeEventListener( map );

  }

  /**

   * Allows observers to be notified when the current file editor tab changes.

   *

   * @param listener The listener to notify of tab change events.

   */

  public void addTabSelectionListener( final ChangeListener<Tab> listener ) {

    // Observe the tab so that when a new tab is opened or selected,

    // a notification is kicked off.

    getSelectionModel().selectedItemProperty().addListener( listener );

  }

  /**

   * Allows clients to manipulate the editor content directly.

   *

   * @return The text area for the active file editor.

   */

  public StyledTextArea getEditor() {

    return getActiveFileEditor().getEditorPane().getEditor();

  }

  public FileEditorTab getActiveFileEditor() {

    return this.activeFileEditor.get();

  }

  public ReadOnlyObjectProperty<FileEditorTab> activeFileEditorProperty() {

    return this.activeFileEditor.getReadOnlyProperty();

  }

  ReadOnlyBooleanProperty anyFileEditorModifiedProperty() {

    return this.anyFileEditorModified.getReadOnlyProperty();

  }

  private FileEditorTab createFileEditor( final Path path ) {

    final FileEditorTab tab = new FileEditorTab( path );

    tab.setOnCloseRequest( e -> {

      if( !canCloseEditor( tab ) ) {

        e.consume();

      }

    } );

    return tab;

  }

  /**

   * Called when the user selects New from the File menu.

   *

   * @return The newly added tab.

   */

  void newEditor() {

    final FileEditorTab tab = createFileEditor( null );

    getTabs().add( tab );

    getSelectionModel().select( tab );

  }

  void openFileDialog() {

    final String title = get( "Dialog.file.choose.open.title" );

    final FileChooser dialog = createFileChooser( title );

    final List<File> files = dialog.showOpenMultipleDialog( getWindow() );

    if( files != null ) {

      openFiles( files );

    }

  }

  /**

   * Opens the files into new editors, unless one of those files was a

   * definition file. The definition file is loaded into the definition pane,

   * but only the first one selected (multiple definition files will result in a

   * warning).

   *

   * @param files The list of non-definition files that the were requested to

   * open.

   *

   * @return A list of files that can be opened in text editors.

   */

  private void openFiles( final List<File> files ) {

    final FileTypePredicate predicate

      = new FileTypePredicate( createExtensionFilter( DEFINITION ).getExtensions() );

    // The user might have opened multiple definitions files. These will

    // be discarded from the text editable files.

    final List<File> definitions

      = files.stream().filter( predicate ).collect( Collectors.toList() );

    // Create a modifiable list to remove any definition files that were

    // opened.

    final List<File> editors = new ArrayList<>( files );

    if( editors.size() > 0 ) {

      saveLastDirectory( editors.get( 0 ) );

    }

    editors.removeAll( definitions );

    // Open editor-friendly files (e.g,. Markdown, XML) in new tabs.

    if( editors.size() > 0 ) {

      openEditors( editors, 0 );

    }

    if( definitions.size() > 0 ) {

      openDefinition( definitions.get( 0 ) );

    }

  }

  private void openEditors( final List<File> files, final int activeIndex ) {

    final int fileTally = files.size();

    final List<Tab> tabs = getTabs();

    // Close single unmodified "Untitled" tab.

    if( tabs.size() == 1 ) {

      final FileEditorTab fileEditor = (FileEditorTab)(tabs.get( 0 ));

      if( fileEditor.getPath() == null && !fileEditor.isModified() ) {

        closeEditor( fileEditor, false );

      }

    }

    for( int i = 0; i < fileTally; i++ ) {

      final Path path = files.get( i ).toPath();

      FileEditorTab fileEditorTab = findEditor( path );

      // Only open new files.

      if( fileEditorTab == null ) {

        fileEditorTab = createFileEditor( path );

        getTabs().add( fileEditorTab );

      }

      // Select the first file in the list.

      if( i == activeIndex ) {

        getSelectionModel().select( fileEditorTab );

      }

    }

  }

  /**

   * Returns a property that changes when a new definition file is opened.

   *

   * @return The path to a definition file that was opened.

   */

  public ReadOnlyObjectProperty<Path> onOpenDefinitionFileProperty() {

    return getOnOpenDefinitionFile().getReadOnlyProperty();

  }

  private ReadOnlyObjectWrapper<Path> getOnOpenDefinitionFile() {

    return this.openDefinition;

  }

  /**

   * Called when the user has opened a definition file (using the file open

   * dialog box). This will replace the current set of definitions for the

   * active tab.

   *

   * @param definition The file to open.

   */

  private void openDefinition( final File definition ) {

    // TODO: Prevent reading this file twice when a new text document is opened.