From be0ca009029d1d3cdf406433bfed839f23b406c4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 11 Jul 2003 17:43:43 +0000 Subject: [PATCH] . original commit: 901325b589a31536a62f248002ac2f1fd6c764a3 --- notes/mred/HISTORY | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index 508863ed..2a29a540 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -5,10 +5,7 @@ Added on-display-size-when-ready and lock for refresh that blocks an Added get-text! to snip% Added locations-computed? to editor<%> X with Xft: changed default 'modern mapping to " Courier 10 Pitch" -Finally fixed Mac OS X menu-bar flashing bug, thanks Paul Schlie's - detective work. (I blame Mac OS X for having a refresh bug, but I - wasn't able to find the sequence of MrEd actions that triggered the - bug. Paul found it.) +Mac OS X: fixed X menu-bar flashing bug, thanks to Paul Schlie Version 204.6 Changed canvas% so that 'gl style is no longer needed