Lagrange [release]

Terminal: Ignore LAGRANGE_OVERRIDE_DPI; disable popup menus

Jaakko Keränen

Mon May 9 14:38:13 2022 +0300

 src/ui/util.c   | 2 +-
 src/ui/window.c | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)
Diff (Colored)
Diff (Colored, Plain Text)
🔨 Patch
Parent b5186f39
Repository