From 28b3aa1c8e63ca92a2c06f98766b3f803460eac3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 8 May 2003 15:32:40 +0000 Subject: [PATCH] . original commit: eb362f1ccadad9cafaad6fdd46a0309f883e0bb1 --- collects/mred/edit.ss | 14 ++++++++++++++ collects/mred/private/kernel.ss | 6 ++++++ 2 files changed, 20 insertions(+) diff --git a/collects/mred/edit.ss b/collects/mred/edit.ss index 5415fcc2..72764979 100644 --- a/collects/mred/edit.ss +++ b/collects/mred/edit.ss @@ -56,6 +56,20 @@ (append-editor-operation-menu-items edit-menu #f) (append-editor-font-menu-items font-menu) + (let ([m (make-object menu% "Smoothing" font-menu)]) + (let ([mk (lambda (name v) + (make-object menu-item% name m + (lambda (i e) + (let* ([o (send f get-edit-target-object)]) + (and o + (o . is-a? . editor<%>) + (send o change-style + (make-object style-delta% 'change-smoothing v)))))))]) + (mk "Default" 'family+size-default) + (mk "System Default" 'system-default) + (mk "Smoothed" 'smoothed) + (mk "Not Smoothed" 'unsmoothed))) + ((current-text-keymap-initializer) (send e get-keymap)) (send c set-editor e) diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index 9d4bfc1e..4db85f99 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -505,6 +505,7 @@ (define-class font% object% #f get-font-id get-underlined + get-smoothing get-weight get-point-size get-style @@ -1327,6 +1328,10 @@ set-weight-on get-weight-off set-weight-off + get-smoothing-on + set-smoothing-on + get-smoothing-off + set-smoothing-off get-style-on set-style-on get-style-off @@ -1366,6 +1371,7 @@ get-foreground get-font get-underlined + get-smoothing get-style get-weight get-size