private Framebuffer GetPickingFramebuffer(int width, int height)
{
Framebuffer framebuffer = this.pickingFramebuffer;
if (framebuffer == null)
{
this.pickingFramebuffer = CreatePickFramebuffer(width, height);
}
else if (framebuffer.Width != width ||
framebuffer.Height != height)
{
framebuffer.Dispose();
this.pickingFramebuffer = CreatePickFramebuffer(width, height);
}
return(this.pickingFramebuffer);
}