The following commit has been merged in the master branch:
commit 37738d9db8670192695d4f95eef9f2ef35ae4711
Author: andrei zavada <[email protected]>
Date: Wed Oct 24 01:13:21 2012 +0300
Revert "don't do gtk_flush unnecessarily after populate"
This reverts commit c310ea3c56bf3b72e701e95d7e17a856ac638644.
diff --git a/src/ui/ed.cc b/src/ui/ed.cc
index 782fc96..8d98457 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, false);
+ set_wMainWindow_interactive( true);
}
void
--
Sleep experiment manager
_______________________________________________
debian-med-commit mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-med-commit
