| Author | DaveJarvis <email> |
|---|---|
| Date | 2020-09-12 23:23:24 GMT-0700 |
| Commit | 6924ba3717c858be017cdf79dd46355d70d0bbc3 |
| Parent | b9a0a61 |
| Delta | 2 lines added, 11 lines removed, 9-line decrease |
| tab.addTextChangeListener( | ||
| ( __, ov, nv ) -> { | ||
| - //final var editor = tab.getEditorPane().getEditor(); | ||
| - | ||
| - //if( ov.isEmpty() ) { | ||
| - process( tab ); | ||
| - scrollToParagraph( getCurrentParagraphIndex() ); | ||
| - //} | ||
| - | ||
| -// editor.setOnKeyReleased( ( event ) -> { | ||
| -// process( tab ); | ||
| -// scrollToParagraph( getCurrentParagraphIndex() ); | ||
| -// } ); | ||
| + process( tab ); | ||
| + scrollToParagraph( getCurrentParagraphIndex() ); | ||
| } | ||
| ); |