87 |
const string &levelname, |
const string &levelname, |
88 |
const LevelStatus &stat); |
const LevelStatus &stat); |
89 |
|
|
90 |
void SetLevelTime(const string &pack, const string &level, int difficulty, int time); |
/* Returns true if time is new record for this level. */ |
91 |
|
bool SetLevelTime(const string &pack, const string &level, int difficulty, int time); |
92 |
|
|
93 |
void SetLevelFinished(const string &pack, const string &level, int difficulty); |
void SetLevelFinished(const string &pack, const string &level, int difficulty); |
94 |
|
|
95 |
/* Save the current set of options to the user's configuration |
/* Save the current set of options to the user's configuration |