"savenames" is the name of the file to load for each menu option: when
we shorten "Back to..." menu, we need to adjust it, too.
This commit is contained in:
Rusty Russell 2006-10-22 12:23:40 +00:00
parent b8fae88feb
commit 967d25e6d3

View File

@ -680,13 +680,19 @@ std::vector<std::string> play_controller::expand_menu(std::vector<std::string>&
// Make sure list doesn't get too long: keep top two,
// midpoint and bottom.
if (newitems.size() > 5) {
std::vector<std::string> subitems;
std::vector<std::string> subitems, subsavenames(i, "");
subitems.push_back(newitems[0]);
subitems.push_back(newitems[1]);
subitems.push_back(newitems[newitems.size() / 3]);
subitems.push_back(newitems[newitems.size() * 2 / 3]);
subitems.push_back(newitems.back());
subsavenames.push_back(savenames[i]);
subsavenames.push_back(savenames[i+1]);
subsavenames.push_back(savenames[i+newitems.size() / 3]);
subsavenames.push_back(savenames[i+newitems.size() * 2 / 3]);
subsavenames.push_back(savenames.back());
newitems = subitems;
savenames = subsavenames;
}
items.insert(items.begin()+i, newitems.begin(), newitems.end());