changing wxmaxima border fonts?

• Subject: changing wxmaxima border fonts?
• From: S. Newhouse
• Date: Sun, 09 Dec 2007 13:34:15 -0500

Hello,
 Is there a way to increase the fontsize for the input lines and command 
buttons in wxmaxima?

TIA,
 -sen

• Prev by Date: writing 'mouse interactive' routines to extend draw, plot2d, etc.
• Next by Date: writing 'mouse interactive' routines to extend draw, plot2d, etc.
• Previous by thread: changing "//" to "/"
• Next by thread: changing wxmaxima border fonts?
• Index(es):
  • Date
  • Thread