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 |
|
Mike Sperber
|
e7097ca1f7
|
Synch German string constants with latest.
svn: r15103
|
2009-06-06 11:02:00 +00:00 |
|
Robby Findler
|
51084c32f6
|
PR 10273 (missed this file in the first commit)
svn: r15024
|
2009-05-30 21:55:41 +00:00 |
|
Robby Findler
|
34c2dfe021
|
svn: r14821
|
2009-05-14 19:49:22 +00:00 |
|
Mike Sperber
|
248fb510b9
|
Synch German string constants with latest.
svn: r14763
|
2009-05-09 13:46:38 +00:00 |
|
Robby Findler
|
1cb53bdf2a
|
improvements to the preferences dialog
svn: r14670
|
2009-04-30 23:15:10 +00:00 |
|
Mike Sperber
|
1408502378
|
Translate the messages from the test engine.
This requires some refactoring to move the relevant message generation
to test-display.scm.
svn: r14668
|
2009-04-30 12:32:02 +00:00 |
|
Mike Sperber
|
699d1c2ea8
|
Synch German string constants with latest.
svn: r14553
|
2009-04-18 17:19:19 +00:00 |
|
John Clements
|
3610d7b868
|
added stepper string constant, more coming
svn: r14508
|
2009-04-14 03:17:41 +00:00 |
|
Eli Barzilay
|
c0a8a01222
|
Changed @itemize{...} to @itemize[...] (done after comparing the doc
tree and verifying that there are no changes).
(Also fixed a few bugs that were in the code)
svn: r14427
|
2009-04-05 17:46:20 +00:00 |
|
Philippe Meunier
|
1ac8f8b113
|
quaterly update
svn: r14246
|
2009-03-24 01:55:03 +00:00 |
|
Mike Sperber
|
fb133e0bb6
|
Synch German string constants with latest.
svn: r14011
|
2009-03-08 17:52:29 +00:00 |
|
Robby Findler
|
036c315621
|
added more info to popup menu
svn: r13894
|
2009-03-02 02:06:47 +00:00 |
|
Mike Sperber
|
dc6dbae1dc
|
Synch German string constants with latest.
svn: r13879
|
2009-02-28 13:22:02 +00:00 |
|
Robby Findler
|
42e64a0f23
|
fixed default auto text bug and added string constant for auto text
svn: r13810
|
2009-02-24 01:47:48 +00:00 |
|
Mike Sperber
|
ba0f53dfed
|
Synch German string constants with latest.
svn: r13655
|
2009-02-16 07:51:27 +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 |
|
Mike Sperber
|
2fdc3ad68b
|
Synch German string constants with latest.
svn: r13337
|
2009-01-31 18:55:24 +00:00 |
|
Robby Findler
|
ef36f329b7
|
added log-viewing support to DrScheme
svn: r13291
|
2009-01-27 14:23:18 +00:00 |
|
Robby Findler
|
c17872a338
|
fixed language printing dialogg labels
svn: r13280
|
2009-01-25 13:14:56 +00:00 |
|
Mike Sperber
|
6669f3da21
|
Synch German string constants with latest; some fixes.
svn: r12925
|
2008-12-22 13:50:04 +00:00 |
|
Robby Findler
|
c2685be3a9
|
added preference that disables overwrite mode
svn: r12917
|
2008-12-21 07:21:28 +00:00 |
|
Robby Findler
|
76fc27813a
|
added overwrite mode menu item
svn: r12916
|
2008-12-20 22:56:29 +00:00 |
|
Robby Findler
|
aa749bfe1f
|
changed the memory limits in drscheme to match the new way they work
svn: r12873
|
2008-12-16 20:57:52 +00:00 |
|
Mike Sperber
|
11a9c3c929
|
Synch German string constants with latest.
svn: r12483
|
2008-11-18 09:19:39 +00:00 |
|
Robby Findler
|
256182ecbd
|
adjusted the automatic compilation to make it more disableable
svn: r12397
|
2008-11-11 23:56:54 +00:00 |
|
Mike Sperber
|
95767e38c0
|
Synch german-string-constants.ss with latest.
svn: r12353
|
2008-11-08 17:51:53 +00:00 |
|
Robby Findler
|
92dcfca644
|
improved tab navigation keybindings
svn: r12189
|
2008-10-31 01:20:39 +00:00 |
|
Robby Findler
|
47297fac9f
|
added normalization during pasting to eliminate various ligatures, etc
svn: r12183
|
2008-10-30 21:38:40 +00:00 |
|
Philippe Meunier
|
866260c601
|
find and replace, plus misc
svn: r12166
|
2008-10-29 09:25:15 +00:00 |
|
Eli Barzilay
|
0899471d32
|
use the default language if there was an error reading the preference file
svn: r11960
|
2008-10-07 14:07:56 +00:00 |
|
Mike Sperber
|
f5326ecb0f
|
Synch with latest.
svn: r11825
|
2008-09-21 04:34:07 +00:00 |
|
Robby Findler
|
cce9d7d6e5
|
improved keybindings for search
svn: r11668
|
2008-09-12 02:57:21 +00:00 |
|
Chongkai Zhu
|
d793555e1d
|
svn: r11582
|
2008-09-09 03:53:05 +00:00 |
|
Robby Findler
|
805d4eb73f
|
refined searching
svn: r11581
|
2008-09-09 03:43:57 +00:00 |
|
Robby Findler
|
aaccfbb42f
|
added bug logging
svn: r11528
|
2008-09-02 21:34:56 +00:00 |
|
Robby Findler
|
fa10d3f67c
|
improved insert fraction dialog
svn: r11501
|
2008-08-31 21:31:07 +00:00 |
|
Robby Findler
|
6d34eaf333
|
moved the first-line-text stuff into the framework, added docs, added a pref to disable it and made it work a little bit better with check syntax
svn: r11477
|
2008-08-29 04:24:34 +00:00 |
|
Mike Sperber
|
cd421e51da
|
Synch with latest.
svn: r11169
|
2008-08-09 13:59:02 +00:00 |
|
Robby Findler
|
c9933fdd6b
|
Chongkai's changes
svn: r11136
|
2008-08-08 03:59:46 +00:00 |
|
Robby Findler
|
3f14a1325c
|
all drs test suites now passing except module language
svn: r11091
|
2008-08-05 20:27:17 +00:00 |
|
Robby Findler
|
2ee24a173e
|
changed pretty-big-scheme string constants
svn: r11057
|
2008-08-03 23:56:26 +00:00 |
|
Robby Findler
|
0f9964e875
|
changing wording of kill/break in menus
svn: r11046
|
2008-08-03 13:29:17 +00:00 |
|
Mike Sperber
|
50f1e13652
|
Synch with latest.
svn: r11034
|
2008-08-02 15:15:58 +00:00 |
|
Robby Findler
|
e7c3919d72
|
removed obsolete searching preference
svn: r11004
|
2008-07-31 12:07:36 +00:00 |
|
Chongkai Zhu
|
6b42b0dfe6
|
svn: r10991
|
2008-07-30 21:59:27 +00:00 |
|
Robby Findler
|
f764966843
|
renamed anchor pref
svn: r10983
|
2008-07-30 03:52:30 +00:00 |
|
Robby Findler
|
b088ac9c74
|
more adjustments to searching and related things
svn: r10939
|
2008-07-28 03:48:23 +00:00 |
|
Robby Findler
|
f6714c551c
|
changed menu keybinding for find so that it toggles the keyboard focus back and forth with the searching window
svn: r10934
|
2008-07-27 13:57:33 +00:00 |
|
Robby Findler
|
12d18d8107
|
adjusted the keybindings for search a little bit
svn: r10931
|
2008-07-27 03:43:36 +00:00 |
|