From 0cbe90f6be47688507d3742a00aa224837298eee Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 10 Feb 2005 23:02:02 +0000 Subject: [PATCH] . original commit: a6016d8a7ca78b61fa7379b28260eee3039f84b2 --- notes/mred/HISTORY | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index 6c41d85d..98936a0a 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -3,8 +3,8 @@ Version 299.31 Added a font intialization argument for control<%> classes Added a font intialization argument for popup-menu% Added a label-font intialization argument for list-box% -Removed get-label-font, get-button-font, set-label-font, - set-button-front, get-label-position, and set-label-position +Removed get-label-font, get-control-font, set-label-font, + set-control-front, get-label-position, and set-label-position from area-container<%> and implementing classes Added get-font to classes with a font initalization argument Added normal-control-font, small-control-font, tiny-control-font,