From 30e944b66b24254e007381c80237e96c721a127c Mon Sep 17 00:00:00 2001 From: Robert Pluim Date: Thu, 14 Nov 2019 15:40:12 +0100 Subject: [PATCH] Remove unneeded font_is_ignored prototype * src/gtkutil.h: Remove unneeded prototype for font_is_ignored, it's in font.h now. --- src/gtkutil.h | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/gtkutil.h b/src/gtkutil.h index a059f532197..5795eb73421 100644 --- a/src/gtkutil.h +++ b/src/gtkutil.h @@ -204,9 +204,5 @@ extern bool xg_ignore_gtk_scrollbar; extern bool xg_gtk_initialized; -#if GTK_CHECK_VERSION (3, 2, 0) -extern bool font_is_ignored (const char *, ptrdiff_t); -#endif - #endif /* USE_GTK */ #endif /* GTKUTIL_H */ -- 2.39.5