equal
deleted
inserted
replaced
1078 |
1078 |
1079 /** Update all the widgets of a window based on their resize flags |
1079 /** Update all the widgets of a window based on their resize flags |
1080 * Both the areas of the old window and the new sized window are set dirty |
1080 * Both the areas of the old window and the new sized window are set dirty |
1081 * ensuring proper redrawal. |
1081 * ensuring proper redrawal. |
1082 * @param w Window to resize |
1082 * @param w Window to resize |
1083 * @param x delta x-size of changed window (positive if larger, etc.( |
1083 * @param x delta x-size of changed window (positive if larger, etc.) |
1084 * @param y delta y-size of changed window */ |
1084 * @param y delta y-size of changed window */ |
1085 void ResizeWindow(Window *w, int x, int y) |
1085 void ResizeWindow(Window *w, int x, int y) |
1086 { |
1086 { |
1087 Widget *wi; |
1087 Widget *wi; |
1088 bool resize_height = false; |
1088 bool resize_height = false; |