7 #include <boost/lexical_cast.hpp>
30 new WText(
"<h2>Hall of fame</h2>",
this);
34 std::string yourScore;
36 yourScore =
"Congratulations! You are currently leading the pack.";
38 yourScore =
"You are currently ranked number "
39 + boost::lexical_cast<std::string>(ranking)
43 WText *score =
new WText(
"<p>" + yourScore +
"</p>",
this);
59 for (
unsigned i = 0; i < top.size(); i++) {
62 if (u.
score != formerScore) {
63 formerScore = u.
score;
68 new WText(boost::lexical_cast<std::string>(rank),
73 new WText(boost::lexical_cast<std::string>(u.
score),
85 WText *fineprint =
new WText(tr(
"highscore.info"),
this);