+void menu_size_hints(WMenu *menu, WSizeHints *hints_ret)
+{
+ int n=menu->n_entries;
+ int w=menu->max_entry_w;
+ int h=menu->entry_h*n + menu->entry_spacing*maxof(0, n-1);
+
+ if(menu->brush!=NULL){
+ GrBorderWidths bdw;
+ grbrush_get_border_widths(menu->brush, &bdw);
+
+ w+=bdw.left+bdw.right;
+ h+=bdw.top+bdw.bottom;
+ }
+
+ hints_ret->min_set=TRUE;
+ hints_ret->min_width=w;
+ hints_ret->min_height=h;
+}
+
+