equal
deleted
inserted
replaced
1887 if (_game_mode != GM_MENU && !HASBIT(w->disabled_state, e->click.widget)) |
1887 if (_game_mode != GM_MENU && !HASBIT(w->disabled_state, e->click.widget)) |
1888 _toolbar_button_procs[e->click.widget](w); |
1888 _toolbar_button_procs[e->click.widget](w); |
1889 } break; |
1889 } break; |
1890 |
1890 |
1891 case WE_KEYPRESS: { |
1891 case WE_KEYPRESS: { |
1892 int local = _local_player; |
1892 PlayerID local = (_local_player != OWNER_SPECTATOR) ? _local_player : 0; |
1893 if (local == 0xff) local = 0; // spectator |
|
1894 |
1893 |
1895 switch(e->keypress.keycode) { |
1894 switch(e->keypress.keycode) { |
1896 case WKC_F1: case WKC_PAUSE: |
1895 case WKC_F1: case WKC_PAUSE: |
1897 ToolbarPauseClick(w); |
1896 ToolbarPauseClick(w); |
1898 break; |
1897 break; |