gui/gui-lib
2016-10-10 12:24:23 +02:00
..
embedded-gui Remove extra directories. 2014-12-02 02:33:07 -05:00
framework Added a preferences list for identifiers which behave like ellipses. 2016-10-10 12:24:23 +02:00
hierlist Remove extra directories. 2014-12-02 02:33:07 -05:00
icons include icons needed by "gui-lib" in the package 2016-01-08 16:31:52 -07:00
mred GTK+ 3: fix problem with sizing initially unshown items 2016-08-20 09:26:03 -06:00
mrlib fix marshalling bug in syntax-browser 2016-07-22 03:25:04 -05:00
racket racket/gui/interactive should be using racket/base 2016-07-25 22:39:16 -04:00
scheme Remove extra directories. 2014-12-02 02:33:07 -05:00
scribble/private fix search for containing text region 2016-09-11 20:51:19 -05:00
info.rkt improve support for editing the ascii art (unicode) #2d rectangles 2016-07-30 04:55:01 -05:00
LICENSE.txt Remove extra directories. 2014-12-02 02:33:07 -05:00