Open Debilski opened 4 weeks ago
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 ² https://github.com/ASPP/pelita/issues/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: @.***>
––––
¹ https://github.com/ASPP/pelita/issues/820#issuecomment-2289505452 ² https://github.com/notifications/unsubscribe-auth/AACUYC6XPUI456Y542N3NJTZROMQBAVCNFSM6AAAAABMQXQP2WVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDEOBZGUYDKNBVGI
So we can define fonts also as proportion of the available screen estate.
Kind of, yeah
It does not matter, which scale factor I choose, the real size stays the same. (Fedora 40)