Closed ghost closed 11 years ago
At some point it would make sense to generate these XPMs dynamically, based on the user's font-height, but this will do the trick for now.
Thanks! Let me review this and get you my comments on this. :+1:
Thanks for your work on this @WHOISJohnGalt! I just merged in a pull request that will address larger point font dynamically. Cheers! :+1:
At some point it would make sense to generate these XPMs dynamically, based on the user's font-height, but this will do the trick for now.