Robby Findler
b5b32d1d8e
added automatic compilation to the module language, plus various other tweaks (contract library enhancement, bug fixes here and there)
...
svn: r15635
2009-07-30 05:17:40 +00:00
Robby Findler
2c85b7a795
improved performance of the teaching languages
...
svn: r14394
2009-04-01 00:15:20 +00:00
Matthew Flatt
01b014c2b3
remove debugging printf
...
svn: r13515
2009-02-10 15:30:30 +00:00
Matthew Flatt
767766521c
infix for literal prefab structs, quasiquote unquoting in value positions of hash-table literals, and related changes (v4.1.4.3)
...
svn: r13504
2009-02-09 15:27:51 +00:00
Robby Findler
64e91b8362
added status information about planets behavior to the bottom of the drscheme window
...
svn: r13494
2009-02-08 21:40:51 +00:00
Robby Findler
9386174c50
undid previous accidental commit
...
svn: r13227
2009-01-19 18:03:27 +00:00
Robby Findler
af810c8a6f
added support for special-case drawing of individual edges to the graph library and support to be able to use that to redex
...
svn: r13226
2009-01-19 18:02:33 +00:00
Robby Findler
13e34d32f1
fixed a bug in the way error highlighting was disabled (for the untested code in the teaching languages)
...
svn: r12240
2008-11-05 02:17:49 +00:00
Robby Findler
ba975f0ed2
added plt version to bug report submission
...
svn: r11839
2008-09-22 19:58:20 +00:00
Robby Findler
1fa518f9d8
PR 9762
...
svn: r11776
2008-09-16 11:34:17 +00:00
Robby Findler
3c2cb93f74
adjusted colors, hopefully better for colorblind people
...
svn: r11703
2008-09-12 22:31:57 +00:00
Robby Findler
aaccfbb42f
added bug logging
...
svn: r11528
2008-09-02 21:34:56 +00:00
Robby Findler
300d1361a1
added planet bug report icon
...
svn: r11522
2008-09-02 12:46:12 +00:00
Robby Findler
7c6bf8644a
made more files begin with #lang lines
...
svn: r11429
2008-08-25 20:02:02 +00:00
Robby Findler
b9fb8b5155
removed buggy change that I accidentally committed when experimenting with SamTH's comments
...
svn: r11076
2008-08-05 03:12:56 +00:00
Robby Findler
8d53a2ec34
adjusted searching a little bit
...
svn: r11072
2008-08-04 20:19:10 +00:00
Robby Findler
a3c0e93324
improved searching (docs not yet quite done, but I want to test on other platforms ... another commit to follow)
...
svn: r10921
2008-07-26 20:06:23 +00:00
Eli Barzilay
7d50e61c7f
* Newlines at EOFs
...
* Another big chunk of v4-require-isms
* Allow `#lang framework/keybinding-lang' for keybinding files
* Move hierlist sources into "mrlib/hierlist", leave stub behind
svn: r10689
2008-07-09 07:18:06 +00:00
Matthew Flatt
44c5a75739
fix some phase problems in program-processing programs
...
svn: r10503
2008-06-29 15:11:20 +00:00
Danny Yoo
a506cefeac
Added text:get-port-name to framework, and used text:lookup-port-name to get at the editor in DrScheme error highlighting.
...
svn: r10494
2008-06-28 23:33:39 +00:00
Danny Yoo
3010e765ae
Refactored helper methods into embedded-snip-utils.ss
...
svn: r10467
2008-06-26 21:33:42 +00:00
Danny Yoo
259b6fb87c
Added defensive check for get-admin in get-enclosing-editor-frame.
...
svn: r10466
2008-06-26 21:12:15 +00:00
Danny Yoo
6624bc1dea
Recommitting fix to showing error highlighting on embeded snips.
...
svn: r10463
2008-06-26 20:22:16 +00:00
Danny Yoo
4f56c1169b
Revert "Fixed error highlighting in embedded snips."; lingering bugs
...
on get-canvas.
This reverts commit a12d0704e7a10e73988db57ad0e8a3d39998663e.
svn: r10462
2008-06-26 20:17:12 +00:00
Danny Yoo
448495aa0e
Fixed error highlighting in embedded snips.
...
svn: r10461
2008-06-26 20:12:35 +00:00
Danny Yoo
d6ee81feba
Making separate find-syntax-source-editor file.
...
svn: r10432
2008-06-23 22:15:35 +00:00
Eli Barzilay
b93d242aa5
restore unmodified version
...
svn: r10336
2008-06-18 04:53:31 +00:00
Eli Barzilay
f4926472b8
remove changed code
...
svn: r10335
2008-06-18 04:50:58 +00:00
Robby Findler
c4ac2429bb
some improvements to the repl in the module language when there is no module there
...
svn: r10261
2008-06-14 02:58:30 +00:00
Robby Findler
9120268b36
PR 9471
...
svn: r10199
2008-06-09 22:44:40 +00:00
Robby Findler
ff9ed5c64b
fixed profiling
...
svn: r10151
2008-06-05 16:52:44 +00:00
Robby Findler
995bab2d5c
cant figure out what the real bug is, so added in this defensive thing
...
svn: r10150
2008-06-05 16:38:22 +00:00
Robby Findler
612f26972e
improved the error reporting in the REPL and misc other minor changes
...
svn: r10014
2008-05-29 04:55:43 +00:00
Robby Findler
14c50faac0
new error icons
...
svn: r9942
2008-05-23 13:55:27 +00:00
Matthew Flatt
860c41d749
drs bug and test-suite fixes
...
svn: r9709
2008-05-06 23:27:23 +00:00
Eli Barzilay
b1a08edd5a
use new require specs in many places
...
svn: r8774
2008-02-23 09:42:03 +00:00
Robby Findler
a1b8ba51ad
PR 9186
...
svn: r8601
2008-02-09 14:52:01 +00:00
Robby Findler
765a40a2ea
fixed test case coverage and debugging (the latter only when the file isn't saved)
...
svn: r8423
2008-01-26 13:52:20 +00:00
Robby Findler
d219107a0a
fixed PR 9140
...
svn: r8374
2008-01-21 00:33:28 +00:00
Robby Findler
16ed718c71
fixed error reporting and brought back the red arrows for the stack trace
...
svn: r8172
2008-01-01 01:55:04 +00:00
Robby Findler
62eb32519b
minor cleanup
...
svn: r7974
2007-12-12 20:03:42 +00:00
Matthew Flatt
39cedb62ed
v3.99.0.2
...
svn: r7706
2007-11-13 12:40:00 +00:00
Robby Findler
b712773aa7
removed percentages from profiling results
...
svn: r7448
2007-10-08 12:59:43 +00:00
Robby Findler
6479c5483d
retabified
...
svn: r6999
2007-08-02 06:36:24 +00:00
Robby Findler
d1d9322d24
added begin-metadata-changes and end-metadata-changes
...
svn: r6990
2007-08-01 03:12:52 +00:00
Robby Findler
97f6934eba
undid the previous change (didnt mean to commit it ...)
...
svn: r6673
2007-06-16 16:16:13 +00:00
Robby Findler
ec718f269d
fixed a bug, worked around a windows bug
...
svn: r6672
2007-06-16 16:15:14 +00:00
Matthew Flatt
2b21cf2252
fix debug eval handler's propagation of prompt aborts
...
svn: r5980
2007-04-19 03:24:35 +00:00
Robby Findler
35fa233a93
more white-on-black colorscheme fixes
...
svn: r5906
2007-04-09 16:26:23 +00:00
Robby Findler
d688a1f9e3
misc improvements to the white on black view in drscheme (also added explicit buttons that switch to a default set of colors and also flips a preferences flag for more coarse grained control)
...
svn: r5892
2007-04-08 23:30:58 +00:00
