GNOME Bugzilla – Bug 777711
"Header Pane" dropped from View menu
Last modified: 2017-03-13 19:50:26 UTC
Between 0.139 and 0.140, the Header Pane submenu was dropped from the View menu; this includes, among other options, the score filtering checkboxes.
Thanks for taking the time to report this. That menu entry is still there, as of 0.141, placed in between the Group Pane and Body Pane menu entries. Can you try the latest version? Are you self-compiling Pan or using a distro package?
Created attachment 344182 [details] screenshot of View menu The menu entry does not appear for me. I'm using Arch and compiled 0.139, 0.140, and 0.141 from source with no options provided to configure.
I meant to include also that I can't access it by using the up/down arrow keys to navigate to where it should be or by using the accelerator key.
OK, can confirm this issue is present when you don't compile in support for gnutls. Not sure yet how that is related. Running configure --with-gnutls will re-add the menu entry.
Thanks for investigating. As I mentioned, it appears to have been introduced between 0.139 and 0.140.
commit a76d293d95d10cbe2bc927378e8d6c0a2eea7027 Author: Detlef Graef Date: Fri Mar 10 18:20:57 2017 +0100 fix bug #777711 Header Pane menu not shown when build without option --with-gnutls