Searched refs:maxmargin (Results 1 – 5 of 5) sorted by relevance
75 .button.maxmargin = 5,124 .button.maxmargin = 5,171 .button.maxmargin = 5,220 dst->button.maxmargin = src->button.maxmargin; in set_theme()
79 unsigned int maxmargin; member
242 newmargin = MIN(newmargin, t.button.maxmargin); in draw_buttons()
92 { "theme.button.maxmargin", UINT, &t.button.maxmargin},330 t.button.maxmargin = 5, in bikeshed()
84 - add: theme.button.minmargin and theme.button.maxmargin.