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 final StyleClassedTextArea mEditor =
new StyleClassedTextArea( false );
private final VirtualizedScrollPane<StyleClassedTextArea> mScrollPane =
new VirtualizedScrollPane<>( mEditor );
private final ObjectProperty<Path> mPath = new SimpleObjectProperty<>();
private InputMap<InputEvent> mNodeMap;
public EditorPane() {
getScrollPane().setVbarPolicy( ScrollPane.ScrollBarPolicy.ALWAYS );
}
@Override
public void requestFocus() {
Platform.runLater( () -> getEditor().requestFocus() );
}
public void undo() {
getUndoManager().undo();
}
public void redo() {
getUndoManager().redo();
}
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 addKeyboardListener(
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 ) {
mNodeMap = (InputMap<InputEvent>) getInputMap();
Nodes.addInputMap( getEditor(), map );
}
public void removeEventListener( final InputMap<InputEvent> map ) {
Nodes.removeInputMap( getEditor(), map );
Nodes.addInputMap( getEditor(), mNodeMap );
}
private Object getInputMap() {
return getEditor().getProperties().get( getInputMapKey() );
}
private String getInputMapKey() {
return "org.fxmisc.wellbehaved.event.inputmap";
}
public void scrollToTop() {
getEditor().moveTo( 0 );
getScrollPane().scrollYToPixel( 0 );
}
public StyleClassedTextArea getEditor() {
return mEditor;
}
public VirtualizedScrollPane<StyleClassedTextArea> getScrollPane() {
return mScrollPane;
}
public Path getPath() {
return mPath.get();
}
public void setPath( final Path path ) {
mPath.set( path );
}
}