GNOME Bugzilla – Bug 86881
View, Show * Pane options broken
Last modified: 2004-12-22 21:47:04 UTC
Selecting Show Group Pane, Show Header Pane or Show Body Pane from the View menu does not produce any immediate effect. Switching to tabbed view and back again causes changes to take effect, but only the Group Pane can be removed. Various combinations of the 3 panes enabled can enable of disable the Group Pane, but the same combination does not always have the same effect on the Group Pane and I have not yet identified any pattern in it.
Can't reproduce this w/ Pan 0.12.0 on RH7.2 myself, but I'll have a closer look. If you work out a pattern, or have more information (console messages?), let me know.
I can reproduce it... I'll look into it.
Fixed in CVS HEAD: http://cvs.gnome.org/bonsai/cvsview2.cgi?diff_mode=context&whitespace_mode=show&subdir=pan/pan&command=DIFF_FRAMESET&file=gui.c&rev1=1.510&rev2=1.511&root=/cvs/gnome and in pan-0-12-fix (for 0.12.2): http://cvs.gnome.org/bonsai/cvsview2.cgi?diff_mode=context&whitespace_mode=show&subdir=pan/pan&command=DIFF_FRAMESET&file=gui.c&rev1=1.494.2.2&rev2=1.494.2.3&root=/cvs/gnome