# HG changeset patch
# User Ivo Smits <Ivo@UCIS.nl>
# Date 1381935619 -7200
# Node ID 82290dc1403c195e5745db62eeb520364cffbf1c
# Parent  e811297f5aa48e436cd0ffb9f9f8e07344d7ce06
Fix crash in FBGUI renderer shutdown

diff -r e811297f5aa4 -r 82290dc1403c FBGUI/FBGUI.cs
--- a/FBGUI/FBGUI.cs	Wed Oct 16 16:58:39 2013 +0200
+++ b/FBGUI/FBGUI.cs	Wed Oct 16 17:00:19 2013 +0200
@@ -787,7 +787,10 @@
 				PaintTimer = null;
 			}
 			Orphaned();
-			if (Frontbuffer != null) Frontbuffer.Dispose();
+			lock (RenderLock) {
+				if (Frontbuffer != null) Frontbuffer.Dispose();
+				Frontbuffer = null;
+			}
 		}
 		public Bitmap LockBitmapBuffer() {
 			Monitor.Enter(RenderLock);