more work on the Framebuffer class