Closed GoogleCodeExporter closed 8 years ago
Option to choose font size
Original issue reported on code.google.com by mail@antonwolf.de on 22 Apr 2011 at 12:53
mail@antonwolf.de
Original comment by mail@antonwolf.de on 10 May 2011 at 3:40
Original issue reported on code.google.com by
mail@antonwolf.de
on 22 Apr 2011 at 12:53