From 2322f38bf9985400cd26b84924c3441be1c616fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timm=20B=C3=A4der?= <mail@baedert.org>
Date: Sun, 5 Aug 2018 12:26:19 +0200
Subject: [PATCH] menu: Remove initially_pushed_in flag

Unused.
---
 gtk/gtkmenuprivate.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/gtk/gtkmenuprivate.h b/gtk/gtkmenuprivate.h
index d8ef9c84dc..1d9dda74bc 100644
--- a/gtk/gtkmenuprivate.h
+++ b/gtk/gtkmenuprivate.h
@@ -99,7 +99,6 @@ struct _GtkMenuPrivate
   gint heights_length;
   gint requested_height;
 
-  gboolean initially_pushed_in;
   gint monitor_num;
 
   /* Cached layout information */