[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Pan-users] interface bug (or not?)
|
From: |
Dominique Dumont |
|
Subject: |
Re: [Pan-users] interface bug (or not?) |
|
Date: |
Wed, 13 Mar 2024 18:06:52 +0100 |
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
- Re: [Pan-users] interface bug, (continued)
- Re: [Pan-users] interface bug, Jim Henderson, 2024/03/09
- Re: [Pan-users] interface bug, Jim Henderson, 2024/03/09
- Re: [Pan-users] interface bug (or not?), Duncan, 2024/03/13
- Re: [Pan-users] interface bug (or not?), Duncan, 2024/03/13
- Re: [Pan-users] interface bug (or not?), Dominique Dumont, 2024/03/13
- Re: [Pan-users] interface bug (or not?), Dominique Dumont, 2024/03/13
- Re: [Pan-users] interface bug (or not?), Duncan, 2024/03/13
- Re: [Pan-users] interface bug (or not?), Jim Henderson, 2024/03/13
- Re: [Pan-users] interface bug (or not?), Duncan, 2024/03/13
- Re: [Pan-users] interface bug (or not?), Jim Henderson, 2024/03/14
- Re: [Pan-users] interface bug (or not?),
Dominique Dumont <=