GNOME Bugzilla – Bug 119228
Header pane font settings not saving between sessions
Last modified: 2006-06-18 05:04:03 UTC
If I change the font for the header pane and quit pan, the next time i start it up the font is back to the default, even though my preferences are still reflected in the dialog box. Also, the row height does not scale in the header pane, like it does for the group pane. When the font size is reduced, the line height does not shrink appropriately.
Fixed part one in CVS: http://cvs.gnome.org/bonsai/cvsview2.cgi?diff_mode=context&whitespace_mode=show&subdir=pan/pan/base&command=DIFF_FRAMESET&file=pan-config.c&rev1=1.32&rev2=1.33&root=/cvs/gnome
Looks like part two is caused by Pan's explicit setting of the row heights to workaround a gtkclist bug reported in http://bugzilla.gnome.org/show_bug.cgi?id=90524. Since the gtkclist fix has been checked into cvs, it'll be in the next gtk+ release: http://bugzilla.gnome.org/show_bug.cgi?id=118646 So I'm going to take this workaround out.
Fixed in CVS by removing the workaround: http://cvs.gnome.org/bonsai/cvsview2.cgi?diff_mode=context&whitespace_mode=show&subdir=pan/pan&command=DIFF_FRAMESET&file=header-pane-renderer.c&rev1=1.10&rev2=1.11&root=/cvs/gnome http://cvs.gnome.org/bonsai/cvsview2.cgi?diff_mode=context&whitespace_mode=show&subdir=pan&command=DIFF_FRAMESET&file=ChangeLog&rev1=1.1950&rev2=1.1951&root=/cvs/gnome