← Back to branch summary

~ubuntu-branches/ubuntu/raring/gnome-system-monitor/raring-proposed

« back to all changes in this revision

Viewing changes to data/preferences.ui

  • Committer: Package Import Robot
  • Author(s): Robert Ancell
  • Date: 2012-08-13 10:20:03 UTC
  • mfrom: (1.1.70)
  • Revision ID: package-import@ubuntu.com-20120813102003-gjzy387nq5is8vcg
Tags: 3.5.90-0ubuntu1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
data/preferences.ui
6
6
    <property name="border_width">5</property>
7
7
    <property name="title" translatable="yes">System Monitor Preferences</property>
8
8
    <property name="default_width">400</property>
9
 
    <property name="default_height">420</property>
 
9
    <property name="default_height">495</property>
10
10
    <property name="destroy_with_parent">True</property>
11
11
    <property name="type_hint">dialog</property>
12
12
    <property name="has_resize_grip">False</property>
13
13
    <child internal-child="vbox">
14
14
      <object class="GtkBox" id="dialog_layout">
15
15
        <property name="can_focus">False</property>
16
 
        <property name="margin_left">5</property>
17
 
        <property name="margin_right">5</property>
18
 
        <property name="margin_top">5</property>
19
 
        <property name="margin_bottom">5</property>
20
16
        <property name="orientation">vertical</property>
21
17
        <property name="spacing">2</property>
22
18
        <child internal-child="action_area">