At 11:19 AM 8/1/99 +0200, Adrian Aichner wrote:
>>>>> "Larry" == Larry Ayers
<layers(a)marktwain.net> writes:
Larry> Built from patched source, runs fine. I noticed that the
Larry> gutter patches have been applied, and that there is a new
Larry> menu-item (Options->Gutter Appearance). There is no
Larry> visible gutter, though. Shouldn't there be?
If you built from patched sources you have gutters but not the tab widget
so you won't see anything.
andy
--------------------------------------------------------------
Dr Andy Piper
Senior Consultant Architect, BEA Systems Ltd