HDPI right panel partialy hidden #2

Please see screenshot attached.
Is there any configuration file I can amend to make it more visible?
Many thanks,
Silvio

Please see screenshot attached. Is there any configuration file I can amend to make it more visible? Many thanks, Silvio

screenshot.png

122 KiB

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?

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:

frame_right.pack(side=tkinter.TOP, expand=tkinter.TRUE, fill=tkinter.Y)

I guess this is just another reason why I should do a rewrite of the GUI with Qt. :(

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: frame_right.pack(side=tkinter.TOP, expand=tkinter.TRUE, fill=tkinter.Y) 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.

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!

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 d58d02092a361df0b83ccb9a3382a6d2b32158de 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

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

Hi @josch, it works like a charm. Many thanks, Silvio

Labels Milestones

HDPI right panel partialy hidden #2