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);
}
private Framebuffer GetPickingFramebuffer()
{
Framebuffer framebuffer = this.pickingFramebuffer;
if (framebuffer == null)
{
this.pickingFramebuffer = CreatePickFramebuffer(this.Scene.Canvas.Width, this.Scene.Canvas.Height);
}
else if (framebuffer.Width != this.Scene.Canvas.Width ||
framebuffer.Height != this.Scene.Canvas.Height)
{
framebuffer.Dispose();
this.pickingFramebuffer = CreatePickFramebuffer(this.Scene.Canvas.Width, this.Scene.Canvas.Height);
}
return(this.pickingFramebuffer);
}
