[Eric] Monospaced font with E5-RC1

[Pietro Moras]

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. 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.riverbankcomputing.com/pipermail/eric/attachments/20131211/ddc38dbe/attachment.html>