ARGSUSED */
| 398 | |
| 399 | /* ARGSUSED */ |
| 400 | void |
| 401 | plsel_randomize(Widget w, XEvent *event, String *params, Cardinal *num_params) |
| 402 | { |
| 403 | nhUse(w); |
| 404 | nhUse(event); |
| 405 | nhUse(params); |
| 406 | nhUse(num_params); |
| 407 | |
| 408 | X11_player_selection_randomize(); |
| 409 | } |
| 410 | |
| 411 | /* enable or disable the Play button */ |
| 412 | static void |
nothing calls this directly
no test coverage detected