[Maxima] changing wxmaxima border fonts?

[Andrej Vodopivec]

The fontsize for the input lines is hardcoded in wxmaxima and can't be
changed. If you disable fixed font in the configuration dialog you get
the system default font for input lines. The fontsize for buttons is
always the system fontsize. Why would you want to change it?

Andrej

On Dec 9, 2007 7:34 PM, S. Newhouse <sen1 at math.msu.edu> wrote:
> Hello,
>  Is there a way to increase the fontsize for the input lines and command
> buttons in wxmaxima?
>
> TIA,
>  -sen
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima