From 5551c24bde93a268ecf40ba69579ced0fef09e94 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 8 Jul 2003 20:12:12 +0000 Subject: [PATCH] . original commit: 8840ac155dbaebc29f8fb168ac34370b610e9dbb --- collects/mred/mred.ss | 2 +- notes/mred/HISTORY | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 912e3cf9..1be535a7 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -7253,7 +7253,7 @@ [(default) " Sans"] [(roman) " Serif"] [(decorative) " Nimbus Sans L"] - [(modern) " Monospace"] + [(modern) " Courier 10 Pitch"] [(swiss) " Nimbus Sans L"] [(script) " URW Chancery L"] [(symbol) "-adobe-symbol"]) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index bce0767e..9904b8a9 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -1,4 +1,12 @@ +Version 204.8 +Added on-display-size-when-ready and lock for refresh + that blocks an edit sequence +Added get-text! to snip% +Added locations-computed? to editor<%> +X with Xft: changed default 'modern mapping to + " Courier 10 Pitch" + Version 204.6 Changed canvas% so that 'gl style is no longer needed to enable OpenGL drawing in the canvas