On Wed, Mar 26, 2008 at 9:44 AM, Matthew Flatt <<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> <div class="Ih2E3d">At Mon, 24 Mar 2008 11:40:23 -0400, "Ben Simon" wrote:<br> > Running the following in DrScheme causes is it to crash:<br> <br> </div>Thanks for the program. Unfortunately, I still haven't been able to<br> reproduce the crash on my Vista machine.</blockquote><div><br>Interesting - well, thanks for trying.<br><br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> I don't suppose you have any kind of Windows extension installed that<br> is related to the clipboard? (I know that this is a difficult question,<br> given how common it is for little Windows tools to interpose on the<br> event stream.)</blockquote><br>Hmmm, maybe - I do have a program that watches for screen shots, and that deals with the clipboard.  I'll try disabling that program as well as anything else I can think of, and will see if that has any effect.<br> <br>-Ben<br></div><br>-- <br>Have an idea for software? I can make it happen - <a href="http://www.ideas2executables.com">http://www.ideas2executables.com</a><br>My Blog: <a href="http://benjisimon.blogspot.com">http://benjisimon.blogspot.com</a>