From 4e3910509b85816cc46e17952c71331054fddec9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 4 Sep 2003 18:24:25 +0000 Subject: [PATCH] . original commit: b381b7d5ade71010d3a1449bf183c100412ce113 --- collects/mred/private/kernel.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index d1d9ed51..9ab8c24c 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -518,6 +518,7 @@ on-kill-focus) (define-class font% object% #f get-font-id + get-size-in-pixels? get-underlined get-smoothing get-weight @@ -600,6 +601,7 @@ (define-function write-resource) (define-function get-resource) (define-function label->plain-label) + (define-function display-origin) (define-function display-size) (define-function bell) (define-function end-busy-cursor)