Merge lp:~l-admin-3/scratch/dialog-margins into lp:~elementary-apps/scratch/scratch

[Marcus Wichelmann]

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

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

=== modified file 'src/Dialogs/PreferencesDialog.vala'
--- src/Dialogs/PreferencesDialog.vala	2014-10-02 22:26:10 +0000
+++ src/Dialogs/PreferencesDialog.vala	2015-01-16 20:16:22 +0000
@@ -45,16 +45,12 @@
         FontButton select_font;
         
         public Preferences (Gtk.Window? parent, PluginsManager plugins) {           
-            Object (use_header_bar: 1);
-
             if (parent != null)
                 set_transient_for (parent);
             title = _("Preferences");
             set_default_size (630, 330);
             resizable = false;
-            
-            (get_header_bar () as Gtk.HeaderBar).show_close_button = false;
-            get_header_bar ().get_style_context ().remove_class ("header-bar");
+            deletable = false;
 
             main_stack = new Gtk.Stack ();
             main_stackswitcher = new Gtk.StackSwitcher ();
@@ -290,4 +286,4 @@
             }
         }
     }
-} // Namespace
\ No newline at end of file
+} // Namespace