Bug #2107 » 0042-gtk4-x-Don-t-pause-music-when-Turn-Done-button-press.patch
| client/gui-gtk-4.0/gui_main.c | ||
|---|---|---|
|
**************************************************************************/
|
||
|
static void end_turn_callback(GtkWidget *w, gpointer data)
|
||
|
{
|
||
|
/* Button going insensitive is going to lose focus. Keep focus at least
|
||
|
* within the window */
|
||
|
gtk_widget_grab_focus(map_canvas);
|
||
|
gtk_widget_set_sensitive(turn_done_button, FALSE);
|
||
|
user_ended_turn();
|
||
|
}
|
||
| client/gui-gtk-5.0/gui_main.c | ||
|---|---|---|
|
**************************************************************************/
|
||
|
static void end_turn_callback(GtkWidget *w, gpointer data)
|
||
|
{
|
||
|
/* Button going insensitive is going to lose focus. Keep focus at least
|
||
|
* within the window */
|
||
|
gtk_widget_grab_focus(map_canvas);
|
||
|
gtk_widget_set_sensitive(turn_done_button, FALSE);
|
||
|
user_ended_turn();
|
||
|
}
|
||