main_gui.c
changeset 424 a3095d8c1c6a
parent 410 0efd84450b01
child 478 3a161108a15d
equal deleted inserted replaced
423:f99aa417225f 424:a3095d8c1c6a
  1679 	case WE_KEYPRESS: {
  1679 	case WE_KEYPRESS: {
  1680 		int local = _local_player;
  1680 		int local = _local_player;
  1681 		if (local == 0xff) local = 0; // spectator
  1681 		if (local == 0xff) local = 0; // spectator
  1682 
  1682 
  1683 		switch(e->keypress.keycode) {
  1683 		switch(e->keypress.keycode) {
  1684 		case WKC_F1: ToolbarPauseClick(w); break;
  1684 		case WKC_F1:
       
  1685 		case WKC_PAUSE:
       
  1686 			ToolbarPauseClick(w);
       
  1687 			break;
  1685 		case WKC_F2: ShowGameOptions(); break;
  1688 		case WKC_F2: ShowGameOptions(); break;
  1686 		case WKC_F3: MenuClickSaveLoad(0); break;
  1689 		case WKC_F3: MenuClickSaveLoad(0); break;
  1687 		case WKC_F4: ShowSmallMap(); break;
  1690 		case WKC_F4: ShowSmallMap(); break;
  1688 		case WKC_F5: ShowTownDirectory(); break;
  1691 		case WKC_F5: ShowTownDirectory(); break;
  1689 		case WKC_F6: ShowSubsidiesList(); break;
  1692 		case WKC_F6: ShowSubsidiesList(); break;