[plt-scheme] Double Spaced Print Definitions in Latest 3.99.0.9

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Jan 16 18:21:31 EST 2008

At Wed, 16 Jan 2008 14:50:26 -0700, "Doug Williams" wrote:
> I just loaded the latest build of 3.99.0.9 and whenever I use 'Print
> Definitions ...', the output is double-spaced.  I couldn't find any place in
> the preferences to set this.  The previous version I was using,
> 3.99.0.9-svn5Jan2006, didn't double space.  I also have V372 loaded and it
> single-spaces.

I think I've fixed this for the next build.

Matthew



Posted on the users mailing list.