diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-05-01 14:35:32 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-05-01 14:35:32 +0200 |
| commit | e230b6f78546827521107be23797048482c8b193 (patch) | |
| tree | 948c1e77382c484819ea399bba4edcdc19cc6bf0 /src/publishing/PublishingUI.vala | |
| parent | 211da5fc3048ca2b6ccee2166b0aaaade55cb84f (diff) | |
| parent | 49120f48474fc8fdc2448c75d961bc238213cfac (diff) | |
Update upstream source from tag 'upstream/0.28.2'
Update to upstream version '0.28.2'
with Debian dir 811236a8e9a1308bf427065dcb6270419ff4f965
Diffstat (limited to 'src/publishing/PublishingUI.vala')
| -rw-r--r-- | src/publishing/PublishingUI.vala | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/publishing/PublishingUI.vala b/src/publishing/PublishingUI.vala index c975564..3d4f609 100644 --- a/src/publishing/PublishingUI.vala +++ b/src/publishing/PublishingUI.vala @@ -161,11 +161,13 @@ public class PublishingDialog : Gtk.Dialog { protected PublishingDialog(Gee.Collection<MediaSource> to_publish) { assert(to_publish.size > 0); - bool use_header = false; - Gtk.Settings.get_default ().get ("gtk-dialogs-use-header", out use_header); - Object(use_header_bar: use_header ? 1 : 0); - if (use_header) + bool use_header = Resources.use_header_bar() == 1; + Object(use_header_bar: Resources.use_header_bar()); + if (use_header) { ((Gtk.HeaderBar) get_header_bar()).set_show_close_button(false); + } else { + get_content_area().set_spacing(6); + } resizable = false; modal = true; |