menu: Remove initially_pushed_in flag

Unused.
2018-08-05 12:26:19 +02:00
parent dcb6c9b4cf
commit 2322f38bf9
1 changed files with 0 additions and 1 deletions
--- 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 */