/// <summary>
/// Highlights the given point.
/// </summary>
protected void HighlightPoint(Scene scene, Point point, Color color, float size)
{
scene.Lighting.Disable();
gl.glPointSize(size);
color.Setup();
gl.glBegin(gl.GL_POINTS);
point.glVertex();
gl.glEnd();
}
