From c5ad476e8bad6331dc58a462b3a237a062c36af4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 16 Oct 1999 00:21:21 +0000 Subject: [PATCH] . original commit: d7baf98c4665053f0ba3a674fad47c2f4b1de9fd --- notes/mred/HISTORY | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index 64603bb5..00b7528c 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -1,3 +1,9 @@ +101/7: + + * Fixed choice% size for X with horizontal label (PR 1213) + + * Fixed bad calls to get-extent in media-edit% (PR 1218) + 101/6: * Added 'symbol font family