// main heading
char heading[64];
- if (parallel == 0) {
- std::sprintf(heading, "Round %u", round);
+ if (num_machines == 1) {
+ if (parallel == 0) {
+ std::sprintf(heading, "Round %u", round);
+ } else {
+ std::sprintf(heading, "Round %u, Group %u", round, parallel);
+ }
} else {
- std::sprintf(heading, "Round %u, Group %u", round, parallel);
+ if (parallel == 0) {
+ std::sprintf(heading, "Round %u, Machine %u", round, machine + 1);
+ } else {
+ std::sprintf(heading, "Round %u, Group %u, Machine %u", round, parallel, machine + 1);
+ }
}
{
- unsigned width = my_draw_text(heading, NULL, 48.0);
- my_draw_text_deferred(td, heading, 48.0, 800/2 - width/2, 60);
+ unsigned width = my_draw_text(heading, NULL, 40.0);
+ my_draw_text_deferred(td, heading, 40.0, 800/2 - width/2, 60);
}
// Find out how wide each column has to be. First try unlimited width (ie.