+ # Real screen framebuffer
+ private var screen_framebuffer_cache: Int = -1
+
+ # Real screen framebuffer name
+ fun screen_framebuffer: Int
+ do
+ var cache = screen_framebuffer_cache
+ if cache != -1 then return cache
+
+ cache = glGetIntegerv(gl_FRAMEBUFFER_BINDING, 0)
+ self.screen_framebuffer_cache = cache
+ return cache
+ end
+
+ redef fun create_gamnit