From b49f3d4b51aa2c01db8ed4a44af848c13d487773 Mon Sep 17 00:00:00 2001
From: David Rose <david@ddrose.com>
Date: Thu, 19 Feb 2004 21:53:38 +0000
Subject: [PATCH] recreate pbuffer if it is lost

---
 panda/src/wgldisplay/wglGraphicsBuffer.cxx | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/panda/src/wgldisplay/wglGraphicsBuffer.cxx b/panda/src/wgldisplay/wglGraphicsBuffer.cxx
index deac9a9bd8..3ed82ed9b4 100644
--- a/panda/src/wgldisplay/wglGraphicsBuffer.cxx
+++ b/panda/src/wgldisplay/wglGraphicsBuffer.cxx
@@ -75,9 +75,12 @@ begin_frame() {
     int flag = 0;
     wglgsg->_wglQueryPbufferARB(_pbuffer, WGL_PBUFFER_LOST_ARB, &flag);
     if (flag != 0) {
-      wgldisplay_cat.info()
-        << "Pbuffer contents lost.\n";
-      return false;
+      // The pbuffer was lost, due to a mode change or something
+      // silly like that.  We must therefore recreate the pbuffer.
+      close_buffer();
+      if (!open_buffer()) {
+        return false;
+      }
     }
   }