equal
deleted
inserted
replaced
184 } |
184 } |
185 } |
185 } |
186 } |
186 } |
187 |
187 |
188 |
188 |
|
189 /** |
|
190 * Paint all widgets of a window. |
|
191 * @param w Window |
|
192 */ |
189 void DrawWindowWidgets(const Window *w) |
193 void DrawWindowWidgets(const Window *w) |
190 { |
194 { |
191 const DrawPixelInfo* dpi = _cur_dpi; |
195 const DrawPixelInfo* dpi = _cur_dpi; |
192 |
196 |
193 for (uint i = 0; i < w->widget_count; i++) { |
197 for (uint i = 0; i < w->widget_count; i++) { |
567 ResizeButtons(w, widget + 1, right); |
571 ResizeButtons(w, widget + 1, right); |
568 } |
572 } |
569 } |
573 } |
570 } |
574 } |
571 |
575 |
|
576 /** Resize a widget and shuffle other widgets around to fit. */ |
572 void ResizeWindowForWidget(Window *w, int widget, int delta_x, int delta_y) |
577 void ResizeWindowForWidget(Window *w, int widget, int delta_x, int delta_y) |
573 { |
578 { |
574 int right = w->widget[widget].right; |
579 int right = w->widget[widget].right; |
575 int bottom = w->widget[widget].bottom; |
580 int bottom = w->widget[widget].bottom; |
576 |
581 |