I added an option in the F3 window earlier for changing the font name and size, are there any problems with it? It's currently not a drop-down box because there's currently no way to reliably get available fonts but that'll come in a future release (except on Mac where it's a drop-down box listing fonts but a lot of them are not yet being read from the system font folder).
10-04-2010, 10:35 PM
Threaded Mode