-
Michael Natterer authored
1999-06-17 Michael Natterer <mitschel@cs.tu-berlin.de> * app/preferences_dialog.c: the tree title doesn't behave like a button anymore. Made the thumbnail option look like the other option menus.
e99df484
1999-06-17 Michael Natterer <mitschel@cs.tu-berlin.de> * app/preferences_dialog.c: the tree title doesn't behave like a button anymore. Made the thumbnail option look like the other option menus.