gui/gui-lib
Robby Findler e9e2940138 adjust indentation so that it treats only symbols as things with
special indentation

(this could only come about if the regexp specification in the prefernces
matched (the printed out) version of strings, so it wouldn't happen with
the default preferences)
2016-02-09 13:44:30 -06:00
..
embedded-gui Remove extra directories. 2014-12-02 02:33:07 -05:00
framework adjust indentation so that it treats only symbols as things with 2016-02-09 13:44:30 -06: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 avoid spurious screen refresh on text-measure operations 2016-02-05 16:51:39 -07:00
mrlib delay the creation of the information in the info text 2016-02-02 09:36:15 -06: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 avoid spurious screen refresh on text-measure operations 2016-02-05 16:51:39 -07:00
LICENSE.txt Remove extra directories. 2014-12-02 02:33:07 -05:00