[ jEdit-devel ] Gutter size

[<dmo...@gm...>]

Hi Slava,

How can I programmatically increase the gutter size=3F

The Debugger plugin needs more space to display breakpoints (small red
circles). I don't want to use different background colors, since they
may overwrite or be hidden by markers.

Dirk.