>> This issue is related to the GTK theme settings. Change for GTK to >> Emacs. > > Sorry-- change *from* GTK to Emacs. Thanks for the hint. Any additonal hit of some command line that does that, because I'm not even using any of the GTK menu nor window manager. Harald. PS: twm :-)