At 09:23 PM 3/7/00 +0100, Jan Vroonhof wrote:
Why does it keep using the "old" background color
"OB".
Because the face the tab uses is not the face of the whole gutter. I wonder
if this would go away if we had a specific gutter face that you could set
(currently defaults to gui-element). If you set gui-element to the same
colors as your tabs, what happens?
andy
--------------------------------------------------------------
Dr Andy Piper
Senior Consultant Architect, BEA Systems Ltd