253
253
<property name="position">1</property>
257
<object class="GtkFrame" id="viewports_frame">
258
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
259
<property name="no_show_all">True</property>
260
<property name="label_xalign">0</property>
261
<property name="shadow_type">none</property>
263
<object class="GtkAlignment" id="viewports_alignment">
264
<property name="visible">True</property>
265
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
266
<property name="left_padding">12</property>
268
<object class="GtkVBox" id="viewports_vbox">
269
<property name="visible">True</property>
270
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
271
<property name="spacing">6</property>
273
<object class="GtkTable" id="viewports_table">
274
<property name="visible">True</property>
275
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
276
<property name="n_rows">2</property>
277
<property name="n_columns">2</property>
278
<property name="column_spacing">6</property>
279
<property name="row_spacing">6</property>
281
<object class="GtkLabel" id="hsize_label">
282
<property name="visible">True</property>
283
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
284
<property name="label" translatable="yes">Co_lumns:</property>
285
<property name="use_underline">True</property>
286
<property name="mnemonic_widget">hsize_spin</property>
289
<property name="x_options"></property>
290
<property name="y_options"></property>
294
<object class="GtkSpinButton" id="hsize_spin">
295
<property name="visible">True</property>
296
<property name="can_focus">True</property>
297
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
298
<property name="adjustment">hsize_spin_adjustment</property>
299
<property name="climb_rate">1</property>
302
<property name="left_attach">1</property>
303
<property name="right_attach">2</property>
304
<property name="x_options"></property>
305
<property name="y_options"></property>
309
<object class="GtkLabel" id="vsize_label">
310
<property name="visible">True</property>
311
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
312
<property name="label" translatable="yes">_Rows:</property>
313
<property name="use_underline">True</property>
314
<property name="mnemonic_widget">vsize_spin</property>
317
<property name="top_attach">1</property>
318
<property name="bottom_attach">2</property>
319
<property name="x_options"></property>
320
<property name="y_options"></property>
324
<object class="GtkSpinButton" id="vsize_spin">
325
<property name="visible">True</property>
326
<property name="can_focus">True</property>
327
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
328
<property name="adjustment">vsize_spin_adjustment</property>
329
<property name="climb_rate">1</property>
332
<property name="left_attach">1</property>
333
<property name="right_attach">2</property>
334
<property name="top_attach">1</property>
335
<property name="bottom_attach">2</property>
336
<property name="x_options"></property>
337
<property name="y_options"></property>
342
<property name="expand">False</property>
343
<property name="fill">False</property>
344
<property name="position">0</property>
352
<object class="GtkLabel" id="label_viewports">
353
<property name="visible">True</property>
354
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
355
<property name="label" translatable="yes"><b>Workspaces</b></property>
356
<property name="use_markup">True</property>
361
<property name="position">2</property>
258
366
<property name="position">1</property>
320
428
<property name="step_increment">1</property>
321
429
<property name="page_increment">10</property>
431
<object class="GtkAdjustment" id="hsize_spin_adjustment">
432
<property name="value">1</property>
433
<property name="lower">1</property>
434
<property name="upper">16</property>
435
<property name="step_increment">1</property>
436
<property name="page_increment">10</property>
438
<object class="GtkAdjustment" id="vsize_spin_adjustment">
439
<property name="value">1</property>
440
<property name="lower">1</property>
441
<property name="upper">16</property>
442
<property name="step_increment">1</property>
443
<property name="page_increment">10</property>