diff options
| author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2020-02-21 08:57:12 +0000 |
|---|---|---|
| committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2020-02-21 08:57:12 +0000 |
| commit | 525118cff0dde0589f2c517a3b5f139e93c27715 (patch) | |
| tree | e534be7ad28c9d8c9822f8579e458e5a4d25ce5c /frontends | |
| parent | 8ad68d02321130a18542fb6d81f95af380d56857 (diff) | |
| download | netsurf-525118cff0dde0589f2c517a3b5f139e93c27715.tar.gz netsurf-525118cff0dde0589f2c517a3b5f139e93c27715.tar.bz2 | |
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>
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/gtk/res/localhistory.gtk3.ui | 2 |
1 files changed, 1 insertions, 1 deletions
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> |