Hi List!
After looking at the "User Interface" preferences, some improvements
come to my mind:
a.) The Font button in the "User Interface" page should be removed by a
seperate page "User Interface->Font"
b.) The Color button in the "User Interface" page should be removed by a
seperate page "User Interface->Colors"
c.) The "User Interface->TCP Streams" page should be removed, and the
setting should be "merged" in the "User Interface->Colors"
Any different thoughts on this?
I've started with a.) and found a bug in the GTK implementation of the
GtkFontSelection.
When the GtkFontSelectionDialog is used, everything is ok.
But when the GtkFontSelection is used together with the
gtk_font_selection_set_filter() function,
the placement of the GtkFontSelection widget is wrong. It will be placed
*outside* the parent widget.
I tried a lot of things, but didn't find a way to circumvent this bug.
The only way to prevent this bug, is to not use the
gtk_font_selection_set_filter() function at all.
The gtk_font_selection_set_filter() function is used to reduce the
number of fonts, so the widget will only show fonts with fixed width
when used.
As the gtk_font_selection_set_filter() function is not available in
GTK2, would it be ok to remove it then?
Regards, ULFL