From 1416b9820d1d7aa2162470adfb17c917bd4e4104 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 21 May 1998 20:49:04 +0000 Subject: [PATCH] ... original commit: 7055c1d0481798cb060e5843408ab460000d6fc7 --- notes/mred/HISTORY | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index d54fc8c1..f5b1d902 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -18,6 +18,11 @@ The delete methods of wx:menu% and wx:menu-bar return #t if the System: ------- +- added documentation for: + mred:constants:original-output-port, + mred:constants:original-error-port, and + mred:constants:original-input-port. + - added get-title-prefix to mred:simple-menu-frame% class documented get-title, etc. in mred:simple-menu-frame% class added get-complete-title to mred:simple-menu-frame% class