Fixed line highlighter not adjusting to area's width changes#857
Merged
Jugen merged 1 commit intoFXMisc:masterfrom Oct 16, 2019
Jugen:line_highlighter_width_fix
Merged
Fixed line highlighter not adjusting to area's width changes#857Jugen merged 1 commit intoFXMisc:masterfrom Jugen:line_highlighter_width_fix
Jugen merged 1 commit intoFXMisc:masterfrom
Jugen:line_highlighter_width_fix
Commits
Commits on Oct 16, 2019
- committed
Jurgen