825
<widget class="GtkCheckButton" id="checkbutton_commit_local">
826
<property name="can_focus">True</property>
827
<property name="label" translatable="yes">_Local only commit (works in checkouts)</property>
828
<property name="use_underline">True</property>
829
<property name="relief">GTK_RELIEF_NORMAL</property>
830
<property name="focus_on_click">True</property>
831
<property name="active">False</property>
832
<property name="inconsistent">False</property>
833
<property name="draw_indicator">True</property>
836
<property name="padding">0</property>
837
<property name="expand">False</property>
838
<property name="fill">False</property>
843
<widget class="GtkCheckButton" id="checkbutton_commit_strict">
844
<property name="visible">True</property>
845
<property name="can_focus">True</property>
846
<property name="label" translatable="yes">_Strict commit (fails if unknown files are present)</property>
847
<property name="use_underline">True</property>
848
<property name="relief">GTK_RELIEF_NORMAL</property>
849
<property name="focus_on_click">True</property>
850
<property name="active">False</property>
851
<property name="inconsistent">False</property>
852
<property name="draw_indicator">True</property>
855
<property name="padding">0</property>
856
<property name="expand">False</property>
857
<property name="fill">False</property>
862
<widget class="GtkCheckButton" id="checkbutton_commit_force">
863
<property name="visible">True</property>
864
<property name="can_focus">True</property>
865
<property name="label" translatable="yes">_Force commit (even do it if nothing has changed)</property>
866
<property name="use_underline">True</property>
867
<property name="relief">GTK_RELIEF_NORMAL</property>
868
<property name="focus_on_click">True</property>
869
<property name="active">False</property>
870
<property name="inconsistent">False</property>
871
<property name="draw_indicator">True</property>
874
<property name="padding">0</property>
875
<property name="expand">False</property>
876
<property name="fill">False</property>
881
<widget class="GtkHButtonBox" id="hbuttonbox_commit">
882
<property name="visible">True</property>
883
<property name="layout_style">GTK_BUTTONBOX_END</property>
884
<property name="spacing">3</property>
887
<widget class="GtkButton" id="button_commit_cancel">
888
<property name="visible">True</property>
889
<property name="can_default">True</property>
890
<property name="can_focus">True</property>
891
<property name="label">gtk-cancel</property>
892
<property name="use_stock">True</property>
893
<property name="relief">GTK_RELIEF_NORMAL</property>
894
<property name="focus_on_click">True</property>
895
<signal name="clicked" handler="on_button_commit_cancel_clicked" last_modification_time="Fri, 21 Jul 2006 15:04:52 GMT"/>
900
<widget class="GtkButton" id="button_commit_commit">
901
<property name="visible">True</property>
902
<property name="can_default">True</property>
903
<property name="has_default">True</property>
904
<property name="can_focus">True</property>
905
<property name="relief">GTK_RELIEF_NORMAL</property>
906
<property name="focus_on_click">True</property>
907
<signal name="clicked" handler="on_button_commit_commit_clicked" last_modification_time="Fri, 21 Jul 2006 15:04:57 GMT"/>
910
<widget class="GtkAlignment" id="alignment5">
911
<property name="visible">True</property>
912
<property name="xalign">0.5</property>
913
<property name="yalign">0.5</property>
914
<property name="xscale">0</property>
915
<property name="yscale">0</property>
916
<property name="top_padding">0</property>
917
<property name="bottom_padding">0</property>
918
<property name="left_padding">0</property>
919
<property name="right_padding">0</property>
922
<widget class="GtkHBox" id="hbox7">
923
<property name="visible">True</property>
924
<property name="homogeneous">False</property>
925
<property name="spacing">2</property>
928
<widget class="GtkImage" id="image49">
929
<property name="visible">True</property>
930
<property name="stock">gtk-redo</property>
931
<property name="icon_size">4</property>
932
<property name="xalign">0.5</property>
933
<property name="yalign">0.5</property>
934
<property name="xpad">0</property>
935
<property name="ypad">0</property>
938
<property name="padding">0</property>
939
<property name="expand">False</property>
940
<property name="fill">False</property>
945
<widget class="GtkLabel" id="label11">
946
<property name="visible">True</property>
947
<property name="label" translatable="yes">_Commit</property>
948
<property name="use_underline">True</property>
949
<property name="use_markup">False</property>
950
<property name="justify">GTK_JUSTIFY_LEFT</property>
951
<property name="wrap">False</property>
952
<property name="selectable">False</property>
953
<property name="xalign">0.5</property>
954
<property name="yalign">0.5</property>
955
<property name="xpad">0</property>
956
<property name="ypad">0</property>
957
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
958
<property name="width_chars">-1</property>
959
<property name="single_line_mode">False</property>
960
<property name="angle">0</property>
963
<property name="padding">0</property>
964
<property name="expand">False</property>
965
<property name="fill">False</property>
976
<property name="padding">0</property>
977
<property name="expand">False</property>
978
<property name="fill">False</property>
985
<widget class="GtkWindow" id="window_branch">
986
<property name="width_request">350</property>
987
<property name="title" translatable="yes">Olive - Branch</property>
988
<property name="type">GTK_WINDOW_TOPLEVEL</property>
989
<property name="window_position">GTK_WIN_POS_NONE</property>
990
<property name="modal">False</property>
991
<property name="resizable">True</property>
992
<property name="destroy_with_parent">False</property>
993
<property name="icon">oliveicon2.png</property>
994
<property name="decorated">True</property>
995
<property name="skip_taskbar_hint">False</property>
996
<property name="skip_pager_hint">False</property>
997
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
998
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
999
<property name="focus_on_map">True</property>
1000
<property name="urgency_hint">False</property>
1003
<widget class="GtkVBox" id="vbox_branch">
1004
<property name="border_width">5</property>
1005
<property name="visible">True</property>
1006
<property name="homogeneous">False</property>
1007
<property name="spacing">3</property>
1010
<widget class="GtkTable" id="table_branch">
1011
<property name="visible">True</property>
1012
<property name="n_rows">3</property>
1013
<property name="n_columns">2</property>
1014
<property name="homogeneous">False</property>
1015
<property name="row_spacing">3</property>
1016
<property name="column_spacing">3</property>
1019
<widget class="GtkLabel" id="label_branch_location">
1020
<property name="visible">True</property>
1021
<property name="label" translatable="yes">Branch location:</property>
1022
<property name="use_underline">False</property>
1023
<property name="use_markup">False</property>
1024
<property name="justify">GTK_JUSTIFY_LEFT</property>
1025
<property name="wrap">False</property>
1026
<property name="selectable">False</property>
1027
<property name="xalign">0</property>
1028
<property name="yalign">0.5</property>
1029
<property name="xpad">0</property>
1030
<property name="ypad">0</property>
1031
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1032
<property name="width_chars">-1</property>
1033
<property name="single_line_mode">False</property>
1034
<property name="angle">0</property>
1037
<property name="left_attach">0</property>
1038
<property name="right_attach">1</property>
1039
<property name="top_attach">0</property>
1040
<property name="bottom_attach">1</property>
1041
<property name="x_options">fill</property>
1042
<property name="y_options"></property>
1047
<widget class="GtkLabel" id="label_branch_destination">
1048
<property name="visible">True</property>
1049
<property name="label" translatable="yes">Destination:</property>
1050
<property name="use_underline">False</property>
1051
<property name="use_markup">False</property>
1052
<property name="justify">GTK_JUSTIFY_LEFT</property>
1053
<property name="wrap">False</property>
1054
<property name="selectable">False</property>
1055
<property name="xalign">0</property>
1056
<property name="yalign">0.5</property>
1057
<property name="xpad">0</property>
1058
<property name="ypad">0</property>
1059
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1060
<property name="width_chars">-1</property>
1061
<property name="single_line_mode">False</property>
1062
<property name="angle">0</property>
1065
<property name="left_attach">0</property>
1066
<property name="right_attach">1</property>
1067
<property name="top_attach">1</property>
1068
<property name="bottom_attach">2</property>
1069
<property name="x_options">fill</property>
1070
<property name="y_options"></property>
1075
<widget class="GtkFileChooserButton" id="filechooserbutton_branch">
1076
<property name="visible">True</property>
1077
<property name="title" translatable="yes">Please select a folder</property>
1078
<property name="action">GTK_FILE_CHOOSER_ACTION_SELECT_FOLDER</property>
1079
<property name="local_only">True</property>
1080
<property name="show_hidden">False</property>
1081
<property name="do_overwrite_confirmation">False</property>
1082
<property name="width_chars">-1</property>
1085
<property name="left_attach">1</property>
1086
<property name="right_attach">2</property>
1087
<property name="top_attach">1</property>
1088
<property name="bottom_attach">2</property>
1089
<property name="y_options">fill</property>
1094
<widget class="GtkEntry" id="entry_branch_location">
1095
<property name="visible">True</property>
1096
<property name="can_focus">True</property>
1097
<property name="editable">True</property>
1098
<property name="visibility">True</property>
1099
<property name="max_length">0</property>
1100
<property name="text" translatable="yes"></property>
1101
<property name="has_frame">True</property>
1102
<property name="invisible_char">●</property>
1103
<property name="activates_default">False</property>
1106
<property name="left_attach">1</property>
1107
<property name="right_attach">2</property>
1108
<property name="top_attach">0</property>
1109
<property name="bottom_attach">1</property>
1110
<property name="y_options"></property>
1115
<widget class="GtkLabel" id="label_branch_revno">
1116
<property name="visible">True</property>
1117
<property name="label" translatable="yes">Revision number:</property>
1118
<property name="use_underline">False</property>
1119
<property name="use_markup">False</property>
1120
<property name="justify">GTK_JUSTIFY_LEFT</property>
1121
<property name="wrap">False</property>
1122
<property name="selectable">False</property>
1123
<property name="xalign">0</property>
1124
<property name="yalign">0.5</property>
1125
<property name="xpad">0</property>
1126
<property name="ypad">0</property>
1127
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1128
<property name="width_chars">-1</property>
1129
<property name="single_line_mode">False</property>
1130
<property name="angle">0</property>
1133
<property name="left_attach">0</property>
1134
<property name="right_attach">1</property>
1135
<property name="top_attach">2</property>
1136
<property name="bottom_attach">3</property>
1137
<property name="x_options">fill</property>
1138
<property name="y_options"></property>
1143
<widget class="GtkSpinButton" id="spinbutton_branch_revno">
1144
<property name="visible">True</property>
1145
<property name="can_focus">True</property>
1146
<property name="climb_rate">1</property>
1147
<property name="digits">0</property>
1148
<property name="numeric">False</property>
1149
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
1150
<property name="snap_to_ticks">False</property>
1151
<property name="wrap">False</property>
1152
<property name="adjustment">0 0 100000 1 10 10</property>
1155
<property name="left_attach">1</property>
1156
<property name="right_attach">2</property>
1157
<property name="top_attach">2</property>
1158
<property name="bottom_attach">3</property>
1159
<property name="y_options"></property>
1164
<property name="padding">0</property>
1165
<property name="expand">True</property>
1166
<property name="fill">True</property>
1171
<widget class="GtkHButtonBox" id="hbuttonbox_branch">
1172
<property name="visible">True</property>
1173
<property name="layout_style">GTK_BUTTONBOX_END</property>
1174
<property name="spacing">3</property>
1177
<widget class="GtkButton" id="button_branch_cancel">
1178
<property name="visible">True</property>
1179
<property name="can_default">True</property>
1180
<property name="can_focus">True</property>
1181
<property name="label">gtk-cancel</property>
1182
<property name="use_stock">True</property>
1183
<property name="relief">GTK_RELIEF_NORMAL</property>
1184
<property name="focus_on_click">True</property>
1185
<signal name="clicked" handler="on_button_branch_cancel_clicked" last_modification_time="Mon, 17 Jul 2006 16:26:15 GMT"/>
1190
<widget class="GtkButton" id="button_branch_branch">
1191
<property name="visible">True</property>
1192
<property name="can_default">True</property>
1193
<property name="has_default">True</property>
1194
<property name="can_focus">True</property>
1195
<property name="relief">GTK_RELIEF_NORMAL</property>
1196
<property name="focus_on_click">True</property>
1197
<signal name="clicked" handler="on_button_branch_branch_clicked" last_modification_time="Mon, 17 Jul 2006 16:25:30 GMT"/>
1200
<widget class="GtkAlignment" id="alignment2">
1201
<property name="visible">True</property>
1202
<property name="xalign">0.5</property>
1203
<property name="yalign">0.5</property>
1204
<property name="xscale">0</property>
1205
<property name="yscale">0</property>
1206
<property name="top_padding">0</property>
1207
<property name="bottom_padding">0</property>
1208
<property name="left_padding">0</property>
1209
<property name="right_padding">0</property>
1212
<widget class="GtkHBox" id="hbox4">
1213
<property name="visible">True</property>
1214
<property name="homogeneous">False</property>
1215
<property name="spacing">2</property>
1218
<widget class="GtkImage" id="image2">
1219
<property name="visible">True</property>
1220
<property name="stock">gtk-apply</property>
1221
<property name="icon_size">4</property>
1222
<property name="xalign">0.5</property>
1223
<property name="yalign">0.5</property>
1224
<property name="xpad">0</property>
1225
<property name="ypad">0</property>
1228
<property name="padding">0</property>
1229
<property name="expand">False</property>
1230
<property name="fill">False</property>
1235
<widget class="GtkLabel" id="label6">
1236
<property name="visible">True</property>
1237
<property name="label" translatable="yes">_Branch</property>
1238
<property name="use_underline">True</property>
1239
<property name="use_markup">False</property>
1240
<property name="justify">GTK_JUSTIFY_LEFT</property>
1241
<property name="wrap">False</property>
1242
<property name="selectable">False</property>
1243
<property name="xalign">0.5</property>
1244
<property name="yalign">0.5</property>
1245
<property name="xpad">0</property>
1246
<property name="ypad">0</property>
1247
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1248
<property name="width_chars">-1</property>
1249
<property name="single_line_mode">False</property>
1250
<property name="angle">0</property>
1253
<property name="padding">0</property>
1254
<property name="expand">False</property>
1255
<property name="fill">False</property>
685
<widget class="GtkStatusbar" id="statusbar">
686
<property name="visible">True</property>
687
<property name="has_resize_grip">True</property>
1266
690
<property name="padding">0</property>
1665
1028
<property name="padding">0</property>
1666
1029
<property name="expand">True</property>
1667
1030
<property name="fill">True</property>
1674
<widget class="GtkWindow" id="window_push">
1675
<property name="width_request">320</property>
1676
<property name="title" translatable="yes">Olive - Push</property>
1677
<property name="type">GTK_WINDOW_TOPLEVEL</property>
1678
<property name="window_position">GTK_WIN_POS_NONE</property>
1679
<property name="modal">False</property>
1680
<property name="resizable">True</property>
1681
<property name="destroy_with_parent">False</property>
1682
<property name="icon">oliveicon2.png</property>
1683
<property name="decorated">True</property>
1684
<property name="skip_taskbar_hint">False</property>
1685
<property name="skip_pager_hint">False</property>
1686
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1687
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1688
<property name="focus_on_map">True</property>
1689
<property name="urgency_hint">False</property>
1692
<widget class="GtkVBox" id="vbox_push">
1693
<property name="border_width">5</property>
1694
<property name="visible">True</property>
1695
<property name="homogeneous">False</property>
1696
<property name="spacing">3</property>
1699
<widget class="GtkRadioButton" id="radiobutton_push_stored">
1700
<property name="visible">True</property>
1701
<property name="can_focus">True</property>
1702
<property name="label" translatable="yes">Push to _default location</property>
1703
<property name="use_underline">True</property>
1704
<property name="relief">GTK_RELIEF_NORMAL</property>
1705
<property name="focus_on_click">True</property>
1706
<property name="active">False</property>
1707
<property name="inconsistent">False</property>
1708
<property name="draw_indicator">True</property>
1709
<signal name="toggled" handler="on_radiobutton_push_stored_toggled" last_modification_time="Fri, 21 Jul 2006 16:39:36 GMT"/>
1712
<property name="padding">0</property>
1713
<property name="expand">False</property>
1714
<property name="fill">False</property>
1719
<widget class="GtkEntry" id="entry_push_stored">
1720
<property name="visible">True</property>
1721
<property name="can_focus">True</property>
1722
<property name="editable">False</property>
1723
<property name="visibility">True</property>
1724
<property name="max_length">0</property>
1725
<property name="text" translatable="yes">(no location known)</property>
1726
<property name="has_frame">True</property>
1727
<property name="invisible_char">●</property>
1728
<property name="activates_default">False</property>
1731
<property name="padding">0</property>
1732
<property name="expand">False</property>
1733
<property name="fill">False</property>
1738
<widget class="GtkRadioButton" id="radiobutton_push_specific">
1739
<property name="visible">True</property>
1740
<property name="can_focus">True</property>
1741
<property name="label" translatable="yes">Push to _specific location</property>
1742
<property name="use_underline">True</property>
1743
<property name="relief">GTK_RELIEF_NORMAL</property>
1744
<property name="focus_on_click">True</property>
1745
<property name="active">False</property>
1746
<property name="inconsistent">False</property>
1747
<property name="draw_indicator">True</property>
1748
<property name="group">radiobutton_push_stored</property>
1749
<signal name="toggled" handler="on_radiobutton_push_specify_toggled" last_modification_time="Fri, 21 Jul 2006 16:39:41 GMT"/>
1752
<property name="padding">0</property>
1753
<property name="expand">False</property>
1754
<property name="fill">False</property>
1759
<widget class="GtkEntry" id="entry_push_location">
1760
<property name="visible">True</property>
1761
<property name="can_focus">True</property>
1762
<property name="editable">True</property>
1763
<property name="visibility">True</property>
1764
<property name="max_length">0</property>
1765
<property name="text" translatable="yes"></property>
1766
<property name="has_frame">True</property>
1767
<property name="invisible_char">●</property>
1768
<property name="activates_default">False</property>
1771
<property name="padding">0</property>
1772
<property name="expand">False</property>
1773
<property name="fill">False</property>
1778
<widget class="GtkCheckButton" id="checkbutton_push_remember">
1779
<property name="visible">True</property>
1780
<property name="can_focus">True</property>
1781
<property name="label" translatable="yes">_Remember as default location</property>
1782
<property name="use_underline">True</property>
1783
<property name="relief">GTK_RELIEF_NORMAL</property>
1784
<property name="focus_on_click">True</property>
1785
<property name="active">False</property>
1786
<property name="inconsistent">False</property>
1787
<property name="draw_indicator">True</property>
1790
<property name="padding">0</property>
1791
<property name="expand">False</property>
1792
<property name="fill">False</property>
1797
<widget class="GtkCheckButton" id="checkbutton_push_create">
1798
<property name="visible">True</property>
1799
<property name="can_focus">True</property>
1800
<property name="label" translatable="yes">_Create the path leading up to the location</property>
1801
<property name="use_underline">True</property>
1802
<property name="relief">GTK_RELIEF_NORMAL</property>
1803
<property name="focus_on_click">True</property>
1804
<property name="active">False</property>
1805
<property name="inconsistent">False</property>
1806
<property name="draw_indicator">True</property>
1809
<property name="padding">0</property>
1810
<property name="expand">False</property>
1811
<property name="fill">False</property>
1816
<widget class="GtkCheckButton" id="checkbutton_push_overwrite">
1817
<property name="visible">True</property>
1818
<property name="can_focus">True</property>
1819
<property name="label" translatable="yes">_Overwrite target if diverged</property>
1820
<property name="use_underline">True</property>
1821
<property name="relief">GTK_RELIEF_NORMAL</property>
1822
<property name="focus_on_click">True</property>
1823
<property name="active">False</property>
1824
<property name="inconsistent">False</property>
1825
<property name="draw_indicator">True</property>
1828
<property name="padding">0</property>
1829
<property name="expand">False</property>
1830
<property name="fill">False</property>
1835
<widget class="GtkHBox" id="hbox_push_test">
1836
<property name="visible">True</property>
1837
<property name="homogeneous">False</property>
1838
<property name="spacing">5</property>
1841
<widget class="GtkImage" id="image_push_test">
1842
<property name="width_request">22</property>
1843
<property name="height_request">22</property>
1844
<property name="visible">True</property>
1845
<property name="icon_size">4</property>
1846
<property name="icon_name">gtk-dialog-info</property>
1847
<property name="xalign">0.5</property>
1848
<property name="yalign">0.5</property>
1849
<property name="xpad">0</property>
1850
<property name="ypad">0</property>
1853
<property name="padding">0</property>
1854
<property name="expand">False</property>
1855
<property name="fill">False</property>
1860
<widget class="GtkLabel" id="label_push_test">
1861
<property name="visible">True</property>
1862
<property name="label" translatable="yes">(click the Test button to check write access)</property>
1863
<property name="use_underline">False</property>
1864
<property name="use_markup">False</property>
1865
<property name="justify">GTK_JUSTIFY_LEFT</property>
1866
<property name="wrap">False</property>
1867
<property name="selectable">False</property>
1868
<property name="xalign">0.5</property>
1869
<property name="yalign">0.5</property>
1870
<property name="xpad">0</property>
1871
<property name="ypad">0</property>
1872
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1873
<property name="width_chars">-1</property>
1874
<property name="single_line_mode">False</property>
1875
<property name="angle">0</property>
1878
<property name="padding">0</property>
1879
<property name="expand">False</property>
1880
<property name="fill">False</property>
1885
<property name="padding">0</property>
1886
<property name="expand">False</property>
1887
<property name="fill">False</property>
1892
<widget class="GtkHButtonBox" id="hbuttonbox_push">
1893
<property name="visible">True</property>
1894
<property name="layout_style">GTK_BUTTONBOX_END</property>
1895
<property name="spacing">3</property>
1898
<widget class="GtkButton" id="button_push_test">
1899
<property name="visible">True</property>
1900
<property name="can_default">True</property>
1901
<property name="can_focus">True</property>
1902
<property name="label" translatable="yes">_Test</property>
1903
<property name="use_underline">True</property>
1904
<property name="relief">GTK_RELIEF_NORMAL</property>
1905
<property name="focus_on_click">True</property>
1906
<signal name="clicked" handler="on_button_push_test_clicked" last_modification_time="Sun, 20 Aug 2006 20:01:01 GMT"/>
1911
<widget class="GtkButton" id="button_push_cancel">
1912
<property name="visible">True</property>
1913
<property name="can_default">True</property>
1914
<property name="can_focus">True</property>
1915
<property name="label">gtk-cancel</property>
1916
<property name="use_stock">True</property>
1917
<property name="relief">GTK_RELIEF_NORMAL</property>
1918
<property name="focus_on_click">True</property>
1919
<signal name="clicked" handler="on_button_push_cancel_clicked" last_modification_time="Fri, 21 Jul 2006 16:38:55 GMT"/>
1924
<widget class="GtkButton" id="button_push_push">
1925
<property name="visible">True</property>
1926
<property name="can_default">True</property>
1927
<property name="has_default">True</property>
1928
<property name="can_focus">True</property>
1929
<property name="relief">GTK_RELIEF_NORMAL</property>
1930
<property name="focus_on_click">True</property>
1931
<signal name="clicked" handler="on_button_push_push_clicked" last_modification_time="Fri, 21 Jul 2006 16:39:01 GMT"/>
1934
<widget class="GtkAlignment" id="alignment6">
1935
<property name="visible">True</property>
1936
<property name="xalign">0.5</property>
1937
<property name="yalign">0.5</property>
1938
<property name="xscale">0</property>
1939
<property name="yscale">0</property>
1940
<property name="top_padding">0</property>
1941
<property name="bottom_padding">0</property>
1942
<property name="left_padding">0</property>
1943
<property name="right_padding">0</property>
1946
<widget class="GtkHBox" id="hbox8">
1947
<property name="visible">True</property>
1948
<property name="homogeneous">False</property>
1949
<property name="spacing">2</property>
1952
<widget class="GtkImage" id="image50">
1953
<property name="visible">True</property>
1954
<property name="stock">gtk-goto-top</property>
1955
<property name="icon_size">4</property>
1956
<property name="xalign">0.5</property>
1957
<property name="yalign">0.5</property>
1958
<property name="xpad">0</property>
1959
<property name="ypad">0</property>
1962
<property name="padding">0</property>
1963
<property name="expand">False</property>
1964
<property name="fill">False</property>
1969
<widget class="GtkLabel" id="label12">
1970
<property name="visible">True</property>
1971
<property name="label" translatable="yes">_Push</property>
1972
<property name="use_underline">True</property>
1973
<property name="use_markup">False</property>
1974
<property name="justify">GTK_JUSTIFY_LEFT</property>
1975
<property name="wrap">False</property>
1976
<property name="selectable">False</property>
1977
<property name="xalign">0.5</property>
1978
<property name="yalign">0.5</property>
1979
<property name="xpad">0</property>
1980
<property name="ypad">0</property>
1981
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1982
<property name="width_chars">-1</property>
1983
<property name="single_line_mode">False</property>
1984
<property name="angle">0</property>
1987
<property name="padding">0</property>
1988
<property name="expand">False</property>
1989
<property name="fill">False</property>
2000
<property name="padding">0</property>
2001
<property name="expand">False</property>
2002
<property name="fill">False</property>
2009
<widget class="GtkWindow" id="window_checkout">
2010
<property name="width_request">350</property>
2011
<property name="title" translatable="yes">Olive - Checkout</property>
2012
<property name="type">GTK_WINDOW_TOPLEVEL</property>
2013
<property name="window_position">GTK_WIN_POS_NONE</property>
2014
<property name="modal">False</property>
2015
<property name="resizable">True</property>
2016
<property name="destroy_with_parent">False</property>
2017
<property name="icon">oliveicon2.png</property>
2018
<property name="decorated">True</property>
2019
<property name="skip_taskbar_hint">False</property>
2020
<property name="skip_pager_hint">False</property>
2021
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2022
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2023
<property name="focus_on_map">True</property>
2024
<property name="urgency_hint">False</property>
2027
<widget class="GtkVBox" id="vbox_checkout">
2028
<property name="border_width">5</property>
2029
<property name="visible">True</property>
2030
<property name="homogeneous">False</property>
2031
<property name="spacing">3</property>
2034
<widget class="GtkTable" id="table_checkout">
2035
<property name="visible">True</property>
2036
<property name="n_rows">4</property>
2037
<property name="n_columns">2</property>
2038
<property name="homogeneous">False</property>
2039
<property name="row_spacing">3</property>
2040
<property name="column_spacing">3</property>
2043
<widget class="GtkLabel" id="label_checkout_location">
2044
<property name="visible">True</property>
2045
<property name="label" translatable="yes">Branch location:</property>
2046
<property name="use_underline">False</property>
2047
<property name="use_markup">False</property>
2048
<property name="justify">GTK_JUSTIFY_LEFT</property>
2049
<property name="wrap">False</property>
2050
<property name="selectable">False</property>
2051
<property name="xalign">0</property>
2052
<property name="yalign">0.5</property>
2053
<property name="xpad">0</property>
2054
<property name="ypad">0</property>
2055
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2056
<property name="width_chars">-1</property>
2057
<property name="single_line_mode">False</property>
2058
<property name="angle">0</property>
2061
<property name="left_attach">0</property>
2062
<property name="right_attach">1</property>
2063
<property name="top_attach">0</property>
2064
<property name="bottom_attach">1</property>
2065
<property name="x_options">fill</property>
2066
<property name="y_options"></property>
2071
<widget class="GtkLabel" id="label_checkout_destination">
2072
<property name="visible">True</property>
2073
<property name="label" translatable="yes">Destination:</property>
2074
<property name="use_underline">False</property>
2075
<property name="use_markup">False</property>
2076
<property name="justify">GTK_JUSTIFY_LEFT</property>
2077
<property name="wrap">False</property>
2078
<property name="selectable">False</property>
2079
<property name="xalign">0</property>
2080
<property name="yalign">0.5</property>
2081
<property name="xpad">0</property>
2082
<property name="ypad">0</property>
2083
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2084
<property name="width_chars">-1</property>
2085
<property name="single_line_mode">False</property>
2086
<property name="angle">0</property>
2089
<property name="left_attach">0</property>
2090
<property name="right_attach">1</property>
2091
<property name="top_attach">1</property>
2092
<property name="bottom_attach">2</property>
2093
<property name="x_options">fill</property>
2094
<property name="y_options"></property>
2099
<widget class="GtkFileChooserButton" id="filechooserbutton_checkout">
2100
<property name="visible">True</property>
2101
<property name="title" translatable="yes">Please select a folder</property>
2102
<property name="action">GTK_FILE_CHOOSER_ACTION_SELECT_FOLDER</property>
2103
<property name="local_only">True</property>
2104
<property name="show_hidden">False</property>
2105
<property name="do_overwrite_confirmation">False</property>
2106
<property name="width_chars">-1</property>
2109
<property name="left_attach">1</property>
2110
<property name="right_attach">2</property>
2111
<property name="top_attach">1</property>
2112
<property name="bottom_attach">2</property>
2113
<property name="y_options">fill</property>
2118
<widget class="GtkEntry" id="entry_checkout_location">
2119
<property name="visible">True</property>
2120
<property name="can_focus">True</property>
2121
<property name="editable">True</property>
2122
<property name="visibility">True</property>
2123
<property name="max_length">0</property>
2124
<property name="text" translatable="yes"></property>
2125
<property name="has_frame">True</property>
2126
<property name="invisible_char">●</property>
2127
<property name="activates_default">False</property>
2130
<property name="left_attach">1</property>
2131
<property name="right_attach">2</property>
2132
<property name="top_attach">0</property>
2133
<property name="bottom_attach">1</property>
2134
<property name="y_options"></property>
2139
<widget class="GtkLabel" id="label_checkout_revno">
2140
<property name="visible">True</property>
2141
<property name="label" translatable="yes">Revision number:</property>
2142
<property name="use_underline">False</property>
2143
<property name="use_markup">False</property>
2144
<property name="justify">GTK_JUSTIFY_LEFT</property>
2145
<property name="wrap">False</property>
2146
<property name="selectable">False</property>
2147
<property name="xalign">0</property>
2148
<property name="yalign">0.5</property>
2149
<property name="xpad">0</property>
2150
<property name="ypad">0</property>
2151
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2152
<property name="width_chars">-1</property>
2153
<property name="single_line_mode">False</property>
2154
<property name="angle">0</property>
2157
<property name="left_attach">0</property>
2158
<property name="right_attach">1</property>
2159
<property name="top_attach">2</property>
2160
<property name="bottom_attach">3</property>
2161
<property name="x_options">fill</property>
2162
<property name="y_options"></property>
2167
<widget class="GtkSpinButton" id="spinbutton_checkout_revno">
2168
<property name="visible">True</property>
2169
<property name="can_focus">True</property>
2170
<property name="climb_rate">1</property>
2171
<property name="digits">0</property>
2172
<property name="numeric">False</property>
2173
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
2174
<property name="snap_to_ticks">False</property>
2175
<property name="wrap">False</property>
2176
<property name="adjustment">0 0 100000 1 10 10</property>
2179
<property name="left_attach">1</property>
2180
<property name="right_attach">2</property>
2181
<property name="top_attach">2</property>
2182
<property name="bottom_attach">3</property>
2183
<property name="y_options"></property>
2188
<widget class="GtkCheckButton" id="checkbutton_checkout_lightweight">
2189
<property name="visible">True</property>
2190
<property name="can_focus">True</property>
2191
<property name="label" translatable="yes">Lightweight checkout</property>
2192
<property name="use_underline">True</property>
2193
<property name="relief">GTK_RELIEF_NORMAL</property>
2194
<property name="focus_on_click">True</property>
2195
<property name="active">False</property>
2196
<property name="inconsistent">False</property>
2197
<property name="draw_indicator">True</property>
2200
<property name="left_attach">1</property>
2201
<property name="right_attach">2</property>
2202
<property name="top_attach">3</property>
2203
<property name="bottom_attach">4</property>
2204
<property name="x_options">fill</property>
2205
<property name="y_options"></property>
2210
<property name="padding">0</property>
2211
<property name="expand">True</property>
2212
<property name="fill">True</property>
2217
<widget class="GtkHButtonBox" id="hbuttonbox_checkout">
2218
<property name="visible">True</property>
2219
<property name="layout_style">GTK_BUTTONBOX_END</property>
2220
<property name="spacing">3</property>
2223
<widget class="GtkButton" id="button_checkout_cancel">
2224
<property name="visible">True</property>
2225
<property name="can_default">True</property>
2226
<property name="can_focus">True</property>
2227
<property name="label">gtk-cancel</property>
2228
<property name="use_stock">True</property>
2229
<property name="relief">GTK_RELIEF_NORMAL</property>
2230
<property name="focus_on_click">True</property>
2231
<signal name="clicked" handler="on_button_checkout_cancel_clicked" last_modification_time="Mon, 31 Jul 2006 16:44:19 GMT"/>
2236
<widget class="GtkButton" id="button_checkout_checkout">
2237
<property name="visible">True</property>
2238
<property name="can_default">True</property>
2239
<property name="has_default">True</property>
2240
<property name="can_focus">True</property>
2241
<property name="relief">GTK_RELIEF_NORMAL</property>
2242
<property name="focus_on_click">True</property>
2243
<signal name="clicked" handler="on_button_checkout_checkout_clicked" last_modification_time="Mon, 31 Jul 2006 16:44:11 GMT"/>
2246
<widget class="GtkAlignment" id="alignment7">
2247
<property name="visible">True</property>
2248
<property name="xalign">0.5</property>
2249
<property name="yalign">0.5</property>
2250
<property name="xscale">0</property>
2251
<property name="yscale">0</property>
2252
<property name="top_padding">0</property>
2253
<property name="bottom_padding">0</property>
2254
<property name="left_padding">0</property>
2255
<property name="right_padding">0</property>
2258
<widget class="GtkHBox" id="hbox9">
2259
<property name="visible">True</property>
2260
<property name="homogeneous">False</property>
2261
<property name="spacing">2</property>
2264
<widget class="GtkImage" id="image51">
2265
<property name="visible">True</property>
2266
<property name="stock">gtk-apply</property>
2267
<property name="icon_size">4</property>
2268
<property name="xalign">0.5</property>
2269
<property name="yalign">0.5</property>
2270
<property name="xpad">0</property>
2271
<property name="ypad">0</property>
2274
<property name="padding">0</property>
2275
<property name="expand">False</property>
2276
<property name="fill">False</property>
2281
<widget class="GtkLabel" id="label16">
2282
<property name="visible">True</property>
2283
<property name="label" translatable="yes">C_heckout</property>
2284
<property name="use_underline">True</property>
2285
<property name="use_markup">False</property>
2286
<property name="justify">GTK_JUSTIFY_LEFT</property>
2287
<property name="wrap">False</property>
2288
<property name="selectable">False</property>
2289
<property name="xalign">0.5</property>
2290
<property name="yalign">0.5</property>
2291
<property name="xpad">0</property>
2292
<property name="ypad">0</property>
2293
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2294
<property name="width_chars">-1</property>
2295
<property name="single_line_mode">False</property>
2296
<property name="angle">0</property>
2299
<property name="padding">0</property>
2300
<property name="expand">False</property>
2301
<property name="fill">False</property>
2312
<property name="padding">0</property>
2313
<property name="expand">False</property>
2314
<property name="fill">False</property>
2321
<widget class="GtkWindow" id="window_diff">
2322
<property name="width_request">600</property>
2323
<property name="height_request">400</property>
2324
<property name="title" translatable="yes">Olive - Diff</property>
2325
<property name="type">GTK_WINDOW_TOPLEVEL</property>
2326
<property name="window_position">GTK_WIN_POS_NONE</property>
2327
<property name="modal">False</property>
2328
<property name="resizable">True</property>
2329
<property name="destroy_with_parent">False</property>
2330
<property name="icon">oliveicon2.png</property>
2331
<property name="decorated">True</property>
2332
<property name="skip_taskbar_hint">False</property>
2333
<property name="skip_pager_hint">False</property>
2334
<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
2335
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2336
<property name="focus_on_map">True</property>
2337
<property name="urgency_hint">False</property>
2340
<widget class="GtkVBox" id="vbox_diff">
2341
<property name="border_width">5</property>
2342
<property name="visible">True</property>
2343
<property name="homogeneous">False</property>
2344
<property name="spacing">3</property>
2347
<widget class="GtkHPaned" id="hpaned_diff">
2348
<property name="visible">True</property>
2349
<property name="can_focus">True</property>
2350
<property name="position">200</property>
2353
<widget class="GtkScrolledWindow" id="scrolledwindow_diff_files">
2354
<property name="visible">True</property>
2355
<property name="can_focus">True</property>
2356
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2357
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2358
<property name="shadow_type">GTK_SHADOW_IN</property>
2359
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2362
<widget class="GtkTreeView" id="treeview_diff_files">
2363
<property name="visible">True</property>
2364
<property name="can_focus">True</property>
2365
<property name="headers_visible">False</property>
2366
<property name="rules_hint">False</property>
2367
<property name="reorderable">False</property>
2368
<property name="enable_search">True</property>
2369
<property name="fixed_height_mode">False</property>
2370
<property name="hover_selection">False</property>
2371
<property name="hover_expand">False</property>
2372
<signal name="cursor_changed" handler="on_treeview_diff_files_cursor_changed" last_modification_time="Thu, 03 Aug 2006 09:02:37 GMT"/>
2377
<property name="shrink">True</property>
2378
<property name="resize">False</property>
2383
<widget class="GtkScrolledWindow" id="scrolledwindow_diff_diff">
2384
<property name="visible">True</property>
2385
<property name="can_focus">True</property>
2386
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2387
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2388
<property name="shadow_type">GTK_SHADOW_IN</property>
2389
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2396
<property name="shrink">True</property>
2397
<property name="resize">True</property>
2402
<property name="padding">0</property>
2403
<property name="expand">True</property>
2404
<property name="fill">True</property>
2409
<widget class="GtkHButtonBox" id="hbuttonbox_diff">
2410
<property name="visible">True</property>
2411
<property name="layout_style">GTK_BUTTONBOX_END</property>
2412
<property name="spacing">0</property>
2415
<widget class="GtkButton" id="button_diff_close">
2416
<property name="visible">True</property>
2417
<property name="can_default">True</property>
2418
<property name="has_default">True</property>
2419
<property name="can_focus">True</property>
2420
<property name="label">gtk-close</property>
2421
<property name="use_stock">True</property>
2422
<property name="relief">GTK_RELIEF_NORMAL</property>
2423
<property name="focus_on_click">True</property>
2424
<signal name="clicked" handler="on_button_diff_close_clicked" last_modification_time="Wed, 02 Aug 2006 22:55:53 GMT"/>
2429
<property name="padding">0</property>
2430
<property name="expand">False</property>
2431
<property name="fill">True</property>
2438
<widget class="GtkWindow" id="window_status">
1031
<property name="pack_type">GTK_PACK_END</property>
1036
<widget class="GtkLabel" id="label_remove_question">
1037
<property name="visible">True</property>
1038
<property name="label" translatable="yes">Which file(s) do you want to remove?</property>
1039
<property name="use_underline">False</property>
1040
<property name="use_markup">False</property>
1041
<property name="justify">GTK_JUSTIFY_LEFT</property>
1042
<property name="wrap">False</property>
1043
<property name="selectable">False</property>
1044
<property name="xalign">0.5</property>
1045
<property name="yalign">0.5</property>
1046
<property name="xpad">0</property>
1047
<property name="ypad">0</property>
1048
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1049
<property name="width_chars">-1</property>
1050
<property name="single_line_mode">False</property>
1051
<property name="angle">0</property>
1054
<property name="padding">0</property>
1055
<property name="expand">False</property>
1056
<property name="fill">False</property>
1061
<widget class="GtkRadioButton" id="radiobutton_remove_selected">
1062
<property name="visible">True</property>
1063
<property name="can_focus">True</property>
1064
<property name="label" translatable="yes">Selected only</property>
1065
<property name="use_underline">True</property>
1066
<property name="relief">GTK_RELIEF_NORMAL</property>
1067
<property name="focus_on_click">True</property>
1068
<property name="active">False</property>
1069
<property name="inconsistent">False</property>
1070
<property name="draw_indicator">True</property>
1073
<property name="padding">0</property>
1074
<property name="expand">False</property>
1075
<property name="fill">False</property>
1080
<widget class="GtkRadioButton" id="radiobutton_remove_new">
1081
<property name="visible">True</property>
1082
<property name="can_focus">True</property>
1083
<property name="label" translatable="yes">All files with status 'added'</property>
1084
<property name="use_underline">True</property>
1085
<property name="relief">GTK_RELIEF_NORMAL</property>
1086
<property name="focus_on_click">True</property>
1087
<property name="active">False</property>
1088
<property name="inconsistent">False</property>
1089
<property name="draw_indicator">True</property>
1090
<property name="group">radiobutton_remove_selected</property>
1093
<property name="padding">0</property>
1094
<property name="expand">False</property>
1095
<property name="fill">False</property>
1102
<widget class="GtkDialog" id="window_status">
2439
1103
<property name="width_request">400</property>
2440
1104
<property name="height_request">300</property>
2441
1105
<property name="title" translatable="yes">Olive - Status</property>
5374
4046
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
5375
4047
<property name="focus_on_map">True</property>
5376
4048
<property name="urgency_hint">False</property>
4049
<property name="has_separator">True</property>
5379
<widget class="GtkVBox" id="vbox_bookmark">
5380
<property name="border_width">5</property>
4051
<child internal-child="vbox">
4052
<widget class="GtkVBox" id="vbox_merge">
5381
4053
<property name="visible">True</property>
5382
4054
<property name="homogeneous">False</property>
5383
4055
<property name="spacing">3</property>
4057
<child internal-child="action_area">
4058
<widget class="GtkHButtonBox" id="hbuttonbox_merge">
4059
<property name="visible">True</property>
4060
<property name="layout_style">GTK_BUTTONBOX_END</property>
4063
<widget class="GtkButton" id="button_merge_cancel">
4064
<property name="visible">True</property>
4065
<property name="can_default">True</property>
4066
<property name="can_focus">True</property>
4067
<property name="label">gtk-cancel</property>
4068
<property name="use_stock">True</property>
4069
<property name="relief">GTK_RELIEF_NORMAL</property>
4070
<property name="focus_on_click">True</property>
4071
<property name="response_id">0</property>
4072
<signal name="clicked" handler="on_button_merge_cancel_clicked" last_modification_time="Mon, 09 Oct 2006 13:35:13 GMT"/>
4077
<widget class="GtkButton" id="button_merge_merge">
4078
<property name="visible">True</property>
4079
<property name="can_default">True</property>
4080
<property name="has_default">True</property>
4081
<property name="can_focus">True</property>
4082
<property name="relief">GTK_RELIEF_NORMAL</property>
4083
<property name="focus_on_click">True</property>
4084
<property name="response_id">0</property>
4085
<signal name="clicked" handler="on_button_merge_merge_clicked" last_modification_time="Mon, 09 Oct 2006 13:35:07 GMT"/>
4088
<widget class="GtkAlignment" id="alignment19">
4089
<property name="visible">True</property>
4090
<property name="xalign">0.5</property>
4091
<property name="yalign">0.5</property>
4092
<property name="xscale">0</property>
4093
<property name="yscale">0</property>
4094
<property name="top_padding">0</property>
4095
<property name="bottom_padding">0</property>
4096
<property name="left_padding">0</property>
4097
<property name="right_padding">0</property>
4100
<widget class="GtkHBox" id="hbox14">
4101
<property name="visible">True</property>
4102
<property name="homogeneous">False</property>
4103
<property name="spacing">2</property>
4106
<widget class="GtkImage" id="image239">
4107
<property name="visible">True</property>
4108
<property name="stock">gtk-apply</property>
4109
<property name="icon_size">4</property>
4110
<property name="xalign">0.5</property>
4111
<property name="yalign">0.5</property>
4112
<property name="xpad">0</property>
4113
<property name="ypad">0</property>
4116
<property name="padding">0</property>
4117
<property name="expand">False</property>
4118
<property name="fill">False</property>
4123
<widget class="GtkLabel" id="label21">
4124
<property name="visible">True</property>
4125
<property name="label" translatable="yes">_Merge</property>
4126
<property name="use_underline">True</property>
4127
<property name="use_markup">False</property>
4128
<property name="justify">GTK_JUSTIFY_LEFT</property>
4129
<property name="wrap">False</property>
4130
<property name="selectable">False</property>
4131
<property name="xalign">0.5</property>
4132
<property name="yalign">0.5</property>
4133
<property name="xpad">0</property>
4134
<property name="ypad">0</property>
4135
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4136
<property name="width_chars">-1</property>
4137
<property name="single_line_mode">False</property>
4138
<property name="angle">0</property>
4141
<property name="padding">0</property>
4142
<property name="expand">False</property>
4143
<property name="fill">False</property>
4154
<property name="padding">0</property>
4155
<property name="expand">False</property>
4156
<property name="fill">False</property>
4157
<property name="pack_type">GTK_PACK_END</property>
5386
<widget class="GtkTable" id="table_bookmark">
4162
<widget class="GtkHBox" id="hbox_merge">
5387
4163
<property name="visible">True</property>
5388
<property name="n_rows">2</property>
5389
<property name="n_columns">2</property>
5390
4164
<property name="homogeneous">False</property>
5391
<property name="row_spacing">3</property>
5392
<property name="column_spacing">3</property>
5395
<widget class="GtkLabel" id="label_bookmark_location">
5396
<property name="visible">True</property>
5397
<property name="label" translatable="yes">Location:</property>
5398
<property name="use_underline">False</property>
5399
<property name="use_markup">False</property>
5400
<property name="justify">GTK_JUSTIFY_LEFT</property>
5401
<property name="wrap">False</property>
5402
<property name="selectable">False</property>
5403
<property name="xalign">0</property>
5404
<property name="yalign">0.5</property>
5405
<property name="xpad">0</property>
5406
<property name="ypad">0</property>
5407
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5408
<property name="width_chars">-1</property>
5409
<property name="single_line_mode">False</property>
5410
<property name="angle">0</property>
5413
<property name="left_attach">0</property>
5414
<property name="right_attach">1</property>
5415
<property name="top_attach">0</property>
5416
<property name="bottom_attach">1</property>
5417
<property name="x_options">fill</property>
5418
<property name="y_options"></property>
5423
<widget class="GtkLabel" id="label_bookmark_title">
5424
<property name="visible">True</property>
5425
<property name="label" translatable="yes">Title:</property>
5426
<property name="use_underline">False</property>
5427
<property name="use_markup">False</property>
5428
<property name="justify">GTK_JUSTIFY_LEFT</property>
5429
<property name="wrap">False</property>
5430
<property name="selectable">False</property>
5431
<property name="xalign">0</property>
5432
<property name="yalign">0.5</property>
5433
<property name="xpad">0</property>
5434
<property name="ypad">0</property>
5435
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5436
<property name="width_chars">-1</property>
5437
<property name="single_line_mode">False</property>
5438
<property name="angle">0</property>
5441
<property name="left_attach">0</property>
5442
<property name="right_attach">1</property>
5443
<property name="top_attach">1</property>
5444
<property name="bottom_attach">2</property>
5445
<property name="x_options">fill</property>
5446
<property name="y_options"></property>
5451
<widget class="GtkEntry" id="entry_bookmark_location">
5452
<property name="visible">True</property>
5453
<property name="can_focus">True</property>
5454
<property name="editable">False</property>
5455
<property name="visibility">True</property>
5456
<property name="max_length">0</property>
5457
<property name="text" translatable="yes"></property>
5458
<property name="has_frame">True</property>
5459
<property name="invisible_char">●</property>
5460
<property name="activates_default">False</property>
5463
<property name="left_attach">1</property>
5464
<property name="right_attach">2</property>
5465
<property name="top_attach">0</property>
5466
<property name="bottom_attach">1</property>
5467
<property name="y_options"></property>
5472
<widget class="GtkEntry" id="entry_bookmark_title">
5473
<property name="visible">True</property>
5474
<property name="can_focus">True</property>
5475
<property name="has_focus">True</property>
4165
<property name="spacing">3</property>
4168
<widget class="GtkLabel" id="label_merge">
4169
<property name="visible">True</property>
4170
<property name="label" translatable="yes">Merge from:</property>
4171
<property name="use_underline">False</property>
4172
<property name="use_markup">False</property>
4173
<property name="justify">GTK_JUSTIFY_LEFT</property>
4174
<property name="wrap">False</property>
4175
<property name="selectable">False</property>
4176
<property name="xalign">0.5</property>
4177
<property name="yalign">0.5</property>
4178
<property name="xpad">0</property>
4179
<property name="ypad">0</property>
4180
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4181
<property name="width_chars">-1</property>
4182
<property name="single_line_mode">False</property>
4183
<property name="angle">0</property>
4186
<property name="padding">0</property>
4187
<property name="expand">False</property>
4188
<property name="fill">False</property>
4193
<widget class="GtkEntry" id="entry_merge">
4194
<property name="visible">True</property>
4195
<property name="can_focus">True</property>
5476
4196
<property name="editable">True</property>
5477
4197
<property name="visibility">True</property>
5478
4198
<property name="max_length">0</property>