Add possibility to change font and font size.

google-code-export / labyrinth

Automatically exported from code.google.com/p/labyrinth

GNU General Public License v2.0

2 stars 0 forks source link

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

Let the user change the font and size.

Original issue reported on code.google.com by sinfr...@gmail.com on 21 Mar 2008 at 11:47

GoogleCodeExporter commented 9 years ago

Fixed in revision 234.

Original comment by sinfr...@gmail.com on 27 Mar 2008 at 8:24