Re: [ jEdit-devel ] feature request for console (line separators)

[Randall R S. <rrs...@cr...>]

Stefan,

Disabling wrapping might be nice,but some plug-ins might require 
modification to impose some line breaking of their own. Consider AntFarm, 
which prints a list of targets in the "build.xml" file. If the console 
didn't wrap, the plug-in would have to, or there'd be one huge line and the 
scroll thumb ratio might get too high.

I wouldn't want to have to see per-line separators. Why would they be 
helpful there if they're not used generally when reading text?

Randall Schulz


At 01:51 2003-01-21, Stefan Kost wrote:
>Hi slava,
>
>would it be possible to have one-pixel gray lines between real newlines
>in console output. This would be handy for reading make output as one
>could easier separate command invokations.
>On the other hand having an option for not doing line wrapping would be
>okay as well (plus having a horizontal scrollbar then).
>What do you think.
>
>Stefan