[gnome-builder] workbench: hide fullscreen button on pantheon

[Christian Hergert <chergert src gnome org>]

commit 00bec9059c875c37a62ed38766de256c48d3d220
Author: Christian Hergert <chergert redhat com>
Date:   Sat Jan 20 23:12:32 2018 -0800

    workbench: hide fullscreen button on pantheon

 src/libide/workbench/ide-workbench-header-bar.c | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
---
diff --git a/src/libide/workbench/ide-workbench-header-bar.c b/src/libide/workbench/ide-workbench-header-bar.c
index dc0c44f75..a534828c8 100644
--- a/src/libide/workbench/ide-workbench-header-bar.c
+++ b/src/libide/workbench/ide-workbench-header-bar.c
@@ -51,6 +51,22 @@ ide_workbench_header_bar_new (void)
   return g_object_new (IDE_TYPE_WORKBENCH_HEADER_BAR, NULL);
 }
 
+static void
+apply_quirks (IdeWorkbenchHeaderBar *self)
+{
+  IdeWorkbenchHeaderBarPrivate *priv = ide_workbench_header_bar_get_instance_private (self);
+  const gchar *session;
+
+  g_assert (IDE_IS_WORKBENCH_HEADER_BAR (self));
+
+  /* Hide fullscreen on Pantheon, which adds it's own fullscreen button
+   * without any app negotiation.
+   */
+  session = g_getenv ("DESKTOP_SESSION");
+  if (dzl_str_equal0 (session, "pantheon"))
+    gtk_widget_hide (GTK_WIDGET (priv->fullscreen_button));
+}
+
 static void
 ide_workbench_header_bar_menu_items_changed (IdeWorkbenchHeaderBar *self,
                                              guint                  position,
@@ -144,6 +160,8 @@ ide_workbench_header_bar_init (IdeWorkbenchHeaderBar *self)
                            self,
                            G_CONNECT_SWAPPED);
   ide_workbench_header_bar_menu_items_changed (self, 0, 0, 0, model);
+
+  apply_quirks (self);
 }
 
 void