From f226f1bec0641e1d4c5cb6ff57251ea7b82be4ce Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 5 Oct 2001 15:53:07 +0000
Subject: [PATCH] .

original commit: 4019fdf860635746d20c3bc6165eca3cf172578c
---
 notes/mred/HISTORY | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY
index af1779e6..2fdcf86a 100644
--- a/notes/mred/HISTORY
+++ b/notes/mred/HISTORY
@@ -13,6 +13,17 @@ Version 199.24:
 
  * X: too-long menus now scroll.
 
+ * X: changed `show' method of a top-level window to try harder to set
+   the focus to the shown (or raised) window. This seems to work
+   better for Gnome, and doesn't seem to have any affect on other
+   window managers that I tried.
+
+   This change can be disabled through a ~/.mred.resources setting:
+
+          mred.forceFocus : 0
+
+
+
 Version 199.23:
 
  * X: mouse wheel events are now reported to `on-char'.