Dave Jarvis' Repositories

  <component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="false" project-jdk-name="JDK1.8" project-jdk-type="JavaSDK">

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

<project version="4">

  <component name="ChangeListManager">

    <list default="true" id="3dcf7c8f-87b5-4d25-a804-39da40a621b8" name="Default Changelist" comment="">

      <change beforePath="$PROJECT_DIR$/src/main/java/com/scrivenvar/FileEditorTab.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/com/scrivenvar/FileEditorTab.java" afterDir="false" />

    </list>

    <option name="SHOW_DIALOG" value="false" />

    <option name="HIGHLIGHT_CONFLICTS" value="true" />

    <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />

    <option name="LAST_RESOLUTION" value="IGNORE" />

  </component>

  <component name="ExternalProjectsData">

    <projectState path="$PROJECT_DIR$">

      <ProjectState />

    </projectState>

  </component>

  <component name="ExternalProjectsManager">

    <system id="GRADLE">

      <state>

        <task path="$PROJECT_DIR$">

          <activation />

        </task>

        <projects_view>

          <tree_state>

            <expand>

              <path>

                <item name="" type="6a2764b6:ExternalProjectsStructure$RootNode" />

                <item name="scrivenvar" type="f1a62948:ProjectNode" />

              </path>

              <path>

                <item name="" type="6a2764b6:ExternalProjectsStructure$RootNode" />

                <item name="scrivenvar" type="f1a62948:ProjectNode" />

                <item name="Tasks" type="e4a08cd1:TasksNode" />

              </path>

              <path>

                <item name="" type="6a2764b6:ExternalProjectsStructure$RootNode" />

                <item name="scrivenvar" type="f1a62948:ProjectNode" />

                <item name="Run Configurations" type="7b0102dc:RunConfigurationsNode" />

              </path>

            </expand>

            <select />

          </tree_state>

        </projects_view>

      </state>

    </system>

  </component>

  <component name="FileTemplateManagerImpl">

    <option name="RECENT_TEMPLATES">

      <list>

        <option value="Class" />

      </list>

    </option>

  </component>

  <component name="Git.Settings">

    <option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />

  </component>

  <component name="ProjectId" id="1bxOWN6JNt3E3hwxZwoPKSZNdNc" />

  <component name="ProjectLevelVcsManager" settingsEditedManually="true" />

  <component name="ProjectViewState">

    <option name="hideEmptyMiddlePackages" value="true" />

    <option name="showLibraryContents" value="true" />

  </component>

  <component name="PropertiesComponent">

    <property name="ASKED_ADD_EXTERNAL_FILES" value="true" />

    <property name="RunOnceActivity.OpenProjectViewOnStart" value="true" />

    <property name="RunOnceActivity.ShowReadmeOnStart" value="true" />

    <property name="SHARE_PROJECT_CONFIGURATION_FILES" value="true" />

    <property name="com.android.tools.idea.instantapp.provision.ProvisionBeforeRunTaskProvider.myTimeStamp" value="1541653415064" />

    <property name="last_opened_file_path" value="$PROJECT_DIR$" />

    <property name="settings.editor.selected.configurable" value="reference.settingsdialog.project.gradle" />

  </component>

  <component name="RunManager" selected="Application.Launcher">

    <configuration name="Launcher" type="Application" factoryName="Application" temporary="true" nameIsGenerated="true">

      <option name="MAIN_CLASS_NAME" value="com.scrivenvar.Launcher" />

      <module name="scrivenvar_main" />

      <extension name="coverage">

        <pattern>

          <option name="PATTERN" value="com.scrivenvar.*" />

          <option name="ENABLED" value="true" />

        </pattern>

      </extension>

      <method v="2">

        <option name="Make" enabled="true" />

      </method>

    </configuration>

    <configuration name="Main" type="Application" factoryName="Application" temporary="true" nameIsGenerated="true">

      <option name="MAIN_CLASS_NAME" value="com.scrivenvar.Main" />

      <module name="scrivenvar_main" />

      <extension name="coverage">

        <pattern>

          <option name="PATTERN" value="com.scrivenvar.*" />

          <option name="ENABLED" value="true" />

        </pattern>

      </extension>

      <method v="2">

        <option name="Make" enabled="true" />

      </method>

    </configuration>

    <configuration name="Scrivenvar" type="GradleRunConfiguration" factoryName="Gradle">

      <ExternalSystemSettings>

        <option name="executionName" />

        <option name="externalProjectPath" value="$PROJECT_DIR$" />

        <option name="externalSystemIdString" value="GRADLE" />

        <option name="scriptParameters" value="" />

        <option name="taskDescriptions">

          <list />

        </option>

        <option name="taskNames">

          <list>

            <option value="run" />

          </list>

        </option>

        <option name="vmOptions" value="" />

      </ExternalSystemSettings>

      <GradleScriptDebugEnabled>true</GradleScriptDebugEnabled>

      <method v="2" />

    </configuration>

    <configuration default="true" type="GradleRunConfiguration" factoryName="Gradle">

      <ExternalSystemSettings>

        <option name="executionName" />

        <option name="externalProjectPath" value="" />

        <option name="externalSystemIdString" value="GRADLE" />

        <option name="scriptParameters" value="" />

        <option name="taskDescriptions">

          <list />

        </option>

        <option name="taskNames">

          <list />

        </option>

        <option name="vmOptions" value="" />

      </ExternalSystemSettings>

      <GradleScriptDebugEnabled>true</GradleScriptDebugEnabled>

      <method v="2" />

    </configuration>

    <recent_temporary>

      <list>

        <item itemvalue="Application.Launcher" />

        <item itemvalue="Application.Main" />

      </list>

    </recent_temporary>

  </component>

  <component name="SvnConfiguration">

    <configuration />

  </component>

  <component name="TaskManager">

    <task active="true" id="Default" summary="Default task">

      <changelist id="3dcf7c8f-87b5-4d25-a804-39da40a621b8" name="Default Changelist" comment="" />

      <created>1541651873782</created>

      <option name="number" value="Default" />

      <option name="presentableId" value="Default" />

      <updated>1541651873782</updated>

    </task>

    <servers />

  </component>

  <component name="WindowStateProjectService">

    <state x="521" y="258" width="605" height="787" key="#Scrivenvar" timestamp="1589659082008">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="521" y="258" width="605" height="787" key="#Scrivenvar/0.28.2560.1529@0.28.2560.1529" timestamp="1589659082008" />

    <state x="285" y="311" key="#com.intellij.execution.impl.EditConfigurationsDialog" timestamp="1589659128840">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="285" y="311" key="#com.intellij.execution.impl.EditConfigurationsDialog/0.28.2560.1529@0.28.2560.1529" timestamp="1589659128840" />

    <state x="635" y="363" width="376" height="578" key="#com.intellij.ide.util.MemberChooser" timestamp="1589658771205">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="635" y="363" width="376" height="578" key="#com.intellij.ide.util.MemberChooser/0.28.2560.1529@0.28.2560.1529" timestamp="1589658771205" />

    <state x="468" y="28" width="711" height="1526" key="#com.intellij.refactoring.rename.AutomaticRenamingDialog" timestamp="1590855861709">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="468" y="28" width="711" height="1526" key="#com.intellij.refactoring.rename.AutomaticRenamingDialog/0.28.2560.1529@0.28.2560.1529" timestamp="1590855861709" />

    <state x="610" y="411" width="426" height="481" key="FileChooserDialogImpl" timestamp="1589659107517">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="610" y="411" width="426" height="481" key="FileChooserDialogImpl/0.28.2560.1529@0.28.2560.1529" timestamp="1589659107517" />

    <state width="1573" height="321" key="GridCell.Tab.0.bottom" timestamp="1590863344981">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state width="1573" height="321" key="GridCell.Tab.0.bottom/0.28.2560.1529@0.28.2560.1529" timestamp="1590863344981" />

    <state width="1573" height="321" key="GridCell.Tab.0.center" timestamp="1590863344980">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state width="1573" height="321" key="GridCell.Tab.0.center/0.28.2560.1529@0.28.2560.1529" timestamp="1590863344980" />

    <state width="1573" height="321" key="GridCell.Tab.0.left" timestamp="1590863344980">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state width="1573" height="321" key="GridCell.Tab.0.left/0.28.2560.1529@0.28.2560.1529" timestamp="1590863344980" />

    <state width="1573" height="321" key="GridCell.Tab.0.right" timestamp="1590863344981">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state width="1573" height="321" key="GridCell.Tab.0.right/0.28.2560.1529@0.28.2560.1529" timestamp="1590863344981" />

    <state width="1573" height="396" key="GridCell.Tab.1.bottom" timestamp="1590858353845">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state width="1573" height="396" key="GridCell.Tab.1.bottom/0.28.2560.1529@0.28.2560.1529" timestamp="1590858353845" />

    <state width="1573" height="396" key="GridCell.Tab.1.center" timestamp="1590858353845">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state width="1573" height="396" key="GridCell.Tab.1.center/0.28.2560.1529@0.28.2560.1529" timestamp="1590858353845" />

    <state width="1573" height="396" key="GridCell.Tab.1.left" timestamp="1590858353845">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state width="1573" height="396" key="GridCell.Tab.1.left/0.28.2560.1529@0.28.2560.1529" timestamp="1590858353845" />

    <state width="1573" height="396" key="GridCell.Tab.1.right" timestamp="1590858353845">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state width="1573" height="396" key="GridCell.Tab.1.right/0.28.2560.1529@0.28.2560.1529" timestamp="1590858353845" />

    <state x="324" y="288" key="SettingsEditor" timestamp="1589576619807">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="324" y="288" key="SettingsEditor/0.28.2560.1529@0.28.2560.1529" timestamp="1589576619807" />

    <state x="1071" y="397" width="1417" height="979" key="com.intellij.history.integration.ui.views.FileHistoryDialog" timestamp="1589661186060">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="1071" y="397" width="1417" height="979" key="com.intellij.history.integration.ui.views.FileHistoryDialog/0.28.2560.1529@0.28.2560.1529" timestamp="1589661186060" />

    <state x="714" y="633" key="com.intellij.openapi.vcs.update.UpdateOrStatusOptionsDialogupdate-v2" timestamp="1590804130551">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="714" y="633" key="com.intellij.openapi.vcs.update.UpdateOrStatusOptionsDialogupdate-v2/0.28.2560.1529@0.28.2560.1529" timestamp="1590804130551" />

    <state x="531" y="261" width="586" height="753" key="find.popup" timestamp="1590803334947">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="531" y="261" width="586" height="753" key="find.popup/0.28.2560.1529@0.28.2560.1529" timestamp="1590803334947" />

    <state x="533" y="414" width="581" height="476" key="refactoring.ChangeSignatureDialog" timestamp="1589663937037">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="533" y="414" width="581" height="476" key="refactoring.ChangeSignatureDialog/0.28.2560.1529@0.28.2560.1529" timestamp="1589663937037" />

    <state x="490" y="304" key="run.anything.popup" timestamp="1589657324666">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="490" y="304" key="run.anything.popup/0.28.2560.1529@0.28.2560.1529" timestamp="1589657324666" />

    <state x="490" y="327" width="672" height="678" key="search.everywhere.popup" timestamp="1590858282498">

      <screen x="0" y="28" width="2560" height="1529" />

    </state>

    <state x="490" y="327" width="672" height="678" key="search.everywhere.popup/0.28.2560.1529@0.28.2560.1529" timestamp="1590858282498" />

  </component>

  <component name="XDebuggerManager">

    <watches-manager>

      <configuration name="Remote">

        <watch expression="getMatcher().matches( ( new File (&quot;./untitled.md&quot;)).toPath() )" language="JAVA" />

      </configuration>

    </watches-manager>

  </component>

  <component name="masterDetails">

    <states>

      <state key="ProjectJDKs.UI">

        <settings>

          <last-edited>JDK1.8</last-edited>

          <splitter-proportions>

            <option name="proportions">

              <list>

                <option value="0.2" />

              </list>

            </option>

          </splitter-proportions>

        </settings>

      </state>

    </states>

  </component>

</project>

``` r

mul <- function( a, b ) {

  a * b

}

```

application:

  title: Scrivenvar

  implementation 'org.controlsfx:controlsfx:11.0.0'

  implementation 'com.vladsch.flexmark:flexmark:0.61.28'

  implementation 'com.vladsch.flexmark:flexmark-ext-tables:0.61.28'

  implementation 'com.vladsch.flexmark:flexmark-ext-superscript:0.61.28'

  implementation 'com.vladsch.flexmark:flexmark-ext-gfm-strikethrough:0.61.28'

version = '1.4.1'

 * Copyright 2016 White Magic Software, Ltd.

  private static final String MSG_UNKNOWN_FILE_TYPE = "Unknown type '%s' for " +

      "file '%s'.";

import com.scrivenvar.service.Options;

import java.util.prefs.Preferences;

 * Provides options to all subclasses.

  /**

   * The options loaded from the service.

   */

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

  /**

   * Returns the persistent options for user settings.

   *

   * @return A non-null instance.

   */

  protected Options getOptions() {

    return this.options;

  }

  /**

   * Returns a hierarchical set of preferences.

   *

   * @return A non-null instance.

   */

  protected Preferences getState() {

    return getOptions().getState();

  }

import java.util.Collection;

   * Prevent instantiation, deliberately.

  }

  @SuppressWarnings("SameParameterValue")

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

    return SETTINGS.getStringSettingList( key );

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

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

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

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

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

  public static final Collection<String> GLOB_DEFINITION_EXTENSIONS

    = getStringSettingList( GLOB_PREFIX_FILE + ".definition" );

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

import java.io.IOException;

import java.nio.charset.Charset;

import java.nio.file.Files;

import java.nio.file.Path;

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

import static java.util.Locale.ENGLISH;

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

/**

 * Editor for a single file.

 *

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

 */

public final class FileEditorTab extends Tab {

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

  private final EditorPane mEditorPane = new MarkdownEditorPane();

  private final ReadOnlyBooleanWrapper mModified = new ReadOnlyBooleanWrapper();

  private final BooleanProperty canUndo = new SimpleBooleanProperty();

  private final BooleanProperty canRedo = new SimpleBooleanProperty();

  /**

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

   */

  private Charset mEncoding = UTF_8;

  /**

   * File to load into the editor.

   */

  private Path mPath;

  public FileEditorTab( final Path path ) {

    setPath( path );

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

    setOnSelectionChanged( e -> {

      if( isSelected() ) {

        Platform.runLater( this::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();

    undoManager.forgetHistory();

    // Bind the editor undo manager to the properties.

    mModified.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 );

    }

    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 && 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 ) ) );

        getEditorPane().scrollToTop();

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

      final EditorPane editor = getEditorPane();

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

      editor.getUndoManager().mark();

      return true;

    } catch( final IOException 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

   */

  @SuppressWarnings("SameParameterValue")

  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( "No scene window available" );

    }

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

  }

  /**

   * Returns the path to the file being edited in this tab.

   *

   * @return A non-null instance.

   */

  public Path getPath() {

    return mPath;

  }

  /**

   * Sets the path to a file for editing and then updates the tab with the

   * file contents.

   *

   * @param path A non-null instance.

   */

  public void setPath( final Path path ) {

    assert path != null;

    mPath = path;

    updateTab();

  }

  public boolean isModified() {

    return mModified.get();

  }

  ReadOnlyBooleanProperty modifiedProperty() {

    return mModified.getReadOnlyProperty();

  }

  BooleanProperty canUndoProperty() {

    return this.canUndo;

  }

  BooleanProperty canRedoProperty() {

    return this.canRedo;

  }

  private UndoManager<?> getUndoManager() {

    return getEditorPane().getUndoManager();

  }

  /**

   * 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 EditorPane getEditorPane() {

    return mEditorPane;

  }

  private Notifier getNotifyService() {

    return mAlertService;

  }

  /**

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

    return mEncoding;

  }

  private void setEncoding( final Charset encoding ) {

    assert encoding != null;

    mEncoding = encoding;

  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> mActiveFileEditor =

      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 ) {

            mActiveFileEditor.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().forEach(

                  ( tab ) -> ((FileEditorTab) tab).modifiedProperty()

                                                  .addListener( modifiedListener ) );

            }

            else if( change.wasRemoved() ) {

              change.getRemoved().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 );

        }

    );

  }

  /**

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

  }

  /**

   * Returns the tab that has keyboard focus.

   *

   * @return A non-null instance.

   */

  public FileEditorTab getActiveFileEditor() {

    return mActiveFileEditor.get();

  }

  /**

   * Returns the property corresponding to the tab that has focus.

   *

   * @return A non-null instance.

   */

  public ReadOnlyObjectProperty<FileEditorTab> activeFileEditorProperty() {

    return mActiveFileEditor.getReadOnlyProperty();

  }

  /**

   * Property that can answer whether the text has been modified.

   *

   * @return A non-null instance, true meaning the content has not been saved.

   */

  ReadOnlyBooleanProperty anyFileEditorModifiedProperty() {

    return this.anyFileEditorModified.getReadOnlyProperty();

  }

  /**

   * Creates a new editor instance from the given path.

   *

   * @param path The file to open.

   * @return A non-null instance.

   */

  private FileEditorTab createFileEditor( final Path path ) {

    assert path != null;

    final FileEditorTab tab = new FileEditorTab( path );

    tab.setOnCloseRequest( e -> {

      if( !canCloseEditor( tab ) ) {

        e.consume();

      }

      else if( isActiveFileEditor( tab ) ) {

        // Prevent prompting the user to save when there are no file editor

        // tabs open.

        mActiveFileEditor.set( null );

      }

    } );

    return tab;

  }

  private boolean isActiveFileEditor( final FileEditorTab tab ) {

    return getActiveFileEditor() == tab;

  }

  private Path getDefaultPath() {

    final String filename = getDefaultFilename();

    return (new File( filename )).toPath();

  }

  private String getDefaultFilename() {

    return getSettings().getSetting( "file.default", "untitled.md" );

  }

  /**

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

   */

  void newEditor() {

    final Path defaultPath = getDefaultPath();

    final FileEditorTab tab = createFileEditor( defaultPath );

    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.

   */

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

    final List<String> extensions =

        createExtensionFilter( DEFINITION ).getExtensions();

    final FileTypePredicate predicate =

        new FileTypePredicate( extensions );

    // 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.isEmpty() ) {

      saveLastDirectory( editors.get( 0 ) );

    }

    editors.removeAll( definitions );

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

    if( !editors.isEmpty() ) {

      openEditors( editors, 0 );

    }

    if( !definitions.isEmpty() ) {

      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.

    // (might be a matter of checking the value first).