Hello, I think I came across a bug, but I don't know at all if it is related to the latest version or older since I have never used the function to hide the headers until now. Details : - I launch pan - I select any post - I click on the arrow to hide the headers in the body panel of the message - I close pan to update the preferences that have changed: -<flag name='body-pane-headers-expanded' value='true'/> +<flag name='body-pane-headers-expanded' value='false'/> - I restart pan - I put mouse over the group headers display panel => the groups list panel disappears instantly - I close pan to update the preferences that have changed: -<int name='header-pane-date-column-width' value='217'/> +<int name='header-pane-date-column-width' value='675'/> -<int name='main-window-hpane-position' value='325'/> +<int name='main-window-hpane-position' value='1'/> -<geometry name='main-window' x='287' w='1194' h='974'/> +<geometry name='main-window' x='212' w='1465' h='974'/> while I didn't change anything else.
And clicking the arrow again to show the headers in the message body pane works, but doesn't restore the groups pane. I'm running Gentoo. $ pan -v Pan 0.161 built by me (google translate) _______________________________________________ Pan-users mailing list Pan-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/pan-users
