Re: interface bug (or not?)

Dominique Dumont <[email protected]> Wed, 13 Mar 2024 18:06:52 +0100

Newsgroups	gmane.comp.gnome.apps.pan.user
Message-ID	<1806729.TLkxdtWsSY@ylum>

On Wednesday, 13 March 2024 06:56:53 CET Duncan wrote:
> OK, using a keyword (is_smallish) from an old patch I had I grepped (well,
> mcedit-searched) the code and found this in header-pane.cc

For what it's worth, here's a link to this code:

https://gitlab.gnome.org/GNOME/pan/-/blob/master/pan/gui/header-pane.cc?ref_type=heads#L1253




_______________________________________________
Pan-users mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/pan-users