.. |
module-interface
|
|
|
syncheck
|
Arrows disappear immediately upon scroll; reduce scroll delay
|
2011-11-25 18:40:19 -07:00 |
app.rkt
|
|
|
auto-language.rkt
|
adjust the code that checks to see if a file is in the module language so that it uses
|
2011-10-16 17:39:47 -05:00 |
bindings-browser.rkt
|
|
|
bitmap-message.rkt
|
|
|
colored-errors.rkt
|
|
|
debug.rkt
|
Fixed some bugs in the double-stacktrace window; adjusted the repl to
|
2011-11-07 07:42:14 -06:00 |
drracket-normal.rkt
|
adjust various plumbing to get the drracket icon to the startup screen. Only to realize
|
2011-09-30 17:08:03 -05:00 |
drsig.rkt
|
Improve the backtrace window to make it show both the errortrace and the
|
2011-10-18 10:56:05 -05:00 |
eb.rkt
|
|
|
embedded-snip-utils.rkt
|
|
|
eval-helpers.rkt
|
Added online expansion and compilation of files
|
2011-08-02 16:28:16 -05:00 |
eval.rkt
|
Added online expansion and compilation of files
|
2011-08-02 16:28:16 -05:00 |
expanding-place.rkt
|
adjust the colors of the little dot for online check syntax so it
|
2011-10-25 16:16:22 -05:00 |
font.rkt
|
|
|
frame-icon.rkt
|
adjust various plumbing to get the drracket icon to the startup screen. Only to realize
|
2011-09-30 17:08:03 -05:00 |
frame.rkt
|
add a 'find longest line' menu item to the edit menu
|
2011-10-07 11:48:39 -05:00 |
get-defs.rkt
|
|
|
get-extend.rkt
|
Added online expansion and compilation of files
|
2011-08-02 16:28:16 -05:00 |
help-desk.rkt
|
|
|
honu-logo.rkt
|
|
|
init.rkt
|
add frame:focus-table-mixin & related things to be able to make drracket
|
2011-09-05 08:30:49 -05:00 |
insert-large-letters.rkt
|
|
|
interface.rkt
|
Make `create-new-tab' public.
|
2011-10-17 13:18:18 -04:00 |
key.rkt
|
|
|
label-frame-mred.rkt
|
|
|
language-configuration.rkt
|
adjust the way languages are chosen when opening a file.
|
2011-10-08 09:46:06 -05:00 |
language-object-contract.rkt
|
|
|
language.rkt
|
add frame:focus-table-mixin & related things to be able to make drracket
|
2011-09-05 08:30:49 -05:00 |
launcher-bootstrap.rkt
|
|
|
launcher-mred-bootstrap.rkt
|
|
|
launcher-mz-bootstrap.rkt
|
|
|
link.rkt
|
Added online expansion and compilation of files
|
2011-08-02 16:28:16 -05:00 |
local-member-names.rkt
|
add menus and keybindings for jumping around to the errors in the defs
|
2011-09-19 22:47:47 -05:00 |
main.rkt
|
Remove preference for old-style menu bindings, and instead add a sample
|
2011-10-17 14:09:26 -04:00 |
modes.rkt
|
|
|
module-browser.rkt
|
|
|
module-language-tools.rkt
|
when the filename changes, re-run the "what language are we in" code to
|
2011-09-05 14:13:48 -05:00 |
module-language.rkt
|
adjust the colors of the little dot for online check syntax so it
|
2011-10-25 16:16:22 -05:00 |
multi-file-search.rkt
|
Added online expansion and compilation of files
|
2011-08-02 16:28:16 -05:00 |
number-snip.rkt
|
|
|
palaka.rkt
|
|
|
profile-drs.rkt
|
|
|
recon.rkt
|
|
|
rep.rkt
|
Fixed some bugs in the double-stacktrace window; adjusted the repl to
|
2011-11-07 07:42:14 -06:00 |
stack-checkpoint.rkt
|
Fixed some bugs in the double-stacktrace window; adjusted the repl to
|
2011-11-07 07:42:14 -06:00 |
stick-figures.rkt
|
|
|
syncheck-debug.rkt
|
|
|
text.rkt
|
|
|
tool-contract-language.rkt
|
|
|
tools-drs.rkt
|
Added online expansion and compilation of files
|
2011-08-02 16:28:16 -05:00 |
tools.rkt
|
Added online expansion and compilation of files
|
2011-08-02 16:28:16 -05:00 |
tooltip.rkt
|
avoid calling the show method for tooltips unless the frame is shown.
|
2011-10-08 16:50:21 -05:00 |
tracing.rkt
|
Added online expansion and compilation of files
|
2011-08-02 16:28:16 -05:00 |
ts.rkt
|
|
|
unit.rkt
|
add a menu item to put the interactions window beside/below the definitions window
|
2011-10-29 20:56:42 -05:00 |