Text area with highlighting for JavaFX