-
Notifications
You must be signed in to change notification settings - Fork 68
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Tk window is very small on high-pixel monitors #820
Comments
well, I thought those "scale" factors are meant just for fonts, and the fonts look indeed huge. I think we have --geometry for cases like this. Unless TK allows us to specify geometry as a portion of the screen, but I doubt it...
…On Wed 14 Aug, 09:54 +0000, Rike-Benjamin Schuppner ***@***.***> wrote:
It does not matter, which scale factor I choose, the real size stays the same. (Fedora 40)
Screenshot.from.2024-08-14.19-50-26.png (view on web)¹
—
Reply to this email directly, view it on GitHub², or unsubscribe³.
You are receiving this because you are subscribed to this thread.☘Message ID: ***@***.***>
––––
¹ https://github.com/user-attachments/assets/ffc2b041-3522-41d2-8c9c-acc845b8f120
² #820
³ https://github.com/notifications/unsubscribe-auth/AACUYC2RDD6O7US3ANI2LI3ZRODUJAVCNFSM6AAAAABMQXQP2WVHI2DSMVQWIX3LMV43ASLTON2WKOZSGQ3DMMZUGIYTCMI
|
That we don’t have proper font scaling inside Tk is a different issue. (Or rather, we have font scaling but it is somewhat relative to the available space.) But the Gnome setting should indeed scale everything. (There is a hidden setting for the Gnome font sizes that is different from the scaling.) |
ahah, so the solution should surely be to re-write the whole TK stuff by using proportions of the available screen pixels? Like pelita is 30% of the screen size by default? So we can define fonts also as proportion of the available screen estate... Or get rid of the GUI completely.
…On Wed 14 Aug, 11:10 +0000, Rike-Benjamin Schuppner ***@***.***> wrote:
That we don’t have proper font scaling inside Tk is a different issue. (Or rather, we have font scaling but it is somewhat relative to the available space.)
But the Gnome setting should indeed scale everything. (There is a hidden setting for the Gnome font sizes that is different from the scaling.)
—
Reply to this email directly, view it on GitHub¹, or unsubscribe².
You are receiving this because you commented.☘Message ID: ***@***.***>
––––
¹ #820 (comment)
² https://github.com/notifications/unsubscribe-auth/AACUYC6XPUI456Y542N3NJTZROMQBAVCNFSM6AAAAABMQXQP2WVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDEOBZGUYDKNBVGI
|
Kind of, yeah |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It does not matter, which scale factor I choose, the real size stays the same. (Fedora 40)
The text was updated successfully, but these errors were encountered: