[MonoDevelop] Quick finder

[Lluis Sanchez Gual]

El dj 03 de 12 de 2009 a les 10:32 -0500, en/na Levi Bard va escriure:
> >      * Drop downs in gtk only have one arrow (not two), pointing down.
> >      * The mouse over color is darker than the normal color, while in
> >        all other controls it is lighter.
> 
> Aren't these ones theme-dependent?

Yes, but in my current theme the highlight color is lighter than the
normal color in all widgets but this drop down. So looks like some theme
colors are not being properly used.