324
324
<widget class="GtkDialog" id="prop_dialog">
325
325
<property name="border_width">6</property>
326
<property name="width_request">400</property>
326
327
<property name="title" translatable="yes"></property>
327
328
<property name="type">GTK_WINDOW_TOPLEVEL</property>
328
329
<property name="window_position">GTK_WIN_POS_NONE</property>
350
351
<property name="layout_style">GTK_BUTTONBOX_END</property>
354
<widget class="GtkButton" id="p_help_button">
355
<property name="visible">True</property>
356
<property name="can_default">True</property>
357
<property name="has_default">True</property>
358
<property name="can_focus">True</property>
359
<property name="has_focus">True</property>
360
<property name="label">gtk-help</property>
361
<property name="use_stock">True</property>
362
<property name="relief">GTK_RELIEF_NORMAL</property>
363
<property name="focus_on_click">True</property>
364
<property name="response_id">-11</property>
353
369
<widget class="GtkButton" id="p_ok_button">
354
370
<property name="visible">True</property>
355
371
<property name="can_default">True</property>
356
<property name="has_default">True</property>
357
372
<property name="can_focus">True</property>
358
<property name="has_focus">True</property>
359
373
<property name="label">gtk-close</property>
360
374
<property name="use_stock">True</property>
361
375
<property name="relief">GTK_RELIEF_NORMAL</property>
362
376
<property name="focus_on_click">True</property>
363
<property name="response_id">0</property>
377
<property name="response_id">-7</property>