[gnome-builder] gui: use GtkHeaderBar instead of IdeHeaderBar
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] gui: use GtkHeaderBar instead of IdeHeaderBar
- Date: Fri, 1 May 2020 18:09:35 +0000 (UTC)
commit 19788390b2bacd649f72d6a0b91c9b73673e18b6
Author: Christian Hergert <chergert redhat com>
Date: Fri May 1 11:09:21 2020 -0700
gui: use GtkHeaderBar instead of IdeHeaderBar
The hexpand from the priority boxes complicate things here so we can just
use GtkHeaderBar directly for the preferences window. We aren't putting
any transfer notifications in there anyway.
Fixes #1199
src/libide/gui/ide-preferences-window.ui | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/libide/gui/ide-preferences-window.ui b/src/libide/gui/ide-preferences-window.ui
index a02207197..33258b7d1 100644
--- a/src/libide/gui/ide-preferences-window.ui
+++ b/src/libide/gui/ide-preferences-window.ui
@@ -2,7 +2,7 @@
<interface>
<template class="IdePreferencesWindow" parent="DzlApplicationWindow">
<child type="titlebar">
- <object class="IdeHeaderBar" id="header_bar">
+ <object class="GtkHeaderBar" id="header_bar">
<property name="title" translatable="yes">Preferences</property>
<property name="show-close-button">true</property>
<property name="visible">true</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]