Actually, I can reproduce your issue after running xrandr --dpi with very high dpi values. So this is indeed a problem with tkinter and high dpi values. Then I found…
As I said, the width it not explicitly set anywhere. The tkinter interface is setup such that all its elements automatically are large enough that all elements in it are visible. This somehow doesn't…
That sounds more like a Tkinter bug then. At no point do I set the width of the right frame explicitly. The width of the right frame gets computed by tkinter using:
…
Fixed in c2d988b475000323b483620a8e1a2487afbe03ba
Hi! Thanks for your bug report. Does this issue only exist when the window is narrow or does it persist once you resize the window to make it wider?
According to the debug output, you seem to be using apt 2.0.6. But the latest release requires apt >= 2.3.7 (see CHANGELOG.md entry for 0.8.0).
I should add a version check for apt at the…
03ebda088f
coverage.sh: use MMDEBSTRAP_APT_CONFIG to prevent apt options (like foreign archs) leaking into the apt calls
Sure thing! Don't hesitate to file another issue if you run into any other problem. :)
--first-frame-onlyactually solves my problem, because the thumbnail is in the second frame. I didn't realise that, because the thumbnail appears bigger in the pdf, but it has a smaller…