use TkDefaultFont in right click context menu instead of a custom menu. This makes scaling with tk_scaling more consistent

2025-03-18 13:30:40 +01:00 · 2025-03-18 13:30:40 +01:00 · 0d2b57bfa5
parent c4b3e204a0
commit 0d2b57bfa5
1 changed files with 2 additions and 1 deletions
--- 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
  }