From be31dc78ac0a64a6325183b915dc7a0933d7a7b7 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 30 Jun 2014 19:41:16 -0500 Subject: [PATCH] bump version number for change mentioned in commit 83e8cfbafebd47406fc518d007de1eade0757140 --- pkgs/drracket-pkgs/drracket/info.rkt | 2 +- pkgs/drracket-pkgs/drracket/scribblings/tools/tools.scrbl | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) 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]