[ jEdit-users ] Console: maximum number of lines

[<an...@go...>]

Hi,
is it possible to have an option to limit number of lines in console?  =

Wasn't the first time today when jEdit was responding really slowly till=
 I  =

realised the console was full. Better after clearing.
But feature of unlimited number of lines is sometimes good as well... So=
  =

maybe if there was a checkbox or limit=3D0 meaning disabled limiting?
Thanks