Allow getting buffer size from window

Author: einarf

demosys/context/base.py

@@ -57,6 +57,10 @@ def __init__(self):
     def size(self):
         return (self.width, self.height)
 
+    @property
+    def buffer_size(self):
+        return (self.buffer_width, self.buffer_height)
+
     def draw(self, current_time, frame_time):
         self.set_default_viewport()
         self.timeline.draw(current_time, frame_time, self.fbo)

examples/minecraft/effects.py

@@ -12,8 +12,8 @@ def __init__(self):
         self.scene = self.get_scene('lost_empire')
 
         self.fbo = self.ctx.framebuffer(
-            self.ctx.texture(self.window.size, 4),
-            depth_attachment=self.ctx.depth_texture(self.window.size)
+            self.ctx.texture(self.window.buffer_size, 4),
+            depth_attachment=self.ctx.depth_texture(self.window.buffer_size)
         )
 
         self.sampler = self.ctx.sampler(