From cb7c428b77053717b86ac2d55ccfef9bb5fbb65a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 5 Mar 2000 20:19:50 +0000 Subject: [PATCH] . original commit: b018782f6a15d022cb3ec915debdc2a0c9b81cd6 --- notes/mred/HISTORY | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index 62cfc404..0e76d0ba 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -12,7 +12,7 @@ Version 102/9: * Added `on-demand' to menu-item-container<%> and labelled-menu-item<%> for building menu content on demand. The - `on-demand' menthd of a menu bar is called when the user clicks on + `on-demand' method of a menu bar is called when the user clicks on the menu bar, before the click is handled by the menu bar. The `on-demand' method of a popup menu is called before the menu is popped up. The default implementation of `on-demand' in a menu item