Re: [ jEdit-devel ] Gutter size

[Slava P. <sl...@je...>]

On Tue, Aug 28, 2001 at 08:15:44PM +0200, Dirk M=F6bius wrote:
> Hi Slava,
>=20
> How can I programmatically increase the gutter size?
>=20
> 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.
>=20
> Dirk.

Why don't you draw circles instead?

Slava