Closed j-bresson closed 2 years ago
Font sizes on mini-views, etdotrs, etc. are often too big on Windows. -> Replace hard-coded sizes by platform-specific defaul fonts.
Font sizes on mini-views, etdotrs, etc. are often too big on Windows. -> Replace hard-coded sizes by platform-specific defaul fonts.