Open GoogleCodeExporter opened 9 years ago
I should add about (3) that just moving the cursor doesn't make it go back to
normal view. Editing the document (pressing Enter or other key) does.
Original comment by eliben
on 4 Jun 2011 at 7:21
I think the problem is that setPreferredWidth() isn't called in
LineNumbersRuler.install(), but only in LineNumbersRuler().documentChanged()
Adding a call to setPreferredWidth() in LineNumbersRuler.install(), right
before the call to repaint(), fixes the problem.
Original comment by eliben
on 4 Jun 2011 at 7:27
Original issue reported on code.google.com by
eliben
on 4 Jun 2011 at 6:15