Write the machine number (if any) in the header.
authorSteinar H. Gunderson <sesse@samfundet.no>
Mon, 28 Feb 2005 19:22:32 +0000 (19:22 +0000)
committerSteinar H. Gunderson <sesse@samfundet.no>
Mon, 28 Feb 2005 19:22:32 +0000 (19:22 +0000)
bigscreen/groupscreen.cpp

index e811369..83a7082 100644 (file)
@@ -57,15 +57,23 @@ void GroupScreen::draw(unsigned char *buf)
 
        // 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.