Just installed Eric5, RC1, gotten this little oddity: My preferred monospaced font (for #Comments) apparently cannot be set, with my related “editor style” properties settings remaining ignored. By you too?
Thanks. - P.M.
_______________________________________________ Eric mailing list Eric@riverbankcomputing.com http://www.riverbankcomputing.com/mailman/listinfo/eric