Eli Barzilay
fbb80f7389
Welcome to a new PLT day.
...
svn: r10718
2008-07-11 10:02:50 +00:00
Eli Barzilay
bb562f9ee4
* some fixes to make-search.ss
...
* rename search-context.html to .htm to avoid being deleted by
setup/scribble
* added context to help/search interface
svn: r10717
2008-07-11 09:50:29 +00:00
Eli Barzilay
dc5211f363
improve status message clearing for input fields ("" is false in javascript)
...
svn: r10716
2008-07-11 08:48:53 +00:00
Eli Barzilay
f44a06a4da
Added an `hq' argument for a pre-filter argument, parsed on a separate
...
page instead of in index.html, so that it can be removed from the url
to avoid resetting the cookie on every refresh.
svn: r10715
2008-07-11 08:40:11 +00:00
Eli Barzilay
d58b1ffdac
Use a different strategy to decide when to insert/delete auto-text,
...
one that should play nicer with the metadata thing for the teaching
languages.
svn: r10714
2008-07-11 05:03:18 +00:00
Eli Barzilay
b19301e100
warning when collection paths are empty
...
svn: r10712
2008-07-10 20:28:18 +00:00
Eli Barzilay
23cf600c47
Welcome to a new PLT day.
...
svn: r10711
2008-07-10 18:59:13 +00:00
Robby Findler
6b9690da71
forgot to add this in the last commit
...
svn: r10709
2008-07-10 18:03:39 +00:00
Robby Findler
1858924c50
moved the tex-table.ss file somewhere accessible and documented it
...
svn: r10708
2008-07-10 17:21:00 +00:00
Matthew Flatt
de3b46aa5b
refine fix of equal? on immutable hash tables and add a test
...
svn: r10707
2008-07-10 13:50:56 +00:00
Eli Barzilay
14cd61f353
fix prefiltering
...
svn: r10705
2008-07-10 07:12:40 +00:00
Eli Barzilay
eab91baa97
fix remv* and remq* types (PR9599)
...
svn: r10704
2008-07-10 07:02:25 +00:00
Matthias Felleisen
7d2dac6fd3
world comments
...
svn: r10702
2008-07-09 19:41:31 +00:00
Matthias Felleisen
e5a28ba411
svn: r10701
2008-07-09 17:51:05 +00:00
Stevie Strickland
63a4e5af2e
This was incorrectly syntaxed.
...
svn: r10700
2008-07-09 17:39:31 +00:00
John Clements
63f0e97490
doc fix on equal? for hashes
...
svn: r10699
2008-07-09 17:02:14 +00:00
John Clements
78075fcd25
doc fix on equal? for hashes
...
svn: r10698
2008-07-09 16:59:12 +00:00
Matthew Flatt
a4cc0f7890
%-encoding extension in module paths; new r6rs library name encoding
...
svn: r10697
2008-07-09 15:41:38 +00:00
Robby Findler
2f22ed7c41
renamed the variable bound to the collection-paths list-box object
...
svn: r10696
2008-07-09 11:33:38 +00:00
Robby Findler
f65e0ffeb1
added a separate debugger callback, instead of overriding execute-callback
...
svn: r10695
2008-07-09 11:30:26 +00:00
Eli Barzilay
e957b25ff1
Welcome to a new PLT day.
...
svn: r10694
2008-07-09 11:17:59 +00:00
Robby Findler
21b29aca17
use a preference to remember the sorting order for the define popup
...
svn: r10693
2008-07-09 11:14:52 +00:00
Eli Barzilay
d443abe50d
documented on-click-always
...
svn: r10692
2008-07-09 09:52:20 +00:00
Eli Barzilay
a71a5bcf45
Make categories in the language dialog expand/collapse on a single
...
click, requires extending hierlists with `on-click-always'
svn: r10691
2008-07-09 09:47:24 +00:00
Eli Barzilay
91fb6ffce0
move sandbox-coverage to scheme/private
...
svn: r10690
2008-07-09 07:20:51 +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
Eli Barzilay
1b525f60cc
Welcome to a new PLT day.
...
svn: r10688
2008-07-09 02:30:05 +00:00
Eli Barzilay
afad5af486
* Added a `teachpack' function to do teachpack titles
...
* Made it add "foo teachpack" as an index entry
svn: r10687
2008-07-09 02:28:20 +00:00
Matthew Flatt
4df95e9da7
fix unwrap for an uncaught non-&serious condition
...
svn: r10686
2008-07-09 01:24:32 +00:00
Matthew Flatt
9af966f378
apply (a variant of) Derick Eddington's patch to simulate an initial R6RS exception handler that returns for non-&serious conditions
...
svn: r10685
2008-07-09 01:17:25 +00:00
Chongkai Zhu
0536cbf54a
svn: r10682
2008-07-08 17:33:00 +00:00
Eli Barzilay
970f768309
improved navset padding
...
svn: r10681
2008-07-08 16:15:05 +00:00
Eli Barzilay
94748ff8f8
removed unused commented-out code
...
svn: r10680
2008-07-08 16:06:48 +00:00
Eli Barzilay
4f76d0d589
hint when there are no results
...
svn: r10679
2008-07-08 15:56:19 +00:00
Eli Barzilay
5f30464c0e
toc links fix
...
svn: r10678
2008-07-08 15:32:47 +00:00
Matthew Flatt
d406fb6dcf
improved and documented new stack-registration trampoline
...
svn: r10677
2008-07-08 15:31:06 +00:00
Eli Barzilay
c127e5fdb7
missing space
...
svn: r10676
2008-07-08 15:21:56 +00:00
Eli Barzilay
c408a4d773
added some index entries
...
svn: r10675
2008-07-08 15:19:31 +00:00
Matthew Flatt
bdbcd1a56c
doc corrections/clarifications for 'when' and 'lambda'
...
svn: r10674
2008-07-08 14:55:06 +00:00
Robby Findler
8de7171a37
overrides on-new-image-snip to create images with masks, by default
...
svn: r10672
2008-07-08 02:58:50 +00:00
Eli Barzilay
6756f05048
Welcome to a new PLT day.
...
svn: r10641
2008-07-07 07:26:17 +00:00
Eli Barzilay
9f31b56f4d
fix egg
...
svn: r10640
2008-07-07 03:24:28 +00:00
Robby Findler
6d3ab9487f
adjusted keybindings
...
svn: r10639
2008-07-07 03:12:43 +00:00
Robby Findler
e090a76187
SK requested popup menu on images to save them
...
svn: r10637
2008-07-07 02:53:09 +00:00
Robby Findler
d313fd72c3
fixed a bug SK reported -- when saving locked files in the teaching language, the metadata wouldnt be inserted properly
...
svn: r10635
2008-07-06 23:32:14 +00:00
Danny Yoo
7816a6899c
Added logic to treat embedded editors differently when computing tail call arrow positions in Check Syntax.
...
svn: r10634
2008-07-06 21:47:54 +00:00
Eli Barzilay
d837a0e74c
Welcome to a new PLT day.
...
svn: r10632
2008-07-06 15:58:23 +00:00
Eli Barzilay
9c4d41fb63
better vertical placement of search box
...
svn: r10631
2008-07-06 14:58:20 +00:00
Eli Barzilay
9629528865
Search box has same font size as the rest of the navset, and is wider.
...
svn: r10629
2008-07-06 05:10:52 +00:00
Eli Barzilay
45b2141fa2
* Removed contents' and
index' links
...
* Don't show `top' link when there is none (fine now since the above
are gone)
* Don't show right side of navbar when there are no links in it (which
is only at the start page)
svn: r10628
2008-07-06 05:00:26 +00:00