private void redraw() {
      if (help_area != null && help_area.rows > 0) {
         if (help_text.isEmpty()) {
            if (first_time) {
               help_text.set(
                  006, "  Help window keys:\n" +
                  "  - Use F1 to open and close this window\n" +
                  "  - Use F2/F3 to page up and down within the help text\n" +
                  "  - Press F1 now to clear this message");
            } else {
               Tile tile = help_focus;
               while (help_text.isEmpty() && tile != null) {
                  tile.getHelp(help_text, hfb, this);
                  tile = tile.parent;
               }
               if (help_text.isEmpty())
                  help_text.set(hfb, "  (no help available)");
            }
            help_yoff = 0;
         }
         help_has_more = help_text.draw(help_area, true, help_yoff);
      }
   }