src/player_gui.cpp
changeset 10707 81a4013a7680
parent 10703 2c998f3776d1
child 10773 88125a991761
equal deleted inserted replaced
10706:2526a335ff62 10707:81a4013a7680
  1475 			this->window_number = lengthof(_highscore_table) - 1;
  1475 			this->window_number = lengthof(_highscore_table) - 1;
  1476 			this->rank = SaveHighScoreValueNetwork();
  1476 			this->rank = SaveHighScoreValueNetwork();
  1477 		} else {
  1477 		} else {
  1478 			/* in single player _local player is always valid */
  1478 			/* in single player _local player is always valid */
  1479 			const Player *p = GetPlayer(_local_player);
  1479 			const Player *p = GetPlayer(_local_player);
  1480 			this->window_number = _opt.diff_level;
  1480 			this->window_number = _settings.difficulty.diff_level;
  1481 			this->rank = SaveHighScoreValue(p);
  1481 			this->rank = SaveHighScoreValue(p);
  1482 		}
  1482 		}
  1483 
  1483 
  1484 		MarkWholeScreenDirty();
  1484 		MarkWholeScreenDirty();
  1485 	}
  1485 	}