gui/gui-lib
Matthew Flatt 8ae077c22a Windows play-sound: use the right custodian registration
Otherwise, a GC tends to terminate the sound.
2016-01-04 19:19:51 -07:00
..
embedded-gui Remove extra directories. 2014-12-02 02:33:07 -05:00
framework make error message a little more informative 2015-12-29 21:25:28 -06:00
hierlist Remove extra directories. 2014-12-02 02:33:07 -05:00
icons Remove extra directories. 2014-12-02 02:33:07 -05:00
mred Windows play-sound: use the right custodian registration 2016-01-04 19:19:51 -07:00
mrlib Add snip canvases to mrlib, from unstable/gui/snip. 2015-09-11 17:19:40 -05:00
racket Remove extra directories. 2014-12-02 02:33:07 -05:00
scheme Remove extra directories. 2014-12-02 02:33:07 -05:00
scribble/private fix newline insertion position calculation 2015-11-14 09:53:26 -06:00
info.rkt Windows: change play-sound to use MCI 2016-01-04 17:41:53 -07:00
LICENSE.txt Remove extra directories. 2014-12-02 02:33:07 -05:00