BTW, how did 1.24 look? I find it odd it changed, but maybe it did as we upgraded to a newer GTK version…
It used a better font for the settings dialogue, but it had a bug in that it ignored the settings of the *editor* font (i.e. the font used to display the text which I'm editing), and the default used was a porportional font, which I don't like when editing programs. That was the main reason why I upgraded to 1.25.
Ronald