| commit | ba3df2599d46298727bbe9135dffd905f4d5289c | |
| author | Tim Taenny <tim@taenny.de> | |
| Tue, 18 Jun 2019 19:17:28 +0000 (18 21:17 +0200) | ||
| committer | Carlos R. Mafra <crmafra@gmail.com> | |
| Wed, 19 Jun 2019 17:06:53 +0000 (19 18:06 +0100) | ||
| tree | f7631dac8cacf8162f370818922ecfbb2e65e522 | treesnapshot (tar.gz zip) |
| parent | c803218ed1970d09541a125f47a4e24076f3ada0 | commitdiff |
Use fixed font size in original WMCreate*Panel functions
Instead of just assuming that the size of the system font has not
been changed by the user, the WMCreateAlertPanel,
WMCreateInputPanel and WMCreateGenericPanel functions now use a
fixed default font size of 12, so that changing the system font's
size in WPrefs.app does not break the fixed layouts of these panels.
("12" is specified as DEFAULT_FONT_SIZE in WINGS/configuration.c)
Instead of just assuming that the size of the system font has not
been changed by the user, the WMCreateAlertPanel,
WMCreateInputPanel and WMCreateGenericPanel functions now use a
fixed default font size of 12, so that changing the system font's
size in WPrefs.app does not break the fixed layouts of these panels.
("12" is specified as DEFAULT_FONT_SIZE in WINGS/configuration.c)
| WINGs/wpanel.c | diffblobblamehistory |