From f15768f0d46bae8b5e06d84558a0f2397d6fdfd7 Mon Sep 17 00:00:00 2001 From: John Darrington Date: Mon, 4 Sep 2017 08:51:28 +0200 Subject: [PATCH] Whitespace changes only --- src/ui/gui/psppire-data-editor.c | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/ui/gui/psppire-data-editor.c b/src/ui/gui/psppire-data-editor.c index f1712ad4b7..27a4b63ab3 100644 --- a/src/ui/gui/psppire-data-editor.c +++ b/src/ui/gui/psppire-data-editor.c @@ -218,7 +218,6 @@ psppire_data_editor_switch_page (GtkNotebook *notebook, guint page_num) { GTK_NOTEBOOK_CLASS (parent_class)->switch_page (notebook, w, page_num); - } static void @@ -226,7 +225,6 @@ psppire_data_editor_set_focus_child (GtkContainer *container, GtkWidget *widget) { GTK_CONTAINER_CLASS (parent_class)->set_focus_child (container, widget); - } static void @@ -509,7 +507,6 @@ psppire_data_editor_init (PsppireDataEditor *de) g_free (fontname); set_font_recursively (GTK_WIDGET (de), de->font); } - } GtkWidget* -- 2.30.2