- //! Return the pixel width of the opengl viewport.
- static int get_viewport_width_in_pixels();
- //! draw a from left to right +/- height/2
- void draw_box(GLfloat world_left, GLfloat world_right, GLfloat left, GLfloat right, GLfloat height, GLfloat z) const;