package com.scrivenvar.editors;
import com.scrivenvar.AbstractPane;
import java.nio.file.Path;
import java.util.function.Consumer;
import javafx.application.Platform;
import javafx.beans.property.ObjectProperty;
import javafx.beans.property.SimpleObjectProperty;
import javafx.beans.value.ChangeListener;
import javafx.event.Event;
import javafx.scene.control.ScrollPane;
import javafx.scene.input.InputEvent;
import org.fxmisc.flowless.VirtualizedScrollPane;
import org.fxmisc.richtext.StyleClassedTextArea;
import org.fxmisc.undo.UndoManager;
import org.fxmisc.wellbehaved.event.EventPattern;
import org.fxmisc.wellbehaved.event.InputMap;
import static org.fxmisc.wellbehaved.event.InputMap.consume;
import org.fxmisc.wellbehaved.event.Nodes;
public class EditorPane extends AbstractPane {
private StyleClassedTextArea editor;
private VirtualizedScrollPane<StyleClassedTextArea> scrollPane;
private final ObjectProperty<Path> path = new SimpleObjectProperty<>();
private InputMap<InputEvent> nodeMap;
@Override
public void requestFocus() {
Platform.runLater( () -> getEditor().requestFocus() );
}
public void undo() {
getUndoManager().undo();
}
public void redo() {
getUndoManager().redo();
}
public void replace() {
}
public void findPrevious() {
}
public UndoManager getUndoManager() {
return getEditor().getUndoManager();
}
public String getText() {
return getEditor().getText();
}
public void setText( final String text ) {
getEditor().deselect();
getEditor().replaceText( text );
getUndoManager().mark();
}
public void addTextChangeListener( final ChangeListener<? super String> listener ) {
getEditor().textProperty().addListener( listener );
}
public void addCaretParagraphListener(
final ChangeListener<? super Integer> listener ) {
getEditor().currentParagraphProperty().addListener( listener );
}
public <T extends Event, U extends T> void addEventListener(
final EventPattern<? super T, ? extends U> event,
final Consumer<? super U> consumer ) {
Nodes.addInputMap( getEditor(), consume( event, consumer ) );
}
@SuppressWarnings( "unchecked" )
public void addEventListener( final InputMap<InputEvent> map ) {
this.nodeMap = (InputMap<InputEvent>)getInputMap();
Nodes.addInputMap( getEditor(), map );
}
public void removeEventListener( final InputMap<InputEvent> map ) {
Nodes.removeInputMap( getEditor(), map );
Nodes.addInputMap( getEditor(), this.nodeMap );
}
private Object getInputMap() {
return getEditor().getProperties().get( getInputMapKey() );
}
private String getInputMapKey() {
return "org.fxmisc.wellbehaved.event.inputmap";
}
public void scrollToTop() {
getEditor().moveTo( 0 );
}
private void setEditor( StyleClassedTextArea textArea ) {
this.editor = textArea;
}
public synchronized StyleClassedTextArea getEditor() {
if( this.editor == null ) {
setEditor( createTextArea() );
}
return this.editor;
}
public synchronized VirtualizedScrollPane<StyleClassedTextArea> getScrollPane() {
if( this.scrollPane == null ) {
this.scrollPane = createScrollPane();
}
return this.scrollPane;
}
protected VirtualizedScrollPane<StyleClassedTextArea> createScrollPane() {
final VirtualizedScrollPane<StyleClassedTextArea> pane
= new VirtualizedScrollPane<>( getEditor() );
pane.setVbarPolicy( ScrollPane.ScrollBarPolicy.ALWAYS );
return pane;
}
protected StyleClassedTextArea createTextArea() {
return new StyleClassedTextArea( false );
}
public Path getPath() {
return this.path.get();
}
public void setPath( final Path path ) {
this.path.set( path );
}
public ObjectProperty<Path> pathProperty() {
return this.path;
}
}