Resize when the font preference is set
Submitted by Havoc Pennington
Assigned to Havoc Pennington
Description
When the font changes, we need to resize in pixels in order to maintain the same size in characters. GTK makes this a bit challenging.
Version: 1.9.x
Resolution: RESOLVED FIXED