Matthew Flatt 551fd1c68d DrRacket: disable "compiled/drracket" during skipped-file load ... If DrRacket decides to skip a file for "populate compiled", then there may exist a file in "compiled/drracket", anyway, or there may be such a file for some depenency of the skipped file. Before this patch, that situation was considered to be a broken installation, and things would go bad in the likely case that the "compiled/drracket" files were out of date. To avoid that problem, parameterize `used-compiled-file-paths' to drop the DrRacket "populate compiled" target while loading the skipped file. This change sets up a more selective "populate compiled" where a package's modules might switch between eligible and ineligible for compilation by DrRacket.		2013-04-16 11:23:16 -06:00
..
syncheck	fix bug in drracket's online check syntax renaming setup	2013-03-25 21:04:20 -05:00
app.rkt	remove obsolete "based on" entry	2012-10-27 21:34:08 -06:00
auto-language.rkt
bindings-browser.rkt
bitmap-message.rkt
colored-errors.rkt	#lang racket' -> #lang racket/base' conversions in drracket and in redex.	2012-11-07 08:03:44 -05:00
debug.rkt	Argh, sorry again.	2013-03-21 22:48:47 -05:00
dock-icon.rkt
drracket-normal.rkt	put the racket version number in the title bar for the splash screen	2013-01-02 10:19:38 -06:00
drsig.rkt	add the ability to load in new mixins to DrRacket's	2013-04-05 22:39:20 -05:00
eb.rkt
embedded-snip-utils.rkt	Fix lots of indentation mistakes.	2013-03-14 10:55:47 -04:00
eval-helpers.rkt	DrRacket: disable "compiled/drracket" during skipped-file load	2013-04-16 11:23:16 -06:00
eval.rkt	Argh, sorry again.	2013-03-21 22:48:47 -05:00
expanding-place.rkt	fix a leak in DrRacket	2013-03-24 18:03:33 -05:00
font.rkt
frame-icon.rkt
frame.rkt	add support for updating packages via	2013-04-05 10:22:33 -05:00
get-defs.rkt
get-extend.rkt	make the get/extend extension more flexible	2013-04-06 19:04:05 -05:00
help-desk.rkt
honu-logo.rkt
init.rkt
insert-large-letters.rkt	Add more specific class types instead of Any.	2012-10-27 17:44:52 -07:00
interface.rkt
key.rkt
label-frame-mred.rkt
language-configuration.rkt	Fix lots of indentation mistakes.	2013-03-14 10:55:47 -04:00
language-object-contract.rkt	made the 'one-line-summary' of the drracket languages be in tooltips,	2012-11-17 20:15:19 -06:00
language.rkt	remove 'create executable' functionality from drracket for all	2013-01-05 12:19:26 -06:00
launcher-bootstrap.rkt
launcher-mred-bootstrap.rkt
launcher-mz-bootstrap.rkt
link.rkt
local-member-names.rkt	fix a bug that inhibited online compilation from writing out .zo files	2013-03-14 16:36:51 -05:00
main.rkt	change the default test coverage colors	2013-02-03 09:25:24 -06:00
modes.rkt
module-browser.rkt
module-language-tools.rkt	adjust drracket so check syntax can add its preferences itself	2013-01-08 01:01:40 -06:00
module-language.rkt	track dependencies from files with errors separately	2013-04-15 21:12:20 -05:00
multi-file-search.rkt
number-snip.rkt
palaka.rkt
parse-logger-args.rkt	Improve the logger GUI in DrRacket	2012-12-26 22:38:42 -06:00
pict-snip.rkt
profile-drs.rkt	Fix lots of indentation mistakes.	2013-03-14 10:55:47 -04:00
recon.rkt
rectangle-intersect.rkt
rep.rkt	Argh, sorry again.	2013-03-21 22:48:47 -05:00
stack-checkpoint.rkt
stick-figures.rkt
syncheck-debug.rkt
text.rkt	Lots of bad TAB eliminations.	2012-11-07 11:22:20 -05:00
tool-contract-language.rkt
tools-drs.rkt
tools.rkt
tooltip.rkt	fix bug in recent tooltip-related commit	2012-11-17 21:26:02 -06:00
tracing.rkt	detect when tracing:reset doesn't need to happen and skip it	2012-11-11 08:53:12 -06:00
ts.rkt
unit.rkt	move the call that sets the focus later so it actually happens	2013-04-14 18:48:07 -05:00