scroll Text With Line Numbers
fun JTextPane.scrollTextWithLineNumbers(workbench: AvailWorkbench, guideLines: List<Int> = listOf(80)): JLayer<JScrollPane>
Content copied to clipboard
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.
guide Lines
The list of after how many (character) columns to display a guide line. Defaults to a single guideline at 80.