Update the text message at the top of WXME files, including the URL.
Also, update the message in existing files. Change the instructions to use DrRacket or DrScheme version <previous-version>, and for really old files (pre-v4), just use 4 for the version. Also just drop the second paragraph in these files -- "Most likely, it was created by" is not needed when for these files we know that this is true.
This commit is contained in:
parent
7f6efdc8be
commit
bba676d90c
|
@ -1,13 +1,10 @@
|
||||||
#reader(lib"read.ss""wxme")WXME0108 ##
|
#reader(lib"read.ss""wxme")WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file uses the PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Open this file in DrScheme version 4.2.3.8 or later to read it.
|
Open this file in DrRacket, or DrScheme version 4.2.3.8 or later
|
||||||
|
to read it.
|
||||||
|
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
http://racket-lang.org/
|
||||||
and it probably contains a program with non-text elements
|
|
||||||
(such as images or comment boxes).
|
|
||||||
|
|
||||||
http://www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
44 7 #"wxtext\0"
|
44 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -1,13 +1,10 @@
|
||||||
#reader(lib"read.ss""wxme")WXME0108 ##
|
#reader(lib"read.ss""wxme")WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file uses the PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Open this file in DrScheme version 4.2.2.1 or later to read it.
|
Open this file in DrRacket, or DrScheme version 4.2.2.1 or later
|
||||||
|
to read it.
|
||||||
|
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
http://racket-lang.org/
|
||||||
and it probably contains a program with non-text elements
|
|
||||||
(such as images or comment boxes).
|
|
||||||
|
|
||||||
http://www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
27 7 #"wxtext\0"
|
27 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -1,13 +1,10 @@
|
||||||
#reader(lib"read.ss""wxme")WXME0108 ##
|
#reader(lib"read.ss""wxme")WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file uses the PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Open this file in DrScheme version 4.2.2.6 or later to read it.
|
Open this file in DrRacket, or DrScheme version 4.2.2.6 or later
|
||||||
|
to read it.
|
||||||
|
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
http://racket-lang.org/
|
||||||
and it probably contains a program with non-text elements
|
|
||||||
(such as images or comment boxes).
|
|
||||||
|
|
||||||
http://www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
44 7 #"wxtext\0"
|
44 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -772,15 +772,14 @@
|
||||||
(send f write-bytes (if (string? s) (string->bytes/latin-1 s) s)))
|
(send f write-bytes (if (string? s) (string->bytes/latin-1 s) s)))
|
||||||
(when (positive? col)
|
(when (positive? col)
|
||||||
(show #"\n"))
|
(show #"\n"))
|
||||||
(show #"#|\n This file uses the PLT Scheme editor format.\n")
|
(show #"#|\n This file uses the GRacket editor format.\n")
|
||||||
(show (format " Open this file in DrScheme version ~a or later to read it.\n" (version)))
|
(show (format " Open this file in DrRacket version ~a or later to read it.\n" (version)))
|
||||||
(show #"\n")
|
(show #"\n")
|
||||||
(show #" Most likely, it was created by saving a program in DrScheme,\n")
|
(show #" Most likely, it was created by saving a program in DrRacket,\n")
|
||||||
(show #" and it probably contains a program with non-text elements\n")
|
(show #" and it probably contains a program with non-text elements\n")
|
||||||
(show #" (such as images or comment boxes).\n")
|
(show #" (such as images or comment boxes).\n")
|
||||||
(show #"\n")
|
(show #"\n")
|
||||||
(show #" http://www.plt-scheme.org\n|#\n")
|
(show #" http://racket-lang.org/\n|#\n")
|
||||||
(set! col 0)))
|
(set! col 0)))
|
||||||
|
|
||||||
(set-editor-stream-out%! editor-stream-out%)
|
(set-editor-stream-out%! editor-stream-out%)
|
||||||
|
|
||||||
|
|
|
@ -1,13 +1,10 @@
|
||||||
#reader(lib"read.ss""wxme")WXME0108 ##
|
#reader(lib"read.ss""wxme")WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file is in PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Open this file in DrScheme version 370 or later to read it.
|
Open this file in DrRacket, or DrScheme version 4 or later
|
||||||
|
to read it.
|
||||||
|
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
http://racket-lang.org/
|
||||||
and it probably contains a program with non-text elements
|
|
||||||
(such as images or comment boxes).
|
|
||||||
|
|
||||||
http://www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
45 7 #"wxtext\0"
|
45 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -1,11 +1,10 @@
|
||||||
WXME0108 ##
|
WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file is in PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
Open this file in DrRacket, or DrScheme version 4 or later
|
||||||
and it probably contains a program with non-text elements (such
|
to read it.
|
||||||
as pictures, comment boxes, or test-cases boxes).
|
|
||||||
Open this file in DrScheme to read its content.
|
http://racket-lang.org/
|
||||||
www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
44 7 #"wxtext\0"
|
44 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -1,13 +1,10 @@
|
||||||
#reader(lib"read.ss""wxme")WXME0108 ##
|
#reader(lib"read.ss""wxme")WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file is in PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Open this file in DrScheme version 370 or later to read it.
|
Open this file in DrRacket, or DrScheme version 4 or later
|
||||||
|
to read it.
|
||||||
|
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
http://racket-lang.org/
|
||||||
and it probably contains a program with non-text elements
|
|
||||||
(such as images or comment boxes).
|
|
||||||
|
|
||||||
http://www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
4 7 #"wxtext\0"
|
4 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -1,11 +1,10 @@
|
||||||
WXME0108 ##
|
WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file is in PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
Open this file in DrRacket, or DrScheme version 4 or later
|
||||||
and it probably contains a program with non-text elements (such
|
to read it.
|
||||||
as pictures, comment boxes, or test-cases boxes).
|
|
||||||
Open this file in DrScheme to read its content.
|
http://racket-lang.org/
|
||||||
www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
44 7 #"wxtext\0"
|
44 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -1,11 +1,10 @@
|
||||||
WXME0108 ##
|
WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file is in PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
Open this file in DrRacket, or DrScheme version 4 or later
|
||||||
and it probably contains a program with non-text elements (such
|
to read it.
|
||||||
as pictures, comment boxes, or test-cases boxes).
|
|
||||||
Open this file in DrScheme to read its content.
|
http://racket-lang.org/
|
||||||
www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
31 7 #"wxtext\0"
|
31 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -1,11 +1,10 @@
|
||||||
WXME0108 ##
|
WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file is in PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
Open this file in DrRacket, or DrScheme version 4 or later
|
||||||
and it probably contains a program with non-text elements (such
|
to read it.
|
||||||
as pictures, comment boxes, or test-cases boxes).
|
|
||||||
Open this file in DrScheme to read its content.
|
http://racket-lang.org/
|
||||||
www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
46 7 #"wxtext\0"
|
46 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -1,11 +1,10 @@
|
||||||
WXME0108 ##
|
WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file is in PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
Open this file in DrRacket, or DrScheme version 4 or later
|
||||||
and it probably contains a program with non-text elements (such
|
to read it.
|
||||||
as pictures, comment boxes, or test-cases boxes).
|
|
||||||
Open this file in DrScheme to read its content.
|
http://racket-lang.org/
|
||||||
www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
46 7 #"wxtext\0"
|
46 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
|
@ -1,13 +1,10 @@
|
||||||
#reader(lib"read.ss""wxme")WXME0108 ##
|
#reader(lib"read.ss""wxme")WXME0108 ##
|
||||||
#|
|
#|
|
||||||
This file uses the PLT Scheme editor format.
|
This file uses the GRacket editor format.
|
||||||
Open this file in DrScheme version 4.2.5.12 or later to read it.
|
Open this file in DrRacket, or DrScheme version 4.2.5.12 or later
|
||||||
|
to read it.
|
||||||
|
|
||||||
Most likely, it was created by saving a program in DrScheme,
|
http://racket-lang.org/
|
||||||
and it probably contains a program with non-text elements
|
|
||||||
(such as images or comment boxes).
|
|
||||||
|
|
||||||
http://www.plt-scheme.org
|
|
||||||
|#
|
|#
|
||||||
44 7 #"wxtext\0"
|
44 7 #"wxtext\0"
|
||||||
3 1 6 #"wxtab\0"
|
3 1 6 #"wxtab\0"
|
||||||
|
|
Loading…
Reference in New Issue
Block a user