scrollTextWithLineNumbers

fun JTextPane.scrollTextWithLineNumbers(workbench: AvailWorkbench, guideLines: List<Int> = listOf(80)): JLayer<JScrollPane>

Either places the receiver JTextArea inside a JScrollPane with line numbers presented as row headers, or answers the JScrollPane that it's already inside.

Return

The requested JLayer.

Parameters

workbench

The owning workbench.

guideLines

The list of after how many (character) columns to display a guide line. Defaults to a single guideline at 80.