Merge lp:~l-admin-3/eidete/dialog-margins into lp:eidete

Proposed by Marcus Wichelmann
Status: Merged
Approved by: Danielle Foré
Approved revision: 188
Merged at revision: 188
Proposed branch: lp:~l-admin-3/eidete/dialog-margins
Merge into: lp:eidete
Diff against target: 22 lines (+1/-4)
1 file modified
src/Widgets/end_dialog.vala (+1/-4)
To merge this branch: bzr merge lp:~l-admin-3/eidete/dialog-margins
Reviewer Review Type Date Requested Status
elementary Apps team Pending
Review via email: mp+246795@code.launchpad.net

Commit message

Fixes the margins of a Gtk.Dialog in Gtk+-3.14.

Description of the change

Fixes the margins of a Gtk.Dialog in Gtk+-3.14.

To post a comment you must log in.

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
=== modified file 'src/Widgets/end_dialog.vala'
--- src/Widgets/end_dialog.vala 2015-01-06 19:59:43 +0000
+++ src/Widgets/end_dialog.vala 2015-01-16 23:52:55 +0000
@@ -27,17 +27,14 @@
27 private File source;27 private File source;
2828
29 public EndDialog (EideteApp app) {29 public EndDialog (EideteApp app) {
30 Object (use_header_bar: 1);
31
32 this.app = app;30 this.app = app;
33 this.window_position = Gtk.WindowPosition.CENTER_ON_PARENT;31 this.window_position = Gtk.WindowPosition.CENTER_ON_PARENT;
34 }32 }
3533
36 private void build_ui () {34 private void build_ui () {
37 (this.get_header_bar () as Gtk.HeaderBar).show_close_button = false;
38 this.get_header_bar ().get_style_context ().remove_class ("header-bar");
39 this.set_default_size (600, 600);35 this.set_default_size (600, 600);
40 this.set_application (app);36 this.set_application (app);
37 this.set_deletable (false);
4138
42 if (app.selectionarea != null)39 if (app.selectionarea != null)
43 app.selectionarea.destroy ();40 app.selectionarea.destroy ();

Subscribers

People subscribed via source and target branches