          title="Ctrl-Up"></button>
            <button id="to-cursor" name="to-cursor" alt="Ctrl-Enter" 
            title="Ctrl-Enter"></button>
            <button id="reset" name="reset" alt="Reset Worker" 
            title="Reset Worker"></button>
          </span>

          <span id="buttons-right">
            <button id="help" name="help" alt="Quick Help" 
            title="Quick Help"></button>
          </span>
          <span id="buttons-right">
            <button id="file" name="file" alt="F