src/main_gui.cpp
changeset 8452 8f87ace6640e
parent 8448 f716c812f401
child 8529 93d4dea423e5
equal deleted inserted replaced
8451:a3ae65b58eec 8452:8f87ace6640e
   174 		case  7: ToggleBit(_display_opt, DO_SHOW_STATION_NAMES); break;
   174 		case  7: ToggleBit(_display_opt, DO_SHOW_STATION_NAMES); break;
   175 		case  8: ToggleBit(_display_opt, DO_SHOW_SIGNS);         break;
   175 		case  8: ToggleBit(_display_opt, DO_SHOW_SIGNS);         break;
   176 		case  9: ToggleBit(_display_opt, DO_WAYPOINTS);          break;
   176 		case  9: ToggleBit(_display_opt, DO_WAYPOINTS);          break;
   177 		case 10: ToggleBit(_display_opt, DO_FULL_ANIMATION);     break;
   177 		case 10: ToggleBit(_display_opt, DO_FULL_ANIMATION);     break;
   178 		case 11: ToggleBit(_display_opt, DO_FULL_DETAIL);        break;
   178 		case 11: ToggleBit(_display_opt, DO_FULL_DETAIL);        break;
   179 		case 12:	ToggleTransparency(TO_HOUSES);                  break;
   179 		case 12: ToggleTransparency(TO_HOUSES);                  break;
   180 		case 13: ToggleTransparency(TO_SIGNS);                   break;
   180 		case 13: ToggleTransparency(TO_SIGNS);                   break;
   181 	}
   181 	}
   182 	MarkWholeScreenDirty();
   182 	MarkWholeScreenDirty();
   183 }
   183 }
   184 
   184