Put a hardcoded min size of 14px on checkbox and radio button indicators, since many themes have indicators that are larger than the default 10px indicator_size, but don't bother setting the property. Not part of the build.

This commit is contained in:
bryner%netscape.com 2002-07-13 22:05:38 +00:00
Родитель 4d1220b5a7
Коммит 4b4063c8f3
1 изменённых файлов: 7 добавлений и 0 удалений

Просмотреть файл

@ -172,6 +172,13 @@ moz_gtk_checkbox_get_metrics(gint* indicator_size, gint* indicator_spacing)
if (indicator_spacing)
*indicator_spacing = klass->indicator_spacing;
#endif
/* hack alert: many themes don't correctly report the indicator size,
and have indicators larger than the default 10px indicator_size.
So, leave a little slop room. Too bad there's no way to tell
if the theme has overridden the default indicator size. */
*indicator_size = MAX(*indicator_size, 14);
}
void