1<?xml version="1.0" encoding="UTF-8"?> 2<interface> 3 <!-- interface-requires gtk+ 3.0 --> 4 <!-- interface-requires gtksourceview 3.0 --> 5 <object class="GtkAdjustment" id="adjustment1"> 6 <property name="upper">100000</property> 7 <property name="value">3</property> 8 <property name="step_increment">1</property> 9 <property name="page_increment">10</property> 10 </object> 11 <object class="GtkAdjustment" id="adjustment2"> 12 <property name="upper">100000</property> 13 <property name="value">10</property> 14 <property name="step_increment">1</property> 15 <property name="page_increment">10</property> 16 </object> 17 <object class="GtkWindow" id="window"> 18 <property name="visible">True</property> 19 <property name="can_focus">False</property> 20 <child> 21 <object class="GtkGrid" id="grid1"> 22 <property name="visible">True</property> 23 <property name="can_focus">False</property> 24 <property name="border_width">6</property> 25 <property name="column_spacing">10</property> 26 <child> 27 <object class="GtkGrid" id="grid2"> 28 <property name="visible">True</property> 29 <property name="can_focus">False</property> 30 <property name="row_spacing">5</property> 31 <child> 32 <object class="GtkGrid" id="grid3"> 33 <property name="visible">True</property> 34 <property name="can_focus">False</property> 35 <property name="margin_start">10</property> 36 <child> 37 <object class="GtkCheckButton" id="checkbutton_remember_info_visibility"> 38 <property name="label">Remember info visibility</property> 39 <property name="visible">True</property> 40 <property name="can_focus">True</property> 41 <property name="receives_default">False</property> 42 <property name="draw_indicator">True</property> 43 </object> 44 <packing> 45 <property name="left_attach">0</property> 46 <property name="top_attach">0</property> 47 <property name="width">1</property> 48 <property name="height">1</property> 49 </packing> 50 </child> 51 <child> 52 <object class="GtkCheckButton" id="checkbutton_select_on_show"> 53 <property name="label">Select first on show</property> 54 <property name="visible">True</property> 55 <property name="can_focus">True</property> 56 <property name="receives_default">False</property> 57 <property name="draw_indicator">True</property> 58 </object> 59 <packing> 60 <property name="left_attach">0</property> 61 <property name="top_attach">1</property> 62 <property name="width">1</property> 63 <property name="height">1</property> 64 </packing> 65 </child> 66 <child> 67 <object class="GtkCheckButton" id="checkbutton_show_headers"> 68 <property name="label">Show headers</property> 69 <property name="visible">True</property> 70 <property name="can_focus">True</property> 71 <property name="receives_default">False</property> 72 <property name="draw_indicator">True</property> 73 </object> 74 <packing> 75 <property name="left_attach">0</property> 76 <property name="top_attach">2</property> 77 <property name="width">1</property> 78 <property name="height">1</property> 79 </packing> 80 </child> 81 <child> 82 <object class="GtkCheckButton" id="checkbutton_show_icons"> 83 <property name="label">Show icons</property> 84 <property name="visible">True</property> 85 <property name="can_focus">True</property> 86 <property name="receives_default">False</property> 87 <property name="draw_indicator">True</property> 88 </object> 89 <packing> 90 <property name="left_attach">0</property> 91 <property name="top_attach">3</property> 92 <property name="width">1</property> 93 <property name="height">1</property> 94 </packing> 95 </child> 96 </object> 97 <packing> 98 <property name="left_attach">0</property> 99 <property name="top_attach">1</property> 100 <property name="width">1</property> 101 <property name="height">1</property> 102 </packing> 103 </child> 104 <child> 105 <object class="GtkLabel" id="label2"> 106 <property name="visible">True</property> 107 <property name="can_focus">False</property> 108 <property name="halign">start</property> 109 <property name="label">Providers</property> 110 <attributes> 111 <attribute name="weight" value="bold"/> 112 </attributes> 113 </object> 114 <packing> 115 <property name="left_attach">0</property> 116 <property name="top_attach">2</property> 117 <property name="width">1</property> 118 <property name="height">1</property> 119 </packing> 120 </child> 121 <child> 122 <object class="GtkLabel" id="label1"> 123 <property name="visible">True</property> 124 <property name="can_focus">False</property> 125 <property name="halign">start</property> 126 <property name="label">General options</property> 127 <attributes> 128 <attribute name="weight" value="bold"/> 129 </attributes> 130 </object> 131 <packing> 132 <property name="left_attach">0</property> 133 <property name="top_attach">0</property> 134 <property name="width">1</property> 135 <property name="height">1</property> 136 </packing> 137 </child> 138 <child> 139 <object class="GtkGrid" id="grid4"> 140 <property name="visible">True</property> 141 <property name="can_focus">False</property> 142 <property name="margin_start">10</property> 143 <child> 144 <object class="GtkCheckButton" id="checkbutton_word_provider"> 145 <property name="label">Word provider</property> 146 <property name="visible">True</property> 147 <property name="can_focus">True</property> 148 <property name="receives_default">False</property> 149 <property name="active">True</property> 150 <property name="draw_indicator">True</property> 151 </object> 152 <packing> 153 <property name="left_attach">0</property> 154 <property name="top_attach">0</property> 155 <property name="width">1</property> 156 <property name="height">1</property> 157 </packing> 158 </child> 159 <child> 160 <object class="GtkCheckButton" id="checkbutton_fixed_provider"> 161 <property name="label">Fixed provider</property> 162 <property name="visible">True</property> 163 <property name="can_focus">True</property> 164 <property name="receives_default">False</property> 165 <property name="active">True</property> 166 <property name="draw_indicator">True</property> 167 </object> 168 <packing> 169 <property name="left_attach">0</property> 170 <property name="top_attach">1</property> 171 <property name="width">1</property> 172 <property name="height">1</property> 173 </packing> 174 </child> 175 <child> 176 <object class="GtkCheckButton" id="checkbutton_random_provider"> 177 <property name="label">Random provider</property> 178 <property name="visible">True</property> 179 <property name="can_focus">True</property> 180 <property name="receives_default">False</property> 181 <property name="active">True</property> 182 <property name="draw_indicator">True</property> 183 </object> 184 <packing> 185 <property name="left_attach">0</property> 186 <property name="top_attach">2</property> 187 <property name="width">1</property> 188 <property name="height">1</property> 189 </packing> 190 </child> 191 </object> 192 <packing> 193 <property name="left_attach">0</property> 194 <property name="top_attach">3</property> 195 <property name="width">1</property> 196 <property name="height">1</property> 197 </packing> 198 </child> 199 <child> 200 <object class="GtkLabel" id="label3"> 201 <property name="visible">True</property> 202 <property name="can_focus">False</property> 203 <property name="halign">start</property> 204 <property name="label">Fixed provider proposals</property> 205 <attributes> 206 <attribute name="weight" value="bold"/> 207 </attributes> 208 </object> 209 <packing> 210 <property name="left_attach">0</property> 211 <property name="top_attach">4</property> 212 <property name="width">1</property> 213 <property name="height">1</property> 214 </packing> 215 </child> 216 <child> 217 <object class="GtkGrid" id="grid5"> 218 <property name="visible">True</property> 219 <property name="can_focus">False</property> 220 <property name="margin_start">10</property> 221 <child> 222 <object class="GtkGrid" id="grid6"> 223 <property name="visible">True</property> 224 <property name="can_focus">False</property> 225 <property name="column_spacing">5</property> 226 <child> 227 <object class="GtkLabel" id="label4"> 228 <property name="visible">True</property> 229 <property name="can_focus">False</property> 230 <property name="label">Number of proposals:</property> 231 </object> 232 <packing> 233 <property name="left_attach">0</property> 234 <property name="top_attach">0</property> 235 <property name="width">1</property> 236 <property name="height">1</property> 237 </packing> 238 </child> 239 <child> 240 <object class="GtkSpinButton" id="spinbutton_nb_fixed_proposals"> 241 <property name="visible">True</property> 242 <property name="can_focus">True</property> 243 <property name="text" translatable="yes">3</property> 244 <property name="adjustment">adjustment1</property> 245 <property name="value">3</property> 246 </object> 247 <packing> 248 <property name="left_attach">1</property> 249 <property name="top_attach">0</property> 250 <property name="width">1</property> 251 <property name="height">1</property> 252 </packing> 253 </child> 254 </object> 255 <packing> 256 <property name="left_attach">0</property> 257 <property name="top_attach">0</property> 258 <property name="width">1</property> 259 <property name="height">1</property> 260 </packing> 261 </child> 262 </object> 263 <packing> 264 <property name="left_attach">0</property> 265 <property name="top_attach">5</property> 266 <property name="width">1</property> 267 <property name="height">1</property> 268 </packing> 269 </child> 270 <child> 271 <object class="GtkLabel" id="label5"> 272 <property name="visible">True</property> 273 <property name="can_focus">False</property> 274 <property name="halign">start</property> 275 <property name="label">Random provider proposals</property> 276 <attributes> 277 <attribute name="weight" value="bold"/> 278 </attributes> 279 </object> 280 <packing> 281 <property name="left_attach">0</property> 282 <property name="top_attach">6</property> 283 <property name="width">1</property> 284 <property name="height">1</property> 285 </packing> 286 </child> 287 <child> 288 <object class="GtkGrid" id="grid7"> 289 <property name="visible">True</property> 290 <property name="can_focus">False</property> 291 <property name="margin_start">10</property> 292 <property name="column_spacing">5</property> 293 <child> 294 <object class="GtkLabel" id="label6"> 295 <property name="visible">True</property> 296 <property name="can_focus">False</property> 297 <property name="label">Max number of proposals:</property> 298 </object> 299 <packing> 300 <property name="left_attach">0</property> 301 <property name="top_attach">0</property> 302 <property name="width">1</property> 303 <property name="height">1</property> 304 </packing> 305 </child> 306 <child> 307 <object class="GtkSpinButton" id="spinbutton_nb_random_proposals"> 308 <property name="visible">True</property> 309 <property name="can_focus">True</property> 310 <property name="adjustment">adjustment2</property> 311 <property name="value">10</property> 312 </object> 313 <packing> 314 <property name="left_attach">1</property> 315 <property name="top_attach">0</property> 316 <property name="width">1</property> 317 <property name="height">1</property> 318 </packing> 319 </child> 320 </object> 321 <packing> 322 <property name="left_attach">0</property> 323 <property name="top_attach">7</property> 324 <property name="width">1</property> 325 <property name="height">1</property> 326 </packing> 327 </child> 328 </object> 329 <packing> 330 <property name="left_attach">0</property> 331 <property name="top_attach">0</property> 332 <property name="width">1</property> 333 <property name="height">1</property> 334 </packing> 335 </child> 336 <child> 337 <object class="GtkScrolledWindow" id="scrolledwindow1"> 338 <property name="width_request">600</property> 339 <property name="visible">True</property> 340 <property name="can_focus">True</property> 341 <property name="shadow_type">in</property> 342 <child> 343 <object class="GtkSourceView" id="source_view"> 344 <property name="visible">True</property> 345 <property name="can_focus">True</property> 346 <property name="hexpand">True</property> 347 <property name="vexpand">True</property> 348 <property name="left_margin">2</property> 349 <property name="right_margin">2</property> 350 <property name="auto_indent">True</property> 351 <property name="monospace">True</property> 352 <child internal-child="completion"> 353 <object class="GtkSourceCompletion"> 354 <property name="remember_info_visibility">True</property> 355 <child internal-child="info_window"> 356 <object class="GtkSourceCompletionInfo"> 357 <property name="border_width">3</property> 358 </object> 359 </child> 360 </object> 361 </child> 362 </object> 363 </child> 364 </object> 365 <packing> 366 <property name="left_attach">1</property> 367 <property name="top_attach">0</property> 368 <property name="width">1</property> 369 <property name="height">1</property> 370 </packing> 371 </child> 372 </object> 373 </child> 374 </object> 375</interface> 376