interfaces/xmaxima/Tkmaxima/Prefs.tcl

   1 # -*-mode: tcl; fill-column: 75; tab-width: 8; coding: iso-latin-1-unix -*-
   2 #
   3 #       $Id: Prefs.tcl,v 1.4 2002-09-13 17:42:21 mikeclarkson Exp $
   4 #
   5 proc resetMaximaFont { w } {
   6     global maxima_default
   7
   8     $w config -font [xHMmapFont font:fixed:normal:r:[expr $maxima_default(fontAdjust) + 3]]
   9 }
  10
  11
  12
  13