From 525118cff0dde0589f2c517a3b5f139e93c27715 Mon Sep 17 00:00:00 2001
From: Daniel Silverstone <dsilvers@digital-scurf.org>
Date: Fri, 21 Feb 2020 08:57:12 +0000
Subject: [PATCH] GTK3: Permit Local History to be focussed

In order to let keypresses operate the local history window on
GTK3 we have to permit the drawing area to get focus so that
the keypresses actually make their way into the event loop in
the correct place.

Signed-off-by: Daniel Silverstone <dsilvers@digital-scurf.org>
---
 frontends/gtk/res/localhistory.gtk3.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/gtk/res/localhistory.gtk3.ui b/frontends/gtk/res/localhistory.gtk3.ui
index 1a4b9004d..0e2bedbac 100644
--- a/frontends/gtk/res/localhistory.gtk3.ui
+++ b/frontends/gtk/res/localhistory.gtk3.ui
@@ -26,7 +26,7 @@
                 <child>
                   <object class="GtkDrawingArea" id="HistoryDrawingArea">
                     <property name="visible">True</property>
-                    <property name="can_focus">False</property>
+                    <property name="can_focus">True</property>
                     <property name="events">GDK_EXPOSURE_MASK | GDK_POINTER_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK | GDK_LEAVE_NOTIFY_MASK | GDK_STRUCTURE_MASK</property>
                   </object>
                 </child>