- for (std::vector<Player>::const_iterator i = group.players.begin(); i != group.players.end(); ++i) {
- width[0] = std::max(width[0], my_draw_text(i->nick, NULL, 18.0));
+ {
+ unsigned width = my_draw_text(heading, NULL, 48.0);
+ my_draw_text(heading, buf, 48.0, 800/2 - width/2, 60);
+ }
+
+ // Find out how wide each column has to be. First try unlimited width (ie.
+ // long titles for everything); if that gets too long, try again with short
+ // titles for chosen songs.
+ unsigned width[16], num_scores;
+ unsigned max_num_width = my_draw_text("8888", NULL, 22.0);
+ unsigned mode;
+ for (mode = 0; mode < 2; ++mode) {
+ for (unsigned i = 0; i < 16; ++i)
+ width[i] = 0;