Re: [Pan-users] interface bug (or not?)

[Dominique Dumont]

On Wednesday, 13 March 2024 18:25:01 CET Dominique Dumont wrote:
> The code you've found does not use MIME in its heuristics. I believe this
> code could be improved to take MIME into account.

I pushed a possible fix on branch fix-gui-bug [1] (although this patch 
does not use MIME information. see [2] for explanations)

There may be other side effects where it could display article instead 
of offering the save widget.

Please try this out.

All the best

[1] https://gitlab.gnome.org/GNOME/pan/-/tree/fix-gui-bug?ref_type=heads
[2] 
https://gitlab.gnome.org/GNOME/pan/-/commit/fee591b01e59cea69fbe6a031075d20745d7bb55