octave-maintainers
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Default editor fonts


From: PrasannaKumar Muralidharan
Subject: Re: Default editor fonts
Date: Sun, 24 Nov 2013 12:11:28 +0530

Just an idea from user's point of view. Why not use the system's
default font? It will integrate with the system easily.

Thanks,
PrasannaKumar


reply via email to

[Prev in Thread] Current Thread [Next in Thread]