/gpump/trunk

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/gpump/trunk

« back to all changes in this revision

Viewing changes to src/preferences_ui.js

  • Committer: Gustav Hartvigsson
  • Date: 2014-11-18 19:35:32 UTC
  • mto: This revision was merged to the branch mainline in revision 53.
  • Revision ID: gustav.hartvigsson@gmail.com-20141118193532-qqcpae9jlf0mspx0
* Fixed a few style errors...

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/preferences_ui.js
19
19
    this.parent ({
20
20
      use_header_bar: true,
21
21
      modal: true,
22
 
      title: _("GPump preferences")
 
22
      title: _("GPump preferences"),
 
23
      width_request: 550,
 
24
      height_request: 300
23
25
    });
24
26
    
25
27
    this._prepare_header_bar ();
52
54
    /*this.get_content_area ().pack_start ()),
53
55
                                         true, true, 25);*/
54
56
    this.get_content_area ().set_center_widget (
55
 
                                          (this.list_box = new Gtk.ListBox ({
56
 
      width_request: 400,
57
 
      margin: 50,
58
 
      selection_mode: Gtk.SelectionMode.NONE
59
 
    })));
 
57
      new Gtk.Frame ({child:
 
58
        (this.list_box = new Gtk.ListBox ({
 
59
          width_request: 400,
 
60
          selection_mode: Gtk.SelectionMode.NONE,
 
61
          expand: false
 
62
        })),
 
63
        expand: false,
 
64
        margin: 50
 
65
      })
 
66
    );
60
67
    
61
68
    let settings_object = SettingsData.get_settings ();
62
69