The following commit has been merged in the master branch:
commit c310ea3c56bf3b72e701e95d7e17a856ac638644
Author: andrei zavada <[email protected]>
Date: Tue Oct 23 19:21:29 2012 +0300
don't do gtk_flush unnecessarily after populate
diff --git a/src/ui/ed.cc b/src/ui/ed.cc
index 8d98457..782fc96 100644
--- a/src/ui/ed.cc
+++ b/src/ui/ed.cc
@@ -255,7 +255,7 @@ SExpDesignUI (aghui::SSessionChooser *parent,
populate( true);
- set_wMainWindow_interactive( true);
+ set_wMainWindow_interactive( true, false);
}
void
--
Sleep experiment manager
_______________________________________________
debian-med-commit mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-med-commit
