and its dependencies from jammy and I've not seen the problem re-appear for a while. Is this the exact same software? In that case I'd vouch for the bug being solved.
That said, I'd feel more comfortable installing from the impish-proposed repo, but I'm a little confused about how to, even with the guide. I've activated impish-proposed, added the preferences file, but I'm unsure what I should put or search for as the package name, so I put * which I assume stands for "all". Using aptitude, however, I couldn't find a package called "gtk+3.0". Should I just take libgtk-3-0_3.24.30-1ubuntu1.1_i386.deb?
And will this install nicely over my (newer?) 3.24.30-3ubuntu2?
Excellent news.
I've previously installed:
libgtk-3-common/now 3.24.30-3ubuntu2
and its dependencies from jammy and I've not seen the problem re-appear for a while. Is this the exact same software? In that case I'd vouch for the bug being solved.
That said, I'd feel more comfortable installing from the impish-proposed repo, but I'm a little confused about how to, even with the guide. I've activated impish-proposed, added the preferences file, but I'm unsure what I should put or search for as the package name, so I put * which I assume stands for "all". Using aptitude, however, I couldn't find a package called "gtk+3.0". Should I just take libgtk- 3-0_3.24. 30-1ubuntu1. 1_i386. deb?
And will this install nicely over my (newer?) 3.24.30-3ubuntu2?