| 1383 | } |
| 1384 | |
| 1385 | void OnClick([[maybe_unused]] Point pt, WidgetID widget, [[maybe_unused]] int click_count) override |
| 1386 | { |
| 1387 | switch (widget) { |
| 1388 | case WID_GP_ABORT: |
| 1389 | SetMouseCursorBusy(false); |
| 1390 | ShowQuery( |
| 1391 | GetEncodedString(STR_GENERATION_ABORT_CAPTION), |
| 1392 | GetEncodedString(STR_GENERATION_ABORT_MESSAGE), |
| 1393 | this, |
| 1394 | AbortGeneratingWorldCallback |
| 1395 | ); |
| 1396 | break; |
| 1397 | } |
| 1398 | } |
| 1399 | |
| 1400 | void UpdateWidgetSize(WidgetID widget, Dimension &size, [[maybe_unused]] const Dimension &padding, [[maybe_unused]] Dimension &fill, [[maybe_unused]] Dimension &resize) override |
| 1401 | { |
nothing calls this directly
no test coverage detected