From 9e9e55a0b78020397f44da0eda50207465cafd50 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 8 Jul 2007 02:05:08 +0000 Subject: [PATCH] add map-command-as-meta-key svn: r6851 original commit: bee6910cdad71d2b4a504d87830bf43dae796954 --- collects/mred/mred-sig.ss | 1 + collects/mred/mred.ss | 1 + collects/mred/private/kernel.ss | 1 + 3 files changed, 3 insertions(+) diff --git a/collects/mred/mred-sig.ss b/collects/mred/mred-sig.ss index f26ebe2c..2072cdcd 100644 --- a/collects/mred/mred-sig.ss +++ b/collects/mred/mred-sig.ss @@ -118,6 +118,7 @@ list-control<%> make-eventspace make-namespace-with-mred + map-command-as-meta-key menu% menu-bar% menu-control-font diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 28b1fa12..8701aa7f 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -150,6 +150,7 @@ snip-class-list<%> special-control-key special-option-key + map-command-as-meta-key label->plain-label string-snip% style<%> diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index 5225ea4e..23a2e19d 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -1536,6 +1536,7 @@ (define-functions special-control-key special-option-key + map-command-as-meta-key application-file-handler application-quit-handler application-about-handler