Searched defs:side_margin (Results 1 – 1 of 1) sorted by relevance
1046 int top_margin, side_margin; in redraw_handler() local2630 int side_margin, top_margin; in recompute_selection() local