display line numbers in gutter
Submitted by Saturday, 17 November, 2007 - 13:41
on
Hi!
I'm trying to set (programmatically) jEdit to display the line numbers at startup (These only appear if one presses Ctrl+E+T, jEdit doesn't seem to remember whether showing line numbers was turned on or off last time).
I think I have to tinker with the class Gutter.java from package org.gjt.sp.jedit.textarea
The method Gutter.setExpanded( true ); (I've put it in different locations) doesn't seem to work.
Does anybody have any idea what I'm doing wrong?
I'm trying to set (programmatically) jEdit to display the line numbers at startup (These only appear if one presses Ctrl+E+T, jEdit doesn't seem to remember whether showing line numbers was turned on or off last time).
I think I have to tinker with the class Gutter.java from package org.gjt.sp.jedit.textarea
The method Gutter.setExpanded( true ); (I've put it in different locations) doesn't seem to work.
Does anybody have any idea what I'm doing wrong?