Commit Graph

36 Commits

Author SHA1 Message Date
Mike Sperber
59d378ce1e Synch German string constants with latest. 2012-11-10 09:18:50 +01:00
Mike Sperber
114f47fad6 Merge branch 'master' of git.racket-lang.org:plt 2012-11-10 08:57:48 +01:00
Eli Barzilay
672910f27b Lots of bad TAB eliminations.
I started from tabs that are not on the beginning of lines, and in
several places I did further cleanings.

If you're worried about knowing who wrote some code, for example, if you
get to this commit in "git blame", then note that you can use the "-w"
flag in many git commands to ignore whitespaces.  For example, to see
per-line authors, use "git blame -w <file>".  Another example: to see
the (*much* smaller) non-whitespace changes in this (or any other)
commit, use "git log -p -w -1 <sha1>".
2012-11-07 11:22:20 -05:00
Mike Sperber
c39ad69447 Synch German string constants with latest. 2012-10-20 15:17:01 +02:00
Mike Sperber
c8dc421ec3 Synch German string constants with latest. 2012-10-13 17:00:23 +02:00
Mike Sperber
25e5fc715c Synch German string constants with latest. 2012-10-13 15:48:05 +02:00
Mike Sperber
b420e40b0e Synch German string constants with latest. 2012-09-25 09:51:01 +02:00
Robby Findler
c675cf47f0 adjust the print-to-ps preference in DrRacket so that you can also
choose to print to pdf as well. Also, enable the preference
under linux (ie, make it available to be chosen-- all platforms
still default to printing via the platform-specific mechanism)
2012-09-17 10:47:22 -05:00
Mike Sperber
ae4613271c Synch German string constants with latest. 2012-08-15 14:15:40 +02:00
Robby Findler
2256ca39ea raise minimum memory limit in DrRacket to 8 megabytes 2012-08-07 12:12:56 -05:00
Mike Sperber
095cf488a3 Synch German string constants with latest. 2012-07-28 11:22:20 +02:00
Mike Sperber
0dd571ef53 Synch German string constants with latest. 2012-07-22 16:37:44 +02:00
Mike Sperber
cb438298cd Synch German string constants with latest. 2012-03-31 14:06:08 +02:00
Mike Sperber
73f188c9e8 Synch German string constants with latest. 2012-02-11 14:54:21 +01:00
Neil Toronto
4a09c04581 Lightened icon outlines
Added lambda icon, foot icon, search forward/back icons

Doc fixes

Stepper: icons on buttons, logo and about dialog

Macro stepper: icons on buttons, logo and about dialog

Please merge into release
2012-01-15 22:19:55 -07:00
Mike Sperber
0f2c5d20ea Synch German string constants with latest. 2011-12-10 14:05:13 +01:00
Robby Findler
2899fd0903 get rid of the obscenely long menu item name
closes PR 12423
2011-12-06 15:42:57 -06:00
Robby Findler
1ca79003f1 remove ? from German string constant to match similar removal from the English
(checked with Mike Sperber first)
2011-12-01 07:22:08 -06:00
Mike Sperber
17ca888a97 Synch German string constants with latest. 2011-11-05 13:31:47 +01:00
Mike Sperber
007927892b Sync German string constants with latest. 2011-10-29 12:06:54 +02:00
Eli Barzilay
c66c669ee3 Remove preference for old-style menu bindings, and instead add a sample
keybindings file that does that.

(This reverts most of commit 26f6c588fcfa45a1a12c275e5824aede8ba23e3e.)
2011-10-17 14:09:26 -04:00
Mike Sperber
2db0791e27 Synch German string constants with latest. 2011-10-15 14:28:22 +02:00
Mike Sperber
334bf53bb9 Synch German string constants with latest. 2011-10-09 15:21:00 +02:00
Mike Sperber
390d9c007d Synch German string constants with latest. 2011-10-02 13:47:23 +02:00
Mike Sperber
a2b4d30441 Synch German string constants with latest. 2011-09-24 04:58:11 +02:00
Robby Findler
048fa1d7b8 get rid of the "open here" functionality
This is a backwards incompatible change; there is a more complex change
that just stubs this stuff out that may be better that we may need
isntead of this commit.
2011-09-21 22:53:03 -05:00
Mike Sperber
4c59f02cb0 Symch German string constants with latest. 2011-09-17 11:10:56 +02:00
Mike Sperber
559a37ac1e Synch German string constants with latest. 2011-09-10 13:35:31 +02:00
Mike Sperber
e4da28e1c0 In German string constants, move a & menu accelerator marker
... to a more appropriate place.
2011-09-03 16:23:33 +02:00
Mike Sperber
981d6874de Synch German string constants with latest. 2011-09-03 13:09:38 +02:00
Mike Sperber
59be05131c Synch German string constants with latest. 2011-08-27 14:10:59 +02:00
Mike Sperber
e286898f8b Synch German string constants with latest. 2011-08-13 16:25:18 +02:00
Mike Sperber
429c3b0d93 Synch German string constants with latest. 2011-07-16 13:19:00 +02:00
Eli Barzilay
3157955d40 ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
Mike Sperber
0648d3ceb4 Synch German string constants with latest. 2011-06-26 20:02:39 +02:00
Robby Findler
dc0198a784 fixed up the string constants collection 2011-04-26 23:26:19 -05:00