Searched refs:minSizeWithBorder (Results 1 – 15 of 15) sorted by relevance
620 gint indicator_width = metrics->minSizeWithBorder.width - in moz_gtk_toggle_paint()1924 indicator_width = metrics->minSizeWithBorder.width - in moz_gtk_check_menu_item_paint()1927 indicator_height = metrics->minSizeWithBorder.height - in moz_gtk_check_menu_item_paint()2483 if (metrics->minSizeWithBorder.height == 0 || in GetToggleMetrics()2484 metrics->minSizeWithBorder.width == 0) { in GetToggleMetrics()2488 if (metrics->minSizeWithBorder.height == 0) { in GetToggleMetrics()2491 if (metrics->minSizeWithBorder.width == 0) { in GetToggleMetrics()2492 metrics->minSizeWithBorder.width = indicator_size; in GetToggleMetrics()2503 metrics->minSizeWithBorder.width += in GetToggleMetrics()2505 metrics->minSizeWithBorder.height += in GetToggleMetrics()[all …]
74 MozGtkSize minSizeWithBorder; member
1303 aResult->width = metrics->minSizeWithBorder.width; in GetMinimumWidgetSize()1304 aResult->height = metrics->minSizeWithBorder.height; in GetMinimumWidgetSize()
666 gint indicator_width = metrics->minSizeWithBorder.width - in moz_gtk_toggle_paint()2183 indicator_width = metrics->minSizeWithBorder.width - in moz_gtk_check_menu_item_paint()2186 indicator_height = metrics->minSizeWithBorder.height - in moz_gtk_check_menu_item_paint()2764 if (metrics->minSizeWithBorder.height == 0 || in GetToggleMetrics()2765 metrics->minSizeWithBorder.width == 0) { in GetToggleMetrics()2769 if (metrics->minSizeWithBorder.height == 0) { in GetToggleMetrics()2772 if (metrics->minSizeWithBorder.width == 0) { in GetToggleMetrics()2773 metrics->minSizeWithBorder.width = indicator_size; in GetToggleMetrics()2784 metrics->minSizeWithBorder.width += in GetToggleMetrics()2786 metrics->minSizeWithBorder.height += in GetToggleMetrics()[all …]
90 MozGtkSize minSizeWithBorder; member
1604 aResult->width = metrics->minSizeWithBorder.width;1605 aResult->height = metrics->minSizeWithBorder.height;
650 gint indicator_width = metrics->minSizeWithBorder.width - in moz_gtk_toggle_paint()2159 indicator_width = metrics->minSizeWithBorder.width - in moz_gtk_check_menu_item_paint()2162 indicator_height = metrics->minSizeWithBorder.height - in moz_gtk_check_menu_item_paint()2726 if (metrics->minSizeWithBorder.height == 0 || in GetToggleMetrics()2727 metrics->minSizeWithBorder.width == 0) { in GetToggleMetrics()2731 if (metrics->minSizeWithBorder.height == 0) { in GetToggleMetrics()2734 if (metrics->minSizeWithBorder.width == 0) { in GetToggleMetrics()2735 metrics->minSizeWithBorder.width = indicator_size; in GetToggleMetrics()2746 metrics->minSizeWithBorder.width += in GetToggleMetrics()2748 metrics->minSizeWithBorder.height += in GetToggleMetrics()[all …]
1543 aResult->width = metrics->minSizeWithBorder.width;1544 aResult->height = metrics->minSizeWithBorder.height;
595 gint indicator_width = metrics->minSizeWithBorder.width - in moz_gtk_toggle_paint()598 gint indicator_height = metrics->minSizeWithBorder.height - in moz_gtk_toggle_paint()2575 if (metrics->minSizeWithBorder.height == 0 || in GetToggleMetrics()2576 metrics->minSizeWithBorder.width == 0) { in GetToggleMetrics()2580 if (metrics->minSizeWithBorder.height == 0) { in GetToggleMetrics()2581 metrics->minSizeWithBorder.height = indicator_size; in GetToggleMetrics()2583 if (metrics->minSizeWithBorder.width == 0) { in GetToggleMetrics()2584 metrics->minSizeWithBorder.width = indicator_size; in GetToggleMetrics()2595 metrics->minSizeWithBorder.width += in GetToggleMetrics()2597 metrics->minSizeWithBorder.height += in GetToggleMetrics()[all …]
84 MozGtkSize minSizeWithBorder; member
1500 aResult->width = metrics->minSizeWithBorder.width;1501 aResult->height = metrics->minSizeWithBorder.height;