*/
  public void wait_gl () {
    RequestOutputStream o = display.out;
    synchronized (o) {
      o.begin_request (glx.major_opcode, 8, 2);
      o.write_int32 (tag);
      // Need to flush here.
      o.flush ();
    }
  }