Hi Angus,
I tested your patch and didn't find anything to break ;-)
I think it can be applied. The only thing is, of course, that the
display options don't really do anything currently, it's always
displayed in colour mode. But this is probably backend related (if so,
the display options shouldn't have worked in the recent new_graphics
dialog, too. Do you remember if that was the case? I newer tried it).
Attached is your patch again with a few further skinpolishing of the
preferences dialog.
Thanks. Have a nice weekend,
Jürgen
preferences.diff.tar.gz
