mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-11 13:46:43 +00:00
0497a0d6fa
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@4406 a592a061-630c-0410-9148-cb99ea01b6c8
204 lines
7.4 KiB
XML
204 lines
7.4 KiB
XML
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
|
|
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
|
|
|
|
<glade-interface>
|
|
|
|
<widget class="GtkDialog" id="GFloat">
|
|
<property name="can_default">True</property>
|
|
<property name="has_default">True</property>
|
|
<property name="title" translatable="yes">Float Properties</property>
|
|
<property name="type">GTK_WINDOW_TOPLEVEL</property>
|
|
<property name="window_position">GTK_WIN_POS_CENTER</property>
|
|
<property name="modal">False</property>
|
|
<property name="resizable">True</property>
|
|
<property name="destroy_with_parent">False</property>
|
|
<property name="has_separator">True</property>
|
|
|
|
<child internal-child="vbox">
|
|
<widget class="GtkVBox" id="dialog-vbox2">
|
|
<property name="border_width">2</property>
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child internal-child="action_area">
|
|
<widget class="GtkHButtonBox" id="dialog-action_area2">
|
|
<property name="border_width">5</property>
|
|
<property name="visible">True</property>
|
|
<property name="layout_style">GTK_BUTTONBOX_END</property>
|
|
<property name="spacing">10</property>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="r_close_btn">
|
|
<property name="visible">True</property>
|
|
<property name="can_default">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label">gtk-close</property>
|
|
<property name="use_stock">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="response_id">-7</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="pack_type">GTK_PACK_END</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox4">
|
|
<property name="border_width">5</property>
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">3</property>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="b_placement">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Placement</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkHBox" id="r_other_options">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox5">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="r_page_of_floats">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Page of floats</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="r_top_of_page">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Top of the page</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="r_bottom_of_page">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Bottom of the page</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="r_here_if_possible">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Here, if possible</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">20</property>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="r_here_definitely">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Here, definitely</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="group">b_placement</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
|
|
</glade-interface>
|