At 05:34 PM 1/4/00 +0100, Hrvoje Niksic wrote:
I noticed that buffer tabs (aka "gutter") don't inherit
the background
pixmap of the face they're supposed to be using. This makes them look
very ugly for us that use a background pixmap. Here is an example:
I don't think this will ever work, unless the tab widget supports it -
which currently it doesn't AFAIK.
andy
--------------------------------------------------------------
Dr Andy Piper
Senior Consultant Architect, BEA Systems Ltd