@@ -32,7 +32,6 @@ namespace Scratch.Dialogs {
3232
3333 public Preferences (Gtk .Window ? parent , Services .PluginsManager plugins ) {
3434 Object (
35- border_width: 5 ,
3635 deletable: false ,
3736 resizable: false ,
3837 title: _(" Preferences" ),
@@ -67,29 +66,29 @@ namespace Scratch.Dialogs {
6766 general_grid. attach (new SettingsLabel (_(" Tab width:" )), 0 , 6 );
6867 general_grid. attach (indent_width, 1 , 6 , 2 );
6968
70- main_stack = new Gtk .Stack ();
71- main_stack. margin = 6 ;
72- main_stack. margin_bottom = 18 ;
73- main_stack. margin_top = 24 ;
69+ main_stack = new Gtk .Stack () {
70+ margin = 12
71+ };
7472 main_stack. add_titled (general_grid, " behavior" , _(" Behavior" ));
7573 main_stack. add_titled (get_editor_box (), " interface" , _(" Interface" ));
7674
7775 var main_stackswitcher = new Gtk .StackSwitcher ();
7876 main_stackswitcher. set_stack (main_stack);
7977 main_stackswitcher. halign = Gtk . Align . CENTER ;
8078
81- var main_grid = new Gtk .Grid ();
82- main_grid. attach (main_stackswitcher, 0 , 0 , 1 , 1 );
83- main_grid. attach (main_stack, 0 , 1 , 1 , 1 );
79+ var main_grid = new Gtk .Grid () {
80+ row_spacing = 12
81+ };
82+ main_grid. attach (main_stackswitcher, 0 , 0 );
83+ main_grid. attach (main_stack, 0 , 1 );
8484
85+ border_width = 0 ;
8586 get_content_area (). add (main_grid);
8687
87- var close_button = new Gtk .Button .with_label (_(" Close" ));
88+ var close_button = ( Gtk . Button ) add_button (_(" Close" ), Gtk . ResponseType . CLOSE );
8889 close_button. clicked. connect (() = > {
8990 destroy ();
9091 });
91-
92- add_action_widget (close_button, 0 );
9392 }
9493
9594 private void create_layout (Services .PluginsManager plugins ) {
0 commit comments