From a71e7eea3a4550827869672ff13fe7163f46ffdf Mon Sep 17 00:00:00 2001 From: JosephMcc Date: Sat, 29 Aug 2020 15:50:15 -0700 Subject: [PATCH] xed-highlight-mode-selector.c: Fix a couple of missing casts --- xed/xed-highlight-mode-selector.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xed/xed-highlight-mode-selector.c b/xed/xed-highlight-mode-selector.c index 42efccb..d7f06b6 100644 --- a/xed/xed-highlight-mode-selector.c +++ b/xed/xed-highlight-mode-selector.c @@ -244,13 +244,13 @@ static void on_entry_realized (GtkWidget *entry, XedHighlightModeSelector *selector) { - if (gtk_widget_is_focus (selector)) + if (gtk_widget_is_focus (GTK_WIDGET (selector))) { gtk_widget_grab_focus (entry); } else { - gtk_widget_grab_focus (selector); + gtk_widget_grab_focus (GTK_WIDGET (selector)); } }