diff --git a/pkgs/drracket-pkgs/drracket/info.rkt b/pkgs/drracket-pkgs/drracket/info.rkt index afe4d82694..1a4d0c4653 100644 --- a/pkgs/drracket-pkgs/drracket/info.rkt +++ b/pkgs/drracket-pkgs/drracket/info.rkt @@ -58,4 +58,4 @@ (define pkg-authors '(robby)) -(define version "1.1") +(define version "1.2") diff --git a/pkgs/drracket-pkgs/drracket/scribblings/tools/tools.scrbl b/pkgs/drracket-pkgs/drracket/scribblings/tools/tools.scrbl index 6e8a330b11..afb095dd13 100644 --- a/pkgs/drracket-pkgs/drracket/scribblings/tools/tools.scrbl +++ b/pkgs/drracket-pkgs/drracket/scribblings/tools/tools.scrbl @@ -273,12 +273,15 @@ These precise colors for these identifiers are controlled by the preferences dia extending the default that DrRacket normally uses, namely: @racketblock[`(["Racket Sources" "*.rkt;*.scrbl;*.rktl;*.rktd;*.ss;*.scm"] ["Any" "*.*"])] + @history[#:added "1.2"] } @language-info-def[drracket:default-extension]{ When a language's @racket[_get-info] procedure responds to @racket['drracket:default-extension], it is expected to return @racket[(and/c string? (not/c #rx"[.]"))]; the result is used as the default extension when saving files by setting @racket[finder:default-extension]. + + @history[#:added "1.2"] } @history[#:changed "1.1" @elem{Added support for @racket['drracket:default-filters]