void separator_widget_rep::handle_get_size (get_size_event ev) { if (vert) { if (ev->mode==1) gui_maximal_extents (ev->w, ev->h); ev->w= 2*PIXEL+ pre+ post; ev->h= 0; } else { if (ev->mode==-1) ev->w= 0; if (ev->mode==1) gui_maximal_extents (ev->w, ev->h); ev->h= 2*PIXEL+ pre+ post; } }
void scrollable_widget_rep::handle_get_size (get_size_event ev) { if (ev->mode==-1) { ev->w= 8*PIXEL; ev->h= 8*PIXEL; } if (ev->mode== 1) gui_maximal_extents (ev->w, ev->h); }
void file_chooser_widget_rep::handle_get_size (get_size_event ev) { if (ev->mode < 1) { ev->w= 451*PIXEL; if (type == "image") ev->h= 500*PIXEL; else ev->h= 350*PIXEL; } else gui_maximal_extents (ev->w, ev->h); }
void glue_widget_rep::handle_get_size (get_size_event ev) { if (ev->mode==0) { if (!hflag) ev->w= minw; if (!vflag) ev->h= minh; } if (ev->mode==-1) { ev->w= minw; ev->h= minh; } if (ev->mode==1) { gui_maximal_extents (ev->w, ev->h); if (!hflag) ev->w= minw; if (!vflag) ev->h= minh; } }