diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-11-25 04:11:58 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-11-25 04:11:58 +0100 |
commit | ccff5442184e84d511c2bd25ed3da53e4336a272 (patch) | |
tree | 8402a0ba68852e0aec5841ed4519ccfe88352223 /src/Properties.vala | |
parent | a1e1833f48ed618273dab9198b547148a89832a7 (diff) | |
parent | 4a3f1fdfe1eb3743564adcee35d5513224339260 (diff) |
Merge tag 'upstream/0.25.1'
Upstream version 0.25.1
Diffstat (limited to 'src/Properties.vala')
-rw-r--r-- | src/Properties.vala | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/src/Properties.vala b/src/Properties.vala index 9d7bdd4..1f59040 100644 --- a/src/Properties.vala +++ b/src/Properties.vala @@ -36,15 +36,18 @@ private abstract class Properties : Gtk.Grid { view.set_editable(false); view.buffer.text = is_string_empty(info_text) ? "" : info_text; info_scroll.add(view); - label.set_alignment(1, 0); + label.xalign = 1.0f; + label.yalign = 0.0f; info = (Gtk.Widget) info_scroll; } else { Gtk.Label info_label = new Gtk.Label(""); info_label.set_markup(is_string_empty(info_text) ? "" : info_text); - info_label.set_alignment(0, (float) 5e-1); info_label.set_ellipsize(Pango.EllipsizeMode.END); + info_label.xalign = 0.0f; + info_label.yalign = 0.5f; info_label.set_selectable(true); - label.set_alignment(1, (float) 5e-1); + label.xalign = 1.0f; + label.yalign = 0.5f; info = (Gtk.Widget) info_label; } @@ -646,10 +649,15 @@ private class ExtendedPropertiesWindow : Gtk.Dialog { delete_event.connect(hide_on_delete); properties = new ExtendedProperties(); - Gtk.Alignment alignment = new Gtk.Alignment(0.5f,0.5f,1,1); - alignment.add(properties); - alignment.set_border_width(3); - ((Gtk.Box) get_content_area()).add(alignment); + properties.halign = Gtk.Align.FILL; + properties.valign = Gtk.Align.FILL; + properties.hexpand = true; + properties.vexpand = true; + properties.set_margin_top (3); + properties.set_margin_bottom (3); + properties.set_margin_start (3); + properties.set_margin_end (3); + ((Gtk.Box) get_content_area()).add(properties); } public override bool button_press_event(Gdk.EventButton event) { |