# HG changeset patch
# User ib
# Date 1359031755 0
# Node ID e745b22750f6d1c160cf1023fbbf695a5d0f6ca3
# Parent  9c7bab18690c8958fb8b17932651a15e7cc1021d
Add some notes for later checking and fixing.

diff -r 9c7bab18690c -r e745b22750f6 gui/interface.c
--- a/gui/interface.c	Wed Jan 23 17:22:40 2013 +0000
+++ b/gui/interface.c	Thu Jan 24 12:49:15 2013 +0000
@@ -269,6 +269,9 @@
         ass_bottom_margin = gtkASS.bottom_margin;
 
         cfg_write();
+
+        // NOTE TO MYSELF: destroy the windows
+
         wsDone();
     }
 
diff -r 9c7bab18690c -r e745b22750f6 gui/ui/main.c
--- a/gui/ui/main.c	Wed Jan 23 17:22:40 2013 +0000
+++ b/gui/ui/main.c	Thu Jan 24 12:49:15 2013 +0000
@@ -96,6 +96,7 @@
    RenderAll( &guiApp.mainWindow,guiApp.mainItems,guiApp.IndexOfMainItems,mainDrawBuffer );
    uiMainRender=False;
   }
+ // NOTE TO MYSELF: probably not, if uiMainRender is False
  wsImageDraw( &guiApp.mainWindow );
 // XFlush( wsDisplay );
 }
diff -r 9c7bab18690c -r e745b22750f6 gui/wm/ws.c
--- a/gui/wm/ws.c	Wed Jan 23 17:22:40 2013 +0000
+++ b/gui/wm/ws.c	Thu Jan 24 12:49:15 2013 +0000
@@ -294,6 +294,7 @@
 
 void wsDone(void)
 {
+    // NOTE TO MYSELF: uninit wsInit stuff?
     //XCloseDisplay(wsDisplay);
 }