Robby Findler
|
3e9858b001
|
added an argument to open-input-text-editor so that it can lock (and unlock) the editor when editing would not be allowed.
|
2010-10-13 15:55:17 -05:00 |
|
Eli Barzilay
|
8e0f8dd39c
|
More "~n" -> "\n" changes
|
2010-08-26 12:11:00 -04:00 |
|
Eli Barzilay
|
7dc4d2e5a6
|
Change a bunch of "~%" and "~n" in format strings to "\n".
|
2010-08-25 17:17:01 -04:00 |
|
Eli Barzilay
|
fcedc30ee4
|
Rename "collects/tests/mred" -> ".../gracket".
Some additional mred-related tweaks.
|
2010-05-17 01:44:27 -04:00 |
|