From 834968a2943431a1a43d7fd8016fdfa109e7f69f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 20 Dec 2013 06:21:22 -0700 Subject: [PATCH] fill in some missing history notes Merge to v6.0 original commit: dc526f95f30d72c2a854f9e1c7520f04cbdaf0d0 --- pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt b/pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt index ad5366d8..0067fce3 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt +++ b/pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt @@ -1,18 +1,17 @@ -Version 6.0 +Version 6.0, January 2014 + +Added get-display-backing-scale +Added get-backing-scale to bitmap% +Fixed key-event% get-key-release-code to return 'press instead of 'down + for a key-down event +Changed GUI size limit to 1000000 +Add dimension-integer?, position-integer?, spacing-integer?, and + positive-dimension-integer? Framework: changed backward-containing-sexp so it returns #f in more situations Framework: syntax colorer now usees 'text' for stuff between {}s in scribble mode (not string) -Version 5.90.0.9 -Added get-display-backing-scale -Added get-backing-scale to bitmap% - -Version 5.90.0.5 - -Fixed key-event% get-key-release-code to return 'press instead of 'down - for a key-down event - ---------------------------------------- Version 5.1, February 2011