Dominique Dumont posted on Sat, 02 Nov 2024 20:11:43 +0100 as excerpted:

> On Friday, 1 November 2024 17:25:09 CET Christophe PEREZ wrote:
>> And clicking the arrow again to show the headers in the message body
>> pane works, but doesn't restore the groups pane.
> 
> I think the group pane width has somehow been reduced to 0.
> 
> Could you try to drag it back from the left side of Pan's window ? You
> should see the mouse icon change from the place where dragging the mouse
> resize Pan's window to the place where dragging resizes the group panel.
Check that, and also check view menu, layout, show group pane.  Maybe try 
toggling it of and back on if necessary.  That would normally show up as a 
preferences.xml diff as well and it didn't appear in the diff you posted, 
so that probably isn't it, but can't hurt to double-check.

> Anyhow, this terse header looks like more trouble than it's worth. Given
> the size of modern screen, I'm tempted to remove this option.
> 
> What do you all think ?

Devil's advocate position; explicitly the best-case argument I can think 
of for keeping the toggle:

The use-case I could envision people objecting for would be image-viewing 
in high-res still-image groups, where people might collapse the body-pane 
header bar to get that many more pixels available to display the image.  
Consider:

* The header bar in question is in the body pane, which is where still 
images are displayed too.  Unlike other UI components there's no 
eliminating the header bar by going tabbed mode or toggling the other 
panes if you're trying to view images.

* It's vertical space we're talking here, not horizontal space.  On 
today's widescreens if either sort of space is at a premium it's going to 
be vertical space, especially if you're trying to view either portrait-
mode images or wallpapers to fit those widescreens.

* Camera resolution and internet bandwidth have both outpaced monitor 
resolution, and even wallpapers limited to monitor resolution will be 
further limited as displayed in an app like pan, even if the app is 
maximized, due to other UI elements.

* Pan is one of the better optimized options for still-image-group 
viewing.  This would arguably if incrementally de-optimize that use-case.

But again, lest I overstate my personal position, that's explicit best-
case-presented devil's advocacy.  In practice, I've not done enough 
binaries to personally be affected in years, and of course keep the header 
bar expanded for text usage.  (Plus, multi-monitor helps too.)

-- 
Duncan - List replies preferred.   No HTML msgs.
"Every nonfree program has a lord, a master --
and if you use the program, he is your master."  Richard Stallman


_______________________________________________
Pan-users mailing list
Pan-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/pan-users

Reply via email to