Potentially fix a refresh problem in OpenGL mode, whereby the screens

weren't being flipped after a refresh.  This could be the cause of a
recently reported problem with fullscreen OpenGL mode 'bleed-through'
of the desktop.


git-svn-id: svn://svn.code.sf.net/p/stella/code/trunk@2165 8b62c5a3-ac7e-4cc8-8f21-d9a121418aba

src/emucore/FrameBuffer.cxx

@@ -449,6 +449,7 @@ void FrameBuffer::refresh()
       drawTIA(true);
       if(doubleBuffered)
       {
+        postFrameUpdate();
         invalidate();
         drawTIA(true);
       }