On 26 Jan 1999, Lars Clausen wrote:
> Interesting. This only seems to happen with the properties that are
> selected by menus. I noticed a (possibly related) bug in those menus:
> When I have the dialog open, then change to another line with a different
> setting on the menu, the type shown on the menu changes, but the box
> besides the earlier setting remains. gtk_menu_set_active should be
> responsible for doing this properly.
Very strange. I'm sorry i don't have time to check it out further. Try
running it in gdb and get a stack-trace.
/ Alex
