Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Workaround for #1093 #1135
Eliminates the scenario that leads to the segfault in #1093 by replacing the font menu with a font button. Instead of getting previews of all of the fonts, you get a single button that cycles through the different fonts. Less good, but less crash-prone.
I extracted font selection out into a separate class so when we actually fix the root of #1093 it should be pretty easy to bring back the more complicated but more user-friendly UI. We can either leave #1093 open (and move to 2.3) or closed (and create an enhancement request to add a menu for fonts); I'd lean towards the latter.