Aha! That's a reasonable thing to fix, since adjusting the font size is supported. :) The little dialog should definitely adjust to the font size.
Aha! That's a reasonable thing to fix, since adjusting the font size is supported. :) The little dialog should definitely adjust to the font size.