Searched refs:maxmargin (Results 1 – 5 of 5) sorted by relevance
94 .button.maxmargin = 5,143 .button.maxmargin = 5,194 dst->button.maxmargin = src->button.maxmargin; in set_theme()
84 unsigned int maxmargin; member
277 newmargin = MIN(newmargin, t.button.maxmargin); in draw_buttons()
143 {"", "theme.button.maxmargin", UINT, &t.button.maxmargin},425 t.button.maxmargin = 5, in bikeshed()
302 - add: theme.button.minmargin and theme.button.maxmargin.