Matthew Flatt 63cb0cfad9 get rid of the old barriers around GUI event dispatch ... since, on further reflection, it doesn't seem needed, and a simple prompt seems to make everything work right original commit: 36155e913e9f9ab94667e0c4e0abc8038ffda0a6		2011-01-17 09:21:50 -07:00
..
Draw_and_GUI_5_1.txt	get rid of the old barriers around GUI event dispatch	2011-01-17 09:21:50 -07:00