The styler will only allow me to select the bold mono-spaced versions of these fonts [DejaVu and Bitstream Vera] from the font drop down list; it would be very appreciated if that was fixed to allow the normal weighted mono-spaced versions to be selected. Thanks!
Both fonts are open source and you can find them here:
In the mean time you can manually edit the stylers.xml file in your Application Data profile directory to use the correct font. However if you make any changes later on using the styler dialog it will over your font selections. I am going to take your original post and file a bug report, I don't know why no one else picked up on it.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
The styler will only allow me to select the bold mono-spaced versions of these fonts [DejaVu and Bitstream Vera] from the font drop down list; it would be very appreciated if that was fixed to allow the normal weighted mono-spaced versions to be selected. Thanks!
Both fonts are open source and you can find them here:
Bitstream Vera - http://www.gnome.org/fonts/
DejaVu - http://dejavu.sourceforge.net/
P.S. Notepad++ is the best open source editor I've found for windows, good job! ;)
Bump!
Bump! #2
In the mean time you can manually edit the stylers.xml file in your Application Data profile directory to use the correct font. However if you make any changes later on using the styler dialog it will over your font selections. I am going to take your original post and file a bug report, I don't know why no one else picked up on it.
> I don't know why no one else picked up on it.
If you count the number of feature request and bugs, then count the number of developer (I can provide you the number : 1),
you'll know why.
Don