Dave Jarvis' Repositories
git clone https://repo.autonoma.ca/repo/keenwrite.git
Reduce indirection for split panes
| Author | DaveJarvis <email> |
|---|---|
| Date | 2020-08-22 11:55:16 GMT-0700 |
| Commit | b536950b470c724f04ed81e6c40f7961d0427ae3 |
| Parent | 4bd7bfd |
| Delta | 657 lines added, 659 lines removed, 2-line decrease |
src/main/java/com/scrivenvar/preview/HTMLPreviewPane.java
| import javafx.embed.swing.SwingNode; | ||
| import javafx.scene.Node; | ||
| -import javafx.scene.layout.Pane; | ||
| import org.jsoup.Jsoup; | ||
| import org.jsoup.helper.W3CDom; | ||
 | ||
| import static java.awt.Desktop.getDesktop; | ||
| import static java.lang.Math.max; | ||
| +import static javax.swing.SwingUtilities.invokeLater; | ||
| import static org.xhtmlrenderer.swing.ImageResourceLoader.NO_OP_REPAINT_LISTENER; | ||
| /** | ||
| * HTML preview pane is responsible for rendering an HTML document. | ||
| */ | ||
| -public final class HTMLPreviewPane extends Pane { | ||
| +public final class HTMLPreviewPane extends SwingNode { | ||
| private final static Notifier sNotifier = Services.load( Notifier.class ); | ||
| ||
| private final HTMLPanel mHtmlRenderer = new HTMLPanel(); | ||
| - private final SwingNode mSwingNode = new SwingNode(); | ||
| private final JScrollPane mScrollPane = new JScrollPane( mHtmlRenderer ); | ||
| private final DocumentEventHandler mDocHandler = new DocumentEventHandler(); | ||
| ||
| context.setReplacedElementFactory( factory ); | ||
| textRenderer.setSmoothingThreshold( 0 ); | ||
| - | ||
| - mSwingNode.setContent( mScrollPane ); | ||
| + setContent( mScrollPane ); | ||
| mHtmlRenderer.addDocumentListener( mDocHandler ); | ||
| mHtmlRenderer.addComponentListener( new ResizeListener() ); | ||
| ||
| final Document jsoupDoc = Jsoup.parse( decorate( html ) ); | ||
| final org.w3c.dom.Document w3cDoc = W3C_DOM.fromJsoup( jsoupDoc ); | ||
| - | ||
| - mHtmlRenderer.setDocument( w3cDoc, getBaseUrl(), NS_HANDLER ); | ||
| - //mIndie.update( w3cDoc ); | ||
| + // Access to a Swing component must occur from the Event Dispatch | ||
| + // thread according to Swing threading restrictions. | ||
| + invokeLater( | ||
| + () -> mHtmlRenderer.setDocument( w3cDoc, getBaseUrl(), NS_HANDLER ) | ||
| + ); | ||
| } | ||
| ||
| private void scrollTo( final Point point ) { | ||
| - mHtmlRenderer.scrollTo( point ); | ||
| + invokeLater( () -> mHtmlRenderer.scrollTo( point ) ); | ||
| } | ||
| ||
| // Write the HTML body element followed by closing tags. | ||
| - return mHtmlDocument.append( html ) | ||
| - .append( HTML_SUFFIX ) | ||
| - .toString(); | ||
| + return mHtmlDocument.append( html ).append( HTML_SUFFIX ).toString(); | ||
| } | ||
| ||
| */ | ||
| public Node getNode() { | ||
| - return mSwingNode; | ||
| + return this; | ||
| } | ||
src/main/java/com/scrivenvar/MainWindow.java
| private void initLayout() { | ||
| - final var appScene = getScene(); | ||
| - | ||
| - appScene.getStylesheets().add( STYLESHEET_SCENE ); | ||
| - appScene.windowProperty().addListener( | ||
| - ( unused, oldWindow, newWindow ) -> | ||
| - newWindow.setOnCloseRequest( | ||
| - e -> { | ||
| - if( !getFileEditorPane().closeAllEditors() ) { | ||
| - e.consume(); | ||
| - } | ||
| - } | ||
| - ) | ||
| - ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Initialize the find input text field to listen on F3, ENTER, and | ||
| - * ESCAPE key presses. | ||
| - */ | ||
| - private void initFindInput() { | ||
| - final TextField input = getFindTextField(); | ||
| - | ||
| - input.setOnKeyPressed( ( KeyEvent event ) -> { | ||
| - switch( event.getCode() ) { | ||
| - case F3: | ||
| - case ENTER: | ||
| - editFindNext(); | ||
| - break; | ||
| - case F: | ||
| - if( !event.isControlDown() ) { | ||
| - break; | ||
| - } | ||
| - case ESCAPE: | ||
| - getStatusBar().setGraphic( null ); | ||
| - getActiveFileEditorTab().getEditorPane().requestFocus(); | ||
| - break; | ||
| - } | ||
| - } ); | ||
| - | ||
| - // Remove when the input field loses focus. | ||
| - input.focusedProperty().addListener( | ||
| - ( focused, oldFocus, newFocus ) -> { | ||
| - if( !newFocus ) { | ||
| - getStatusBar().setGraphic( null ); | ||
| - } | ||
| - } | ||
| - ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Watch for changes to external files. In particular, this awaits | ||
| - * modifications to any XSL files associated with XML files being edited. | ||
| - * When | ||
| - * an XSL file is modified (external to the application), the snitch's ears | ||
| - * perk up and the file is reloaded. This keeps the XSL transformation up to | ||
| - * date with what's on the file system. | ||
| - */ | ||
| - private void initSnitch() { | ||
| - SNITCH.addObserver( this ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Listen for {@link FileEditorTabPane} to receive open definition file | ||
| - * event. | ||
| - */ | ||
| - private void initDefinitionListener() { | ||
| - getFileEditorPane().onOpenDefinitionFileProperty().addListener( | ||
| - ( final ObservableValue<? extends Path> file, | ||
| - final Path oldPath, final Path newPath ) -> { | ||
| - openDefinitions( newPath ); | ||
| - rerender(); | ||
| - } | ||
| - ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Re-instantiates all processors then re-renders the active tab. This | ||
| - * will refresh the resolved map, force R to re-initialize, and brute-force | ||
| - * XSLT file reloads. | ||
| - */ | ||
| - private void rerender() { | ||
| - runLater( | ||
| - () -> { | ||
| - resetProcessors(); | ||
| - renderActiveTab(); | ||
| - } | ||
| - ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * When tabs are added, hook the various change listeners onto the new | ||
| - * tab sothat the preview pane refreshes as necessary. | ||
| - */ | ||
| - private void initTabAddedListener() { | ||
| - final FileEditorTabPane editorPane = getFileEditorPane(); | ||
| - | ||
| - // Make sure the text processor kicks off when new files are opened. | ||
| - final ObservableList<Tab> tabs = editorPane.getTabs(); | ||
| - | ||
| - // Update the preview pane on tab changes. | ||
| - tabs.addListener( | ||
| - ( final Change<? extends Tab> change ) -> { | ||
| - while( change.next() ) { | ||
| - if( change.wasAdded() ) { | ||
| - // Multiple tabs can be added simultaneously. | ||
| - for( final Tab newTab : change.getAddedSubList() ) { | ||
| - final FileEditorTab tab = (FileEditorTab) newTab; | ||
| - | ||
| - initTextChangeListener( tab ); | ||
| - initTabKeyEventListener( tab ); | ||
| - initScrollEventListener( tab ); | ||
| - initSpellCheckListener( tab ); | ||
| -// initSyntaxListener( tab ); | ||
| - } | ||
| - } | ||
| - } | ||
| - } | ||
| - ); | ||
| - } | ||
| - | ||
| - private void initTextChangeListener( final FileEditorTab tab ) { | ||
| - tab.addTextChangeListener( | ||
| - ( editor, oldValue, newValue ) -> { | ||
| - process( tab ); | ||
| - scrollToParagraph( getCurrentParagraphIndex() ); | ||
| - } | ||
| - ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Ensure that the keyboard events are received when a new tab is added | ||
| - * to the user interface. | ||
| - * | ||
| - * @param tab The tab editor that can trigger keyboard events. | ||
| - */ | ||
| - private void initTabKeyEventListener( final FileEditorTab tab ) { | ||
| - tab.addEventFilter( KeyEvent.KEY_PRESSED, mTabKeyHandler ); | ||
| - } | ||
| - | ||
| - private void initScrollEventListener( final FileEditorTab tab ) { | ||
| - final var scrollPane = tab.getScrollPane(); | ||
| - final var scrollBar = getPreviewPane().getVerticalScrollBar(); | ||
| - | ||
| - addShowListener( scrollPane, ( __ ) -> { | ||
| - final var handler = new ScrollEventHandler( scrollPane, scrollBar ); | ||
| - handler.enabledProperty().bind( tab.selectedProperty() ); | ||
| - } ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Listen for changes to the any particular paragraph and perform a quick | ||
| - * spell check upon it. The style classes in the editor will be changed to | ||
| - * mark any spelling mistakes in the paragraph. The user may then interact | ||
| - * with any misspelled word (i.e., any piece of text that is marked) to | ||
| - * revise the spelling. | ||
| - * | ||
| - * @param tab The tab to spellcheck. | ||
| - */ | ||
| - private void initSpellCheckListener( final FileEditorTab tab ) { | ||
| - final var editor = tab.getEditorPane().getEditor(); | ||
| - | ||
| - // When the editor first appears, run a full spell check. This allows | ||
| - // spell checking while typing to be restricted to the active paragraph, | ||
| - // which is usually substantially smaller than the whole document. | ||
| - addShowListener( | ||
| - editor, ( __ ) -> spellcheck( editor, editor.getText() ) | ||
| - ); | ||
| - | ||
| - // Use the plain text changes so that notifications of style changes | ||
| - // are suppressed. Checking against the identity ensures that only | ||
| - // new text additions or deletions trigger proofreading. | ||
| - editor.plainTextChanges() | ||
| - .filter( p -> !p.isIdentity() ).subscribe( change -> { | ||
| - | ||
| - // Only perform a spell check on the current paragraph. The | ||
| - // entire document is processed once, when opened. | ||
| - final var offset = change.getPosition(); | ||
| - final var position = editor.offsetToPosition( offset, Forward ); | ||
| - final var paraId = position.getMajor(); | ||
| - final var paragraph = editor.getParagraph( paraId ); | ||
| - final var text = paragraph.getText(); | ||
| - | ||
| - // Ensure that styles aren't doubled-up. | ||
| - editor.clearStyle( paraId ); | ||
| - | ||
| - spellcheck( editor, text, paraId ); | ||
| - } ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Listen for new tab selection events. | ||
| - */ | ||
| - private void initTabChangedListener() { | ||
| - final FileEditorTabPane editorPane = getFileEditorPane(); | ||
| - | ||
| - // Update the preview pane changing tabs. | ||
| - editorPane.addTabSelectionListener( | ||
| - ( tabPane, oldTab, newTab ) -> { | ||
| - if( newTab == null ) { | ||
| - // Clear the preview pane when closing an editor. When the last | ||
| - // tab is closed, this ensures that the preview pane is empty. | ||
| - getPreviewPane().clear(); | ||
| - } | ||
| - else { | ||
| - final var tab = (FileEditorTab) newTab; | ||
| - updateVariableNameInjector( tab ); | ||
| - process( tab ); | ||
| - } | ||
| - } | ||
| - ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Reloads the preferences from the previous session. | ||
| - */ | ||
| - private void initPreferences() { | ||
| - initDefinitionPane(); | ||
| - getFileEditorPane().initPreferences(); | ||
| - getUserPreferences().addSaveEventHandler( mRPreferencesListener ); | ||
| - } | ||
| - | ||
| - private void initVariableNameInjector() { | ||
| - updateVariableNameInjector( getActiveFileEditorTab() ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Calls the listener when the given node is shown for the first time. The | ||
| - * visible property is not the same as the initial showing event; visibility | ||
| - * can be triggered numerous times (such as going off screen). | ||
| - * <p> | ||
| - * This is called, for example, before the drag handler can be attached, | ||
| - * because the scrollbar for the text editor pane must be visible. | ||
| - * </p> | ||
| - * | ||
| - * @param node The node to watch for showing. | ||
| - * @param consumer The consumer to invoke when the event fires. | ||
| - */ | ||
| - private void addShowListener( | ||
| - final Node node, final Consumer<Void> consumer ) { | ||
| - final ChangeListener<? super Boolean> listener = ( o, oldShow, newShow ) -> | ||
| - runLater( () -> { | ||
| - if( newShow ) { | ||
| - try { | ||
| - consumer.accept( null ); | ||
| - } catch( final Exception ex ) { | ||
| - error( ex ); | ||
| - } | ||
| - } | ||
| - } ); | ||
| - | ||
| - Val.flatMap( node.sceneProperty(), Scene::windowProperty ) | ||
| - .flatMap( Window::showingProperty ) | ||
| - .addListener( listener ); | ||
| - } | ||
| - | ||
| - private void scrollToParagraph( final int id ) { | ||
| - scrollToParagraph( id, false ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * @param id The paragraph to scroll to, will be approximated if it doesn't | ||
| - * exist. | ||
| - * @param force {@code true} means to force scrolling immediately, which | ||
| - * should only be attempted when it is known that the document | ||
| - * has been fully rendered. Otherwise the internal map of ID | ||
| - * attributes will be incomplete and scrolling will flounder. | ||
| - */ | ||
| - private void scrollToParagraph( final int id, final boolean force ) { | ||
| - synchronized( mMutex ) { | ||
| - final var previewPane = getPreviewPane(); | ||
| - final var scrollPane = previewPane.getScrollPane(); | ||
| - final int approxId = getActiveEditorPane().approximateParagraphId( id ); | ||
| - | ||
| - if( force ) { | ||
| - previewPane.scrollTo( approxId ); | ||
| - } | ||
| - else { | ||
| - previewPane.tryScrollTo( approxId ); | ||
| - } | ||
| - | ||
| - scrollPane.repaint(); | ||
| - } | ||
| - } | ||
| - | ||
| - private void updateVariableNameInjector( final FileEditorTab tab ) { | ||
| - getVariableNameInjector().addListener( tab ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Called whenever the preview pane becomes out of sync with the file editor | ||
| - * tab. This can be called when the text changes, the caret paragraph | ||
| - * changes, or the file tab changes. | ||
| - * | ||
| - * @param tab The file editor tab that has been changed in some fashion. | ||
| - */ | ||
| - private void process( final FileEditorTab tab ) { | ||
| - if( tab != null ) { | ||
| - getPreviewPane().setPath( tab.getPath() ); | ||
| - | ||
| - final Processor<String> processor = getProcessors().computeIfAbsent( | ||
| - tab, p -> createProcessors( tab ) | ||
| - ); | ||
| - | ||
| - try { | ||
| - processChain( processor, tab.getEditorText() ); | ||
| - } catch( final Exception ex ) { | ||
| - error( ex ); | ||
| - } | ||
| - } | ||
| - } | ||
| - | ||
| - /** | ||
| - * Executes the processing chain, operating on the given string. | ||
| - * | ||
| - * @param handler The first processor in the chain to call. | ||
| - * @param text The initial value of the text to process. | ||
| - * @return The final value of the text that was processed by the chain. | ||
| - */ | ||
| - private String processChain( Processor<String> handler, String text ) { | ||
| - while( handler != null && text != null ) { | ||
| - text = handler.process( text ); | ||
| - handler = handler.next(); | ||
| - } | ||
| - | ||
| - return text; | ||
| - } | ||
| - | ||
| - private void renderActiveTab() { | ||
| - process( getActiveFileEditorTab() ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Called when a definition source is opened. | ||
| - * | ||
| - * @param path Path to the definition source that was opened. | ||
| - */ | ||
| - private void openDefinitions( final Path path ) { | ||
| - try { | ||
| - final var ds = createDefinitionSource( path ); | ||
| - setDefinitionSource( ds ); | ||
| - | ||
| - final var prefs = getUserPreferences(); | ||
| - prefs.definitionPathProperty().setValue( path.toFile() ); | ||
| - prefs.save(); | ||
| - | ||
| - final var tooltipPath = new Tooltip( path.toString() ); | ||
| - tooltipPath.setShowDelay( Duration.millis( 200 ) ); | ||
| - | ||
| - final var pane = getDefinitionPane(); | ||
| - pane.update( ds ); | ||
| - pane.addTreeChangeHandler( mTreeHandler ); | ||
| - pane.addKeyEventHandler( mDefinitionKeyHandler ); | ||
| - pane.filenameProperty().setValue( path.getFileName().toString() ); | ||
| - pane.setTooltip( tooltipPath ); | ||
| - | ||
| - interpolateResolvedMap(); | ||
| - } catch( final Exception ex ) { | ||
| - error( ex ); | ||
| - } | ||
| - } | ||
| - | ||
| - private void exportDefinitions( final Path path ) { | ||
| - try { | ||
| - final DefinitionPane pane = getDefinitionPane(); | ||
| - final TreeItem<String> root = pane.getTreeView().getRoot(); | ||
| - final TreeItem<String> problemChild = pane.isTreeWellFormed(); | ||
| - | ||
| - if( problemChild == null ) { | ||
| - getDefinitionSource().getTreeAdapter().export( root, path ); | ||
| - getNotifier().clear(); | ||
| - } | ||
| - else { | ||
| - final String msg = get( | ||
| - "yaml.error.tree.form", problemChild.getValue() ); | ||
| - error( msg ); | ||
| - } | ||
| - } catch( final Exception ex ) { | ||
| - error( ex ); | ||
| - } | ||
| - } | ||
| - | ||
| - private void interpolateResolvedMap() { | ||
| - final Map<String, String> treeMap = getDefinitionPane().toMap(); | ||
| - final Map<String, String> map = new HashMap<>( treeMap ); | ||
| - MapInterpolator.interpolate( map ); | ||
| - | ||
| - getResolvedMap().clear(); | ||
| - getResolvedMap().putAll( map ); | ||
| - } | ||
| - | ||
| - private void initDefinitionPane() { | ||
| - openDefinitions( getDefinitionPath() ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Called when an exception occurs that warrants the user's attention. | ||
| - * | ||
| - * @param ex The exception with a message that the user should know about. | ||
| - */ | ||
| - private void error( final Exception ex ) { | ||
| - getNotifier().notify( ex ); | ||
| - } | ||
| - | ||
| - private void error( final String msg ) { | ||
| - getNotifier().notify( msg ); | ||
| - } | ||
| - | ||
| - //---- File actions ------------------------------------------------------- | ||
| - | ||
| - /** | ||
| - * Called when an {@link Observable} instance has changed. This is called | ||
| - * by both the {@link Snitch} service and the notify service. The @link | ||
| - * Snitch} service can be called for different file types, including | ||
| - * {@link DefinitionSource} instances. | ||
| - * | ||
| - * @param observable The observed instance. | ||
| - * @param value The noteworthy item. | ||
| - */ | ||
| - @Override | ||
| - public void update( final Observable observable, final Object value ) { | ||
| - if( value != null ) { | ||
| - if( observable instanceof Snitch && value instanceof Path ) { | ||
| - updateSelectedTab(); | ||
| - } | ||
| - else if( observable instanceof Notifier && value instanceof String ) { | ||
| - updateStatusBar( (String) value ); | ||
| - } | ||
| - } | ||
| - } | ||
| - | ||
| - /** | ||
| - * Updates the status bar to show the given message. | ||
| - * | ||
| - * @param s The message to show in the status bar. | ||
| - */ | ||
| - private void updateStatusBar( final String s ) { | ||
| - runLater( | ||
| - () -> { | ||
| - final int index = s.indexOf( '\n' ); | ||
| - final String message = s.substring( | ||
| - 0, index > 0 ? index : s.length() ); | ||
| - | ||
| - getStatusBar().setText( message ); | ||
| - } | ||
| - ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Called when a file has been modified. | ||
| - */ | ||
| - private void updateSelectedTab() { | ||
| - rerender(); | ||
| - } | ||
| - | ||
| - /** | ||
| - * After resetting the processors, they will refresh anew to be up-to-date | ||
| - * with the files (text and definition) currently loaded into the editor. | ||
| - */ | ||
| - private void resetProcessors() { | ||
| - getProcessors().clear(); | ||
| - } | ||
| - | ||
| - //---- File actions ------------------------------------------------------- | ||
| - | ||
| - private void fileNew() { | ||
| - getFileEditorPane().newEditor(); | ||
| - } | ||
| - | ||
| - private void fileOpen() { | ||
| - getFileEditorPane().openFileDialog(); | ||
| - } | ||
| - | ||
| - private void fileClose() { | ||
| - getFileEditorPane().closeEditor( getActiveFileEditorTab(), true ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * TODO: Upon closing, first remove the tab change listeners. (There's no | ||
| - * need to re-render each tab when all are being closed.) | ||
| - */ | ||
| - private void fileCloseAll() { | ||
| - getFileEditorPane().closeAllEditors(); | ||
| - } | ||
| - | ||
| - private void fileSave() { | ||
| - getFileEditorPane().saveEditor( getActiveFileEditorTab() ); | ||
| - } | ||
| - | ||
| - private void fileSaveAs() { | ||
| - final FileEditorTab editor = getActiveFileEditorTab(); | ||
| - getFileEditorPane().saveEditorAs( editor ); | ||
| - getProcessors().remove( editor ); | ||
| - | ||
| - try { | ||
| - process( editor ); | ||
| - } catch( final Exception ex ) { | ||
| - error( ex ); | ||
| - } | ||
| - } | ||
| - | ||
| - private void fileSaveAll() { | ||
| - getFileEditorPane().saveAllEditors(); | ||
| - } | ||
| - | ||
| - private void fileExit() { | ||
| - final Window window = getWindow(); | ||
| - fireEvent( window, new WindowEvent( window, WINDOW_CLOSE_REQUEST ) ); | ||
| - } | ||
| - | ||
| - //---- Edit actions ------------------------------------------------------- | ||
| - | ||
| - /** | ||
| - * Transform the Markdown into HTML then copy that HTML into the copy | ||
| - * buffer. | ||
| - */ | ||
| - private void copyHtml() { | ||
| - final var markdown = getActiveEditorPane().getText(); | ||
| - final var processors = createProcessorFactory().createProcessors( | ||
| - getActiveFileEditorTab() | ||
| - ); | ||
| - | ||
| - final var chain = processors.remove( HtmlPreviewProcessor.class ); | ||
| - | ||
| - final String html = processChain( chain, markdown ); | ||
| - | ||
| - final Clipboard clipboard = Clipboard.getSystemClipboard(); | ||
| - final ClipboardContent content = new ClipboardContent(); | ||
| - content.putString( html ); | ||
| - clipboard.setContent( content ); | ||
| - } | ||
| - | ||
| - /** | ||
| - * Used to find text in the active file editor window. | ||
| - */ | ||
| - private void editFind() { | ||
| - final TextField input = getFindTextField(); | ||
| - getStatusBar().setGraphic( input ); | ||
| - input.requestFocus(); | ||
| - } | ||
| - | ||
| - public void editFindNext() { | ||
| - getActiveFileEditorTab().searchNext( getFindTextField().getText() ); | ||
| - } | ||
| - | ||
| - public void editPreferences() { | ||
| - getUserPreferences().show(); | ||
| - } | ||
| - | ||
| - //---- Insert actions ----------------------------------------------------- | ||
| - | ||
| - /** | ||
| - * Delegates to the active editor to handle wrapping the current text | ||
| - * selection with leading and trailing strings. | ||
| - * | ||
| - * @param leading The string to put before the selection. | ||
| - * @param trailing The string to put after the selection. | ||
| - */ | ||
| - private void insertMarkdown( | ||
| - final String leading, final String trailing ) { | ||
| - getActiveEditorPane().surroundSelection( leading, trailing ); | ||
| - } | ||
| - | ||
| - private void insertMarkdown( | ||
| - final String leading, final String trailing, final String hint ) { | ||
| - getActiveEditorPane().surroundSelection( leading, trailing, hint ); | ||
| - } | ||
| - | ||
| - //---- View actions ------------------------------------------------------- | ||
| - | ||
| - private void viewRefresh() { | ||
| - rerender(); | ||
| - } | ||
| - | ||
| - //---- Help actions ------------------------------------------------------- | ||
| - | ||
| - private void helpAbout() { | ||
| - final Alert alert = new Alert( AlertType.INFORMATION ); | ||
| - alert.setTitle( get( "Dialog.about.title" ) ); | ||
| - alert.setHeaderText( get( "Dialog.about.header" ) ); | ||
| - alert.setContentText( get( "Dialog.about.content" ) ); | ||
| - alert.setGraphic( new ImageView( new Image( FILE_LOGO_32 ) ) ); | ||
| - alert.initOwner( getWindow() ); | ||
| - | ||
| - alert.showAndWait(); | ||
| - } | ||
| - | ||
| - //---- Member creators ---------------------------------------------------- | ||
| - | ||
| - private SpellChecker createSpellChecker() { | ||
| - try { | ||
| - final Collection<String> lexicon = readLexicon( "en.txt" ); | ||
| - return SymSpellSpeller.forLexicon( lexicon ); | ||
| - } catch( final Exception ex ) { | ||
| - error( ex ); | ||
| - return new PermissiveSpeller(); | ||
| - } | ||
| - } | ||
| - | ||
| - /** | ||
| - * Factory to create processors that are suited to different file types. | ||
| - * | ||
| - * @param tab The tab that is subjected to processing. | ||
| - * @return A processor suited to the file type specified by the tab's path. | ||
| - */ | ||
| - private Processor<String> createProcessors( final FileEditorTab tab ) { | ||
| - return createProcessorFactory().createProcessors( tab ); | ||
| - } | ||
| - | ||
| - private ProcessorFactory createProcessorFactory() { | ||
| - return new ProcessorFactory( getPreviewPane(), getResolvedMap() ); | ||
| - } | ||
| - | ||
| - private HTMLPreviewPane createHTMLPreviewPane() { | ||
| - return new HTMLPreviewPane(); | ||
| - } | ||
| - | ||
| - private DefinitionSource createDefaultDefinitionSource() { | ||
| - return new YamlDefinitionSource( getDefinitionPath() ); | ||
| - } | ||
| - | ||
| - private DefinitionSource createDefinitionSource( final Path path ) { | ||
| - try { | ||
| - return createDefinitionFactory().createDefinitionSource( path ); | ||
| - } catch( final Exception ex ) { | ||
| - error( ex ); | ||
| - return createDefaultDefinitionSource(); | ||
| - } | ||
| - } | ||
| - | ||
| - private TextField createFindTextField() { | ||
| - return new TextField(); | ||
| - } | ||
| - | ||
| - private DefinitionFactory createDefinitionFactory() { | ||
| - return new DefinitionFactory(); | ||
| - } | ||
| - | ||
| - private StatusBar createStatusBar() { | ||
| - return new StatusBar(); | ||
| - } | ||
| - | ||
| - private Scene createScene() { | ||
| - final SplitPane splitPane = new SplitPane( | ||
| - getDefinitionPane().getNode(), | ||
| - getFileEditorPane().getNode(), | ||
| - getPreviewPane().getNode() ); | ||
| + final var scene = getScene(); | ||
| + | ||
| + scene.getStylesheets().add( STYLESHEET_SCENE ); | ||
| + scene.windowProperty().addListener( | ||
| + ( unused, oldWindow, newWindow ) -> | ||
| + newWindow.setOnCloseRequest( | ||
| + e -> { | ||
| + if( !getFileEditorPane().closeAllEditors() ) { | ||
| + e.consume(); | ||
| + } | ||
| + } | ||
| + ) | ||
| + ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Initialize the find input text field to listen on F3, ENTER, and | ||
| + * ESCAPE key presses. | ||
| + */ | ||
| + private void initFindInput() { | ||
| + final TextField input = getFindTextField(); | ||
| + | ||
| + input.setOnKeyPressed( ( KeyEvent event ) -> { | ||
| + switch( event.getCode() ) { | ||
| + case F3: | ||
| + case ENTER: | ||
| + editFindNext(); | ||
| + break; | ||
| + case F: | ||
| + if( !event.isControlDown() ) { | ||
| + break; | ||
| + } | ||
| + case ESCAPE: | ||
| + getStatusBar().setGraphic( null ); | ||
| + getActiveFileEditorTab().getEditorPane().requestFocus(); | ||
| + break; | ||
| + } | ||
| + } ); | ||
| + | ||
| + // Remove when the input field loses focus. | ||
| + input.focusedProperty().addListener( | ||
| + ( focused, oldFocus, newFocus ) -> { | ||
| + if( !newFocus ) { | ||
| + getStatusBar().setGraphic( null ); | ||
| + } | ||
| + } | ||
| + ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Watch for changes to external files. In particular, this awaits | ||
| + * modifications to any XSL files associated with XML files being edited. | ||
| + * When | ||
| + * an XSL file is modified (external to the application), the snitch's ears | ||
| + * perk up and the file is reloaded. This keeps the XSL transformation up to | ||
| + * date with what's on the file system. | ||
| + */ | ||
| + private void initSnitch() { | ||
| + SNITCH.addObserver( this ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Listen for {@link FileEditorTabPane} to receive open definition file | ||
| + * event. | ||
| + */ | ||
| + private void initDefinitionListener() { | ||
| + getFileEditorPane().onOpenDefinitionFileProperty().addListener( | ||
| + ( final ObservableValue<? extends Path> file, | ||
| + final Path oldPath, final Path newPath ) -> { | ||
| + openDefinitions( newPath ); | ||
| + rerender(); | ||
| + } | ||
| + ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Re-instantiates all processors then re-renders the active tab. This | ||
| + * will refresh the resolved map, force R to re-initialize, and brute-force | ||
| + * XSLT file reloads. | ||
| + */ | ||
| + private void rerender() { | ||
| + runLater( | ||
| + () -> { | ||
| + resetProcessors(); | ||
| + renderActiveTab(); | ||
| + } | ||
| + ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * When tabs are added, hook the various change listeners onto the new | ||
| + * tab sothat the preview pane refreshes as necessary. | ||
| + */ | ||
| + private void initTabAddedListener() { | ||
| + final FileEditorTabPane editorPane = getFileEditorPane(); | ||
| + | ||
| + // Make sure the text processor kicks off when new files are opened. | ||
| + final ObservableList<Tab> tabs = editorPane.getTabs(); | ||
| + | ||
| + // Update the preview pane on tab changes. | ||
| + tabs.addListener( | ||
| + ( final Change<? extends Tab> change ) -> { | ||
| + while( change.next() ) { | ||
| + if( change.wasAdded() ) { | ||
| + // Multiple tabs can be added simultaneously. | ||
| + for( final Tab newTab : change.getAddedSubList() ) { | ||
| + final FileEditorTab tab = (FileEditorTab) newTab; | ||
| + | ||
| + initTextChangeListener( tab ); | ||
| + initTabKeyEventListener( tab ); | ||
| + initScrollEventListener( tab ); | ||
| + initSpellCheckListener( tab ); | ||
| +// initSyntaxListener( tab ); | ||
| + } | ||
| + } | ||
| + } | ||
| + } | ||
| + ); | ||
| + } | ||
| + | ||
| + private void initTextChangeListener( final FileEditorTab tab ) { | ||
| + tab.addTextChangeListener( | ||
| + ( editor, oldValue, newValue ) -> { | ||
| + process( tab ); | ||
| + scrollToParagraph( getCurrentParagraphIndex() ); | ||
| + } | ||
| + ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Ensure that the keyboard events are received when a new tab is added | ||
| + * to the user interface. | ||
| + * | ||
| + * @param tab The tab editor that can trigger keyboard events. | ||
| + */ | ||
| + private void initTabKeyEventListener( final FileEditorTab tab ) { | ||
| + tab.addEventFilter( KeyEvent.KEY_PRESSED, mTabKeyHandler ); | ||
| + } | ||
| + | ||
| + private void initScrollEventListener( final FileEditorTab tab ) { | ||
| + final var scrollPane = tab.getScrollPane(); | ||
| + final var scrollBar = getPreviewPane().getVerticalScrollBar(); | ||
| + | ||
| + addShowListener( scrollPane, ( __ ) -> { | ||
| + final var handler = new ScrollEventHandler( scrollPane, scrollBar ); | ||
| + handler.enabledProperty().bind( tab.selectedProperty() ); | ||
| + } ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Listen for changes to the any particular paragraph and perform a quick | ||
| + * spell check upon it. The style classes in the editor will be changed to | ||
| + * mark any spelling mistakes in the paragraph. The user may then interact | ||
| + * with any misspelled word (i.e., any piece of text that is marked) to | ||
| + * revise the spelling. | ||
| + * | ||
| + * @param tab The tab to spellcheck. | ||
| + */ | ||
| + private void initSpellCheckListener( final FileEditorTab tab ) { | ||
| + final var editor = tab.getEditorPane().getEditor(); | ||
| + | ||
| + // When the editor first appears, run a full spell check. This allows | ||
| + // spell checking while typing to be restricted to the active paragraph, | ||
| + // which is usually substantially smaller than the whole document. | ||
| + addShowListener( | ||
| + editor, ( __ ) -> spellcheck( editor, editor.getText() ) | ||
| + ); | ||
| + | ||
| + // Use the plain text changes so that notifications of style changes | ||
| + // are suppressed. Checking against the identity ensures that only | ||
| + // new text additions or deletions trigger proofreading. | ||
| + editor.plainTextChanges() | ||
| + .filter( p -> !p.isIdentity() ).subscribe( change -> { | ||
| + | ||
| + // Only perform a spell check on the current paragraph. The | ||
| + // entire document is processed once, when opened. | ||
| + final var offset = change.getPosition(); | ||
| + final var position = editor.offsetToPosition( offset, Forward ); | ||
| + final var paraId = position.getMajor(); | ||
| + final var paragraph = editor.getParagraph( paraId ); | ||
| + final var text = paragraph.getText(); | ||
| + | ||
| + // Ensure that styles aren't doubled-up. | ||
| + editor.clearStyle( paraId ); | ||
| + | ||
| + spellcheck( editor, text, paraId ); | ||
| + } ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Listen for new tab selection events. | ||
| + */ | ||
| + private void initTabChangedListener() { | ||
| + final FileEditorTabPane editorPane = getFileEditorPane(); | ||
| + | ||
| + // Update the preview pane changing tabs. | ||
| + editorPane.addTabSelectionListener( | ||
| + ( tabPane, oldTab, newTab ) -> { | ||
| + if( newTab == null ) { | ||
| + // Clear the preview pane when closing an editor. When the last | ||
| + // tab is closed, this ensures that the preview pane is empty. | ||
| + getPreviewPane().clear(); | ||
| + } | ||
| + else { | ||
| + final var tab = (FileEditorTab) newTab; | ||
| + updateVariableNameInjector( tab ); | ||
| + process( tab ); | ||
| + } | ||
| + } | ||
| + ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Reloads the preferences from the previous session. | ||
| + */ | ||
| + private void initPreferences() { | ||
| + initDefinitionPane(); | ||
| + getFileEditorPane().initPreferences(); | ||
| + getUserPreferences().addSaveEventHandler( mRPreferencesListener ); | ||
| + } | ||
| + | ||
| + private void initVariableNameInjector() { | ||
| + updateVariableNameInjector( getActiveFileEditorTab() ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Calls the listener when the given node is shown for the first time. The | ||
| + * visible property is not the same as the initial showing event; visibility | ||
| + * can be triggered numerous times (such as going off screen). | ||
| + * <p> | ||
| + * This is called, for example, before the drag handler can be attached, | ||
| + * because the scrollbar for the text editor pane must be visible. | ||
| + * </p> | ||
| + * | ||
| + * @param node The node to watch for showing. | ||
| + * @param consumer The consumer to invoke when the event fires. | ||
| + */ | ||
| + private void addShowListener( | ||
| + final Node node, final Consumer<Void> consumer ) { | ||
| + final ChangeListener<? super Boolean> listener = ( o, oldShow, newShow ) -> | ||
| + runLater( () -> { | ||
| + if( newShow ) { | ||
| + try { | ||
| + consumer.accept( null ); | ||
| + } catch( final Exception ex ) { | ||
| + error( ex ); | ||
| + } | ||
| + } | ||
| + } ); | ||
| + | ||
| + Val.flatMap( node.sceneProperty(), Scene::windowProperty ) | ||
| + .flatMap( Window::showingProperty ) | ||
| + .addListener( listener ); | ||
| + } | ||
| + | ||
| + private void scrollToParagraph( final int id ) { | ||
| + scrollToParagraph( id, false ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * @param id The paragraph to scroll to, will be approximated if it doesn't | ||
| + * exist. | ||
| + * @param force {@code true} means to force scrolling immediately, which | ||
| + * should only be attempted when it is known that the document | ||
| + * has been fully rendered. Otherwise the internal map of ID | ||
| + * attributes will be incomplete and scrolling will flounder. | ||
| + */ | ||
| + private void scrollToParagraph( final int id, final boolean force ) { | ||
| + synchronized( mMutex ) { | ||
| + final var previewPane = getPreviewPane(); | ||
| + final var scrollPane = previewPane.getScrollPane(); | ||
| + final int approxId = getActiveEditorPane().approximateParagraphId( id ); | ||
| + | ||
| + if( force ) { | ||
| + previewPane.scrollTo( approxId ); | ||
| + } | ||
| + else { | ||
| + previewPane.tryScrollTo( approxId ); | ||
| + } | ||
| + | ||
| + scrollPane.repaint(); | ||
| + } | ||
| + } | ||
| + | ||
| + private void updateVariableNameInjector( final FileEditorTab tab ) { | ||
| + getVariableNameInjector().addListener( tab ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Called whenever the preview pane becomes out of sync with the file editor | ||
| + * tab. This can be called when the text changes, the caret paragraph | ||
| + * changes, or the file tab changes. | ||
| + * | ||
| + * @param tab The file editor tab that has been changed in some fashion. | ||
| + */ | ||
| + private void process( final FileEditorTab tab ) { | ||
| + if( tab != null ) { | ||
| + getPreviewPane().setPath( tab.getPath() ); | ||
| + | ||
| + final Processor<String> processor = getProcessors().computeIfAbsent( | ||
| + tab, p -> createProcessors( tab ) | ||
| + ); | ||
| + | ||
| + try { | ||
| + processChain( processor, tab.getEditorText() ); | ||
| + } catch( final Exception ex ) { | ||
| + error( ex ); | ||
| + } | ||
| + } | ||
| + } | ||
| + | ||
| + /** | ||
| + * Executes the processing chain, operating on the given string. | ||
| + * | ||
| + * @param handler The first processor in the chain to call. | ||
| + * @param text The initial value of the text to process. | ||
| + * @return The final value of the text that was processed by the chain. | ||
| + */ | ||
| + private String processChain( Processor<String> handler, String text ) { | ||
| + while( handler != null && text != null ) { | ||
| + text = handler.process( text ); | ||
| + handler = handler.next(); | ||
| + } | ||
| + | ||
| + return text; | ||
| + } | ||
| + | ||
| + private void renderActiveTab() { | ||
| + process( getActiveFileEditorTab() ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Called when a definition source is opened. | ||
| + * | ||
| + * @param path Path to the definition source that was opened. | ||
| + */ | ||
| + private void openDefinitions( final Path path ) { | ||
| + try { | ||
| + final var ds = createDefinitionSource( path ); | ||
| + setDefinitionSource( ds ); | ||
| + | ||
| + final var prefs = getUserPreferences(); | ||
| + prefs.definitionPathProperty().setValue( path.toFile() ); | ||
| + prefs.save(); | ||
| + | ||
| + final var tooltipPath = new Tooltip( path.toString() ); | ||
| + tooltipPath.setShowDelay( Duration.millis( 200 ) ); | ||
| + | ||
| + final var pane = getDefinitionPane(); | ||
| + pane.update( ds ); | ||
| + pane.addTreeChangeHandler( mTreeHandler ); | ||
| + pane.addKeyEventHandler( mDefinitionKeyHandler ); | ||
| + pane.filenameProperty().setValue( path.getFileName().toString() ); | ||
| + pane.setTooltip( tooltipPath ); | ||
| + | ||
| + interpolateResolvedMap(); | ||
| + } catch( final Exception ex ) { | ||
| + error( ex ); | ||
| + } | ||
| + } | ||
| + | ||
| + private void exportDefinitions( final Path path ) { | ||
| + try { | ||
| + final DefinitionPane pane = getDefinitionPane(); | ||
| + final TreeItem<String> root = pane.getTreeView().getRoot(); | ||
| + final TreeItem<String> problemChild = pane.isTreeWellFormed(); | ||
| + | ||
| + if( problemChild == null ) { | ||
| + getDefinitionSource().getTreeAdapter().export( root, path ); | ||
| + getNotifier().clear(); | ||
| + } | ||
| + else { | ||
| + final String msg = get( | ||
| + "yaml.error.tree.form", problemChild.getValue() ); | ||
| + error( msg ); | ||
| + } | ||
| + } catch( final Exception ex ) { | ||
| + error( ex ); | ||
| + } | ||
| + } | ||
| + | ||
| + private void interpolateResolvedMap() { | ||
| + final Map<String, String> treeMap = getDefinitionPane().toMap(); | ||
| + final Map<String, String> map = new HashMap<>( treeMap ); | ||
| + MapInterpolator.interpolate( map ); | ||
| + | ||
| + getResolvedMap().clear(); | ||
| + getResolvedMap().putAll( map ); | ||
| + } | ||
| + | ||
| + private void initDefinitionPane() { | ||
| + openDefinitions( getDefinitionPath() ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Called when an exception occurs that warrants the user's attention. | ||
| + * | ||
| + * @param ex The exception with a message that the user should know about. | ||
| + */ | ||
| + private void error( final Exception ex ) { | ||
| + getNotifier().notify( ex ); | ||
| + } | ||
| + | ||
| + private void error( final String msg ) { | ||
| + getNotifier().notify( msg ); | ||
| + } | ||
| + | ||
| + //---- File actions ------------------------------------------------------- | ||
| + | ||
| + /** | ||
| + * Called when an {@link Observable} instance has changed. This is called | ||
| + * by both the {@link Snitch} service and the notify service. The @link | ||
| + * Snitch} service can be called for different file types, including | ||
| + * {@link DefinitionSource} instances. | ||
| + * | ||
| + * @param observable The observed instance. | ||
| + * @param value The noteworthy item. | ||
| + */ | ||
| + @Override | ||
| + public void update( final Observable observable, final Object value ) { | ||
| + if( value != null ) { | ||
| + if( observable instanceof Snitch && value instanceof Path ) { | ||
| + updateSelectedTab(); | ||
| + } | ||
| + else if( observable instanceof Notifier && value instanceof String ) { | ||
| + updateStatusBar( (String) value ); | ||
| + } | ||
| + } | ||
| + } | ||
| + | ||
| + /** | ||
| + * Updates the status bar to show the given message. | ||
| + * | ||
| + * @param s The message to show in the status bar. | ||
| + */ | ||
| + private void updateStatusBar( final String s ) { | ||
| + runLater( | ||
| + () -> { | ||
| + final int index = s.indexOf( '\n' ); | ||
| + final String message = s.substring( | ||
| + 0, index > 0 ? index : s.length() ); | ||
| + | ||
| + getStatusBar().setText( message ); | ||
| + } | ||
| + ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Called when a file has been modified. | ||
| + */ | ||
| + private void updateSelectedTab() { | ||
| + rerender(); | ||
| + } | ||
| + | ||
| + /** | ||
| + * After resetting the processors, they will refresh anew to be up-to-date | ||
| + * with the files (text and definition) currently loaded into the editor. | ||
| + */ | ||
| + private void resetProcessors() { | ||
| + getProcessors().clear(); | ||
| + } | ||
| + | ||
| + //---- File actions ------------------------------------------------------- | ||
| + | ||
| + private void fileNew() { | ||
| + getFileEditorPane().newEditor(); | ||
| + } | ||
| + | ||
| + private void fileOpen() { | ||
| + getFileEditorPane().openFileDialog(); | ||
| + } | ||
| + | ||
| + private void fileClose() { | ||
| + getFileEditorPane().closeEditor( getActiveFileEditorTab(), true ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * TODO: Upon closing, first remove the tab change listeners. (There's no | ||
| + * need to re-render each tab when all are being closed.) | ||
| + */ | ||
| + private void fileCloseAll() { | ||
| + getFileEditorPane().closeAllEditors(); | ||
| + } | ||
| + | ||
| + private void fileSave() { | ||
| + getFileEditorPane().saveEditor( getActiveFileEditorTab() ); | ||
| + } | ||
| + | ||
| + private void fileSaveAs() { | ||
| + final FileEditorTab editor = getActiveFileEditorTab(); | ||
| + getFileEditorPane().saveEditorAs( editor ); | ||
| + getProcessors().remove( editor ); | ||
| + | ||
| + try { | ||
| + process( editor ); | ||
| + } catch( final Exception ex ) { | ||
| + error( ex ); | ||
| + } | ||
| + } | ||
| + | ||
| + private void fileSaveAll() { | ||
| + getFileEditorPane().saveAllEditors(); | ||
| + } | ||
| + | ||
| + private void fileExit() { | ||
| + final Window window = getWindow(); | ||
| + fireEvent( window, new WindowEvent( window, WINDOW_CLOSE_REQUEST ) ); | ||
| + } | ||
| + | ||
| + //---- Edit actions ------------------------------------------------------- | ||
| + | ||
| + /** | ||
| + * Transform the Markdown into HTML then copy that HTML into the copy | ||
| + * buffer. | ||
| + */ | ||
| + private void copyHtml() { | ||
| + final var markdown = getActiveEditorPane().getText(); | ||
| + final var processors = createProcessorFactory().createProcessors( | ||
| + getActiveFileEditorTab() | ||
| + ); | ||
| + | ||
| + final var chain = processors.remove( HtmlPreviewProcessor.class ); | ||
| + | ||
| + final String html = processChain( chain, markdown ); | ||
| + | ||
| + final Clipboard clipboard = Clipboard.getSystemClipboard(); | ||
| + final ClipboardContent content = new ClipboardContent(); | ||
| + content.putString( html ); | ||
| + clipboard.setContent( content ); | ||
| + } | ||
| + | ||
| + /** | ||
| + * Used to find text in the active file editor window. | ||
| + */ | ||
| + private void editFind() { | ||
| + final TextField input = getFindTextField(); | ||
| + getStatusBar().setGraphic( input ); | ||
| + input.requestFocus(); | ||
| + } | ||
| + | ||
| + public void editFindNext() { | ||
| + getActiveFileEditorTab().searchNext( getFindTextField().getText() ); | ||
| + } | ||
| + | ||
| + public void editPreferences() { | ||
| + getUserPreferences().show(); | ||
| + } | ||
| + | ||
| + //---- Insert actions ----------------------------------------------------- | ||
| + | ||
| + /** | ||
| + * Delegates to the active editor to handle wrapping the current text | ||
| + * selection with leading and trailing strings. | ||
| + * | ||
| + * @param leading The string to put before the selection. | ||
| + * @param trailing The string to put after the selection. | ||
| + */ | ||
| + private void insertMarkdown( | ||
| + final String leading, final String trailing ) { | ||
| + getActiveEditorPane().surroundSelection( leading, trailing ); | ||
| + } | ||
| + | ||
| + private void insertMarkdown( | ||
| + final String leading, final String trailing, final String hint ) { | ||
| + getActiveEditorPane().surroundSelection( leading, trailing, hint ); | ||
| + } | ||
| + | ||
| + //---- View actions ------------------------------------------------------- | ||
| + | ||
| + private void viewRefresh() { | ||
| + rerender(); | ||
| + } | ||
| + | ||
| + //---- Help actions ------------------------------------------------------- | ||
| + | ||
| + private void helpAbout() { | ||
| + final Alert alert = new Alert( AlertType.INFORMATION ); | ||
| + alert.setTitle( get( "Dialog.about.title" ) ); | ||
| + alert.setHeaderText( get( "Dialog.about.header" ) ); | ||
| + alert.setContentText( get( "Dialog.about.content" ) ); | ||
| + alert.setGraphic( new ImageView( new Image( FILE_LOGO_32 ) ) ); | ||
| + alert.initOwner( getWindow() ); | ||
| + | ||
| + alert.showAndWait(); | ||
| + } | ||
| + | ||
| + //---- Member creators ---------------------------------------------------- | ||
| + | ||
| + private SpellChecker createSpellChecker() { | ||
| + try { | ||
| + final Collection<String> lexicon = readLexicon( "en.txt" ); | ||
| + return SymSpellSpeller.forLexicon( lexicon ); | ||
| + } catch( final Exception ex ) { | ||
| + error( ex ); | ||
| + return new PermissiveSpeller(); | ||
| + } | ||
| + } | ||
| + | ||
| + /** | ||
| + * Factory to create processors that are suited to different file types. | ||
| + * | ||
| + * @param tab The tab that is subjected to processing. | ||
| + * @return A processor suited to the file type specified by the tab's path. | ||
| + */ | ||
| + private Processor<String> createProcessors( final FileEditorTab tab ) { | ||
| + return createProcessorFactory().createProcessors( tab ); | ||
| + } | ||
| + | ||
| + private ProcessorFactory createProcessorFactory() { | ||
| + return new ProcessorFactory( getPreviewPane(), getResolvedMap() ); | ||
| + } | ||
| + | ||
| + private HTMLPreviewPane createHTMLPreviewPane() { | ||
| + return new HTMLPreviewPane(); | ||
| + } | ||
| + | ||
| + private DefinitionSource createDefaultDefinitionSource() { | ||
| + return new YamlDefinitionSource( getDefinitionPath() ); | ||
| + } | ||
| + | ||
| + private DefinitionSource createDefinitionSource( final Path path ) { | ||
| + try { | ||
| + return createDefinitionFactory().createDefinitionSource( path ); | ||
| + } catch( final Exception ex ) { | ||
| + error( ex ); | ||
| + return createDefaultDefinitionSource(); | ||
| + } | ||
| + } | ||
| + | ||
| + private TextField createFindTextField() { | ||
| + return new TextField(); | ||
| + } | ||
| + | ||
| + private DefinitionFactory createDefinitionFactory() { | ||
| + return new DefinitionFactory(); | ||
| + } | ||
| + | ||
| + private StatusBar createStatusBar() { | ||
| + return new StatusBar(); | ||
| + } | ||
| + | ||
| + private Scene createScene() { | ||
| + final SplitPane splitPane = new SplitPane( | ||
| + getDefinitionPane(), | ||
| + getFileEditorPane(), | ||
| + getPreviewPane() ); | ||
| splitPane.setDividerPositions( |