gui/gui-doc
Robby Findler 18404570dd improve support for editing the ascii art (unicode) #2d rectangles
specifically, add a mode that avoids breaking the edges of
the rectangle when you type and add a keystroke for adding
a new in the existing row
2016-07-30 04:55:01 -05:00
..
embedded-gui Remove extra directories. 2014-12-02 02:33:07 -05:00
mrlib generalize set-interactive-write-handler & use it in text:ports-mixin 2016-05-28 18:34:52 -05:00
scribblings improve support for editing the ascii art (unicode) #2d rectangles 2016-07-30 04:55:01 -05:00
info.rkt gui-doc now depends on xrepl doc. 2016-07-26 10:30:05 -04:00
LICENSE.txt Remove extra directories. 2014-12-02 02:33:07 -05:00