From fe16c7d88391a1680b4b5ad6b94d5f16efd4042f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 11 Jul 2003 17:36:06 +0000 Subject: [PATCH] . original commit: 70cb28efcfa01ce14dd29c56a0f6b6dfbef510ec --- notes/mred/HISTORY | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index b8c40999..508863ed 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -1,16 +1,14 @@ Version 204.8 -Added on-display-size-when-ready and lock for refresh - that blocks an edit sequence +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" -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.) +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.) Version 204.6 Changed canvas% so that 'gl style is no longer needed