Re: MDI annoyance

["Evan Martin" <eeyem u washington edu>]

On Sat, May 26, 2001 at 05:25:58PM +1000, Dale Wright wrote:
> Anyone worked with GnomeMDI and managed to get rid of the focus square
> around the label on the tab when you change tabs? It's annoying the heck
> out of me.

If you somehow managed to disable this functionality, your program would
become inconsistent from every other GNOME program which didn't do it.

Visual aspects of your program are best left for your user to decide,
and modified only at the system level.
Try editing your GTK theme?

-- 
Evan Martin - martine speakeasy org
 http://www.speakeasy.org/~martine