From 5dbe2aa0a052368a90921375ff4a62d84645e6a9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 19 Dec 2013 22:33:00 -0600 Subject: [PATCH] add missing HISTORY entries based on my changes leading up to 6.0 Please merge to 6.0 (some of the history files already have post-6.0 notes in them, but hopefully this patch still applies cleanly) original commit: 4408cdcfe4566fe3f0b7970f0dec7435076a5f70 --- pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt b/pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt index e4c42e80..ad5366d8 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt +++ b/pkgs/gui-pkgs/gui-lib/mred/HISTORY.txt @@ -1,3 +1,9 @@ +Version 6.0 +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%