From 0d2b57bfa5893daa78af6c3b0dd40d0b91369d33 Mon Sep 17 00:00:00 2001 From: stefan schippers Date: Tue, 18 Mar 2025 13:30:40 +0100 Subject: [PATCH] use TkDefaultFont in right click context menu instead of a custom menu. This makes scaling with tk_scaling more consistent --- src/xschem.tcl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/xschem.tcl b/src/xschem.tcl index fd04603c..f8bff106 100644 --- a/src/xschem.tcl +++ b/src/xschem.tcl @@ -7441,7 +7441,8 @@ proc context_menu { } { set retval 0 if {[info tclversion] >= 8.5} { - set font {Sans 8 bold} + set font TkDefaultFont + # set font {Sans 8 bold} } else { set font fixed }