From 4de202cd6b19f25626ef8bc99cc2abce4a7c0375 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Sat, 4 May 2024 19:41:08 +0300
Subject: [PATCH] =?utf8?q?Tk=20=D0=B8=20HiDPI?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Современный Tk из коробки так себе выглядит на HiDPI -- всё маленькое.
Есть команда "tk scaling", но она не применяется к шрифтам. Не шибко
разбирался как всё лучше организовать, но пока добавил такое в ~/.wishrc:

    font create myDefaultFont -family Go -size 14
    option add *font myDefaultFont
    tk scaling [expr {163 / 72.0}]
    tk_setPalette grey

и использую тот факт, что wish интерпретатор его считывает, если
исходный код подаётся через stdin. У меня Tk приложение по сути то
только одно: tofuproxy, который как-раз вызывает wish с передачей кода
через stdin.
-- 
2.50.0