[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Pan-users] Problem with pane resizing again.
From: |
Hendrik Boom |
Subject: |
[Pan-users] Problem with pane resizing again. |
Date: |
Sat, 12 May 2018 21:53:10 +0000 (UTC) |
User-agent: |
Pan/0.144 (Time is the enemy; 28ab3ba git.gnome.org/pan2) |
At least, it seems just like the bug that was fixed in version 0.143.
(ea46a27 Fixed groups/body panels resizing in GTK 3 (Marek Černocký)) I
upgraded it on my Devuan ascii ( = Debian stretch=stable) system from
0.141 to the version in Debian testing in order to avoid it (just Pan and
its declared dependencies got upgraded, otherwise I'm still on stable).
Now I'm running Debian's 1.144, and the problem has recurred, but
strangely.
Where am I supposed to report this anyway? I found the gnome bugzilla
and reported it there (https://bugzilla.gnome.org/show_bug.cgi?id=795815)
but there are enough messages around the web that the bugzilla is being
discontinued that I'm not sure anyone relevant will see it there.
How strangely? Version 1.44 worked cleanly for maybe a month or so, and
then a few days ago the three-panel mode suddenly went crazy in the
middle of Pan session. One moment everything was fine; the next it was
hopeless.
-- hendrik
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Pan-users] Problem with pane resizing again.,
Hendrik Boom <=