HDPI right panel partialy hidden #2
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Please see screenshot attached.
Is there any configuration file I can amend to make it more visible?
Many thanks,
Silvio
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?
Thank you for your prompt answer.
Actually, that is a full screen, I gust grabbed a part of the screen. It's like the right panel has a fixed wideness, perhaps a wideness limit?
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:
I guess this is just another reason why I should do a rewrite of the GUI with Qt. :(
Thanks, can I just add a maths operator somewhere to increase the width (i.e., x2)?
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 seem to work on your machine. Since I canno reproduce the problem, I don't see how I can help you fix the issue. Maybe file a bug against tkinter?
You could also run another experiment and try to verify that it's really your high dpi display that causes this issue. You can change dpi using
xrandr --dpi
.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 this:https://stackoverflow.com/questions/42961810/detect-dpi-scaling-factor-in-python-tkinter-application
And this let me fix the issue in
d58d02092a
Let me know if this fixes your issue!
Hi @Mnc2 can you confirm that the issue is fixed with my changes? I'd then do a new release. Thanks!
Hi @josch, thanks for the quick feedback. I downloaded the updated file, however I don't know how to update my current install. I'm on linux, Ubuntu 20.04.
Many thanks,
Silvio
I've just made a new release. Just grab it with pip. :)
Hi @josch, it works like a charm.
Many thanks,
Silvio