Am Dienstag, den 07.02.2006, 21:58 +0000 schrieb John Spray: > Attached patch continues work on GTK preferences dialog.
Oops, that patch contained some random extraneous stuff outside of frontends/gtk, please ignore that, only gtk stuff was committed. John
