> * 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?