~ubuntu-branches/ubuntu/trusty/gtkhtml3.14/trusty-proposed
» Revision
54
: components/editor/gtkhtml-editor.glade
« back to all changes in this revision
Viewing changes to components/editor/gtkhtml-editor.glade
- browse files at revision 54
- compare with another revision
- download diff
- download tarball
- view history from revision 54
- Committer: Bazaar Package Importer
- Author(s): Sebastien Bacher
- Date: 2009-07-13 15:16:42 UTC
- mfrom: (27.2.2 squeeze)
- Revision ID: james.westby@ubuntu.com-20090713151642-mpl1pzkt1n0hp63k
Tags: 1:3.27.4-0ubuntu1
* New upstream version:
Bug Fixes:
- #585959, Add G_THREAD dependency for the test binary
- #586809 – Enable "silent rules" automake 1.11 option
- #582505 – Use GtkBuilder instead of libglade
Other Fixes:
- Work around deprecation of g_mapped_file_free()
- Remove INSTALL from source control.
- Makefile cleanups.
- Remove markup from translatable strings
- Use AM_CPPFLAGS instead of INCLUDE in all Makefile.am.
- Require automake 1.9.
Translations
* debian/control:
- don't require libglade
Bug Fixes:
- #585959, Add G_THREAD dependency for the test binary
- #586809 – Enable "silent rules" automake 1.11 option
- #582505 – Use GtkBuilder instead of libglade
Other Fixes:
- Work around deprecation of g_mapped_file_free()
- Remove INSTALL from source control.
- Makefile cleanups.
- Remove markup from translatable strings
- Use AM_CPPFLAGS instead of INCLUDE in all Makefile.am.
- Require automake 1.9.
Translations
* debian/control:
- don't require libglade
- files added:
- components/editor/gtkhtml-editor-builder.ui
- files removed:
- components/editor/gtkhtml-editor.glade
- files modified:
- INSTALL
added
removed
components/editor/gtkhtml-editor.glade
1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
3
<!--Generated with glade3 3.4.5 on Wed Dec 31 00:39:22 2008 -->
4
<glade-interface>
5
<requires lib="gtkhtml-editor"/>
6
<widget class="GtkWindow" id="text-properties-window">
7
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
8
<property name="title" translatable="yes">Text Properties</property>
9
<property name="resizable">False</property>
10
<property name="modal">True</property>
11
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
12
<property name="destroy_with_parent">True</property>
13
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
14
<child>
15
<widget class="GtkVBox" id="text-properties-vbox">
16
<property name="visible">True</property>
17
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
18
<property name="border_width">12</property>
19
<property name="spacing">12</property>
20
<child>
21
<widget class="GtkHBox" id="text-properties-inner-hbox">
22
<property name="visible">True</property>
23
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
24
<property name="border_width">6</property>
25
<property name="spacing">12</property>
26
<child>
27
<widget class="GtkTable" id="text-properties-table-left">
28
<property name="visible">True</property>
29
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
30
<property name="n_rows">4</property>
31
<property name="n_columns">2</property>
32
<property name="column_spacing">6</property>
33
<property name="row_spacing">6</property>
34
<child>
35
<widget class="GtkCheckButton" id="text-properties-strikethrough-button">
36
<property name="visible">True</property>
37
<property name="can_focus">True</property>
38
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
39
<property name="label" translatable="yes">_Strikethrough</property>
40
<property name="use_underline">True</property>
41
<property name="response_id">0</property>
42
<property name="draw_indicator">True</property>
43
</widget>
44
<packing>
45
<property name="left_attach">1</property>
46
<property name="right_attach">2</property>
47
<property name="top_attach">3</property>
48
<property name="bottom_attach">4</property>
49
<property name="y_options"></property>
50
</packing>
51
</child>
52
<child>
53
<widget class="GtkCheckButton" id="text-properties-underline-button">
54
<property name="visible">True</property>
55
<property name="can_focus">True</property>
56
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
57
<property name="label" translatable="yes">_Underline</property>
58
<property name="use_underline">True</property>
59
<property name="response_id">0</property>
60
<property name="draw_indicator">True</property>
61
</widget>
62
<packing>
63
<property name="left_attach">1</property>
64
<property name="right_attach">2</property>
65
<property name="top_attach">2</property>
66
<property name="bottom_attach">3</property>
67
<property name="y_options"></property>
68
</packing>
69
</child>
70
<child>
71
<widget class="GtkCheckButton" id="text-properties-italic-button">
72
<property name="visible">True</property>
73
<property name="can_focus">True</property>
74
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
75
<property name="label" translatable="yes">_Italic</property>
76
<property name="use_underline">True</property>
77
<property name="response_id">0</property>
78
<property name="draw_indicator">True</property>
79
</widget>
80
<packing>
81
<property name="left_attach">1</property>
82
<property name="right_attach">2</property>
83
<property name="top_attach">1</property>
84
<property name="bottom_attach">2</property>
85
<property name="y_options"></property>
86
</packing>
87
</child>
88
<child>
89
<widget class="GtkCheckButton" id="text-properties-bold-button">
90
<property name="visible">True</property>
91
<property name="can_focus">True</property>
92
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
93
<property name="label" translatable="yes">_Bold</property>
94
<property name="use_underline">True</property>
95
<property name="response_id">0</property>
96
<property name="draw_indicator">True</property>
97
</widget>
98
<packing>
99
<property name="left_attach">1</property>
100
<property name="right_attach">2</property>
101
<property name="y_options"></property>
102
</packing>
103
</child>
104
<child>
105
<widget class="GtkImage" id="text-properties-strikethrough-image">
106
<property name="visible">True</property>
107
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
108
<property name="stock">gtk-strikethrough</property>
109
</widget>
110
<packing>
111
<property name="top_attach">3</property>
112
<property name="bottom_attach">4</property>
113
<property name="x_options"></property>
114
<property name="y_options"></property>
115
</packing>
116
</child>
117
<child>
118
<widget class="GtkImage" id="text-properties-underline-image">
119
<property name="visible">True</property>
120
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
121
<property name="stock">gtk-underline</property>
122
</widget>
123
<packing>
124
<property name="top_attach">2</property>
125
<property name="bottom_attach">3</property>
126
<property name="x_options"></property>
127
<property name="y_options"></property>
128
</packing>
129
</child>
130
<child>
131
<widget class="GtkImage" id="text-properties-italic-image">
132
<property name="visible">True</property>
133
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
134
<property name="stock">gtk-italic</property>
135
</widget>
136
<packing>
137
<property name="top_attach">1</property>
138
<property name="bottom_attach">2</property>
139
<property name="x_options"></property>
140
<property name="y_options"></property>
141
</packing>
142
</child>
143
<child>
144
<widget class="GtkImage" id="text-properties-bold-image">
145
<property name="visible">True</property>
146
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
147
<property name="stock">gtk-bold</property>
148
</widget>
149
<packing>
150
<property name="x_options"></property>
151
<property name="y_options"></property>
152
</packing>
153
</child>
154
</widget>
155
</child>
156
<child>
157
<widget class="GtkTable" id="text-properties-table-right">
158
<property name="visible">True</property>
159
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
160
<property name="n_rows">3</property>
161
<property name="n_columns">2</property>
162
<property name="column_spacing">6</property>
163
<property name="row_spacing">6</property>
164
<child>
165
<widget class="GtkhtmlColorCombo" id="text-properties-color-combo">
166
<property name="visible">True</property>
167
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
168
<property name="default_label">Automatic</property>
169
</widget>
170
<packing>
171
<property name="left_attach">1</property>
172
<property name="right_attach">2</property>
173
<property name="y_options">GTK_FILL</property>
174
</packing>
175
</child>
176
<child>
177
<widget class="GtkLabel" id="text-properties-size-label">
178
<property name="visible">True</property>
179
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
180
<property name="label" translatable="yes">Si_ze:</property>
181
<property name="use_underline">True</property>
182
</widget>
183
<packing>
184
<property name="top_attach">1</property>
185
<property name="bottom_attach">2</property>
186
<property name="x_options">GTK_FILL</property>
187
<property name="y_options"></property>
188
</packing>
189
</child>
190
<child>
191
<widget class="GtkLabel" id="text-properties-color-label">
192
<property name="visible">True</property>
193
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
194
<property name="label" translatable="yes">_Color:</property>
195
<property name="use_underline">True</property>
196
</widget>
197
<packing>
198
<property name="x_options">GTK_FILL</property>
199
<property name="y_options"></property>
200
</packing>
201
</child>
202
<child>
203
<widget class="GtkAlignment" id="text-properties-alignment">
204
<property name="visible">True</property>
205
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
206
<child>
207
<placeholder/>
208
</child>
209
</widget>
210
<packing>
211
<property name="right_attach">2</property>
212
<property name="top_attach">2</property>
213
<property name="bottom_attach">3</property>
214
</packing>
215
</child>
216
<child>
217
<widget class="GtkhtmlComboBox" id="text-properties-size-combo-box">
218
<property name="visible">True</property>
219
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
220
</widget>
221
<packing>
222
<property name="left_attach">1</property>
223
<property name="right_attach">2</property>
224
<property name="top_attach">1</property>
225
<property name="bottom_attach">2</property>
226
<property name="y_options"></property>
227
</packing>
228
</child>
229
</widget>
230
<packing>
231
<property name="position">1</property>
232
</packing>
233
</child>
234
</widget>
235
</child>
236
<child>
237
<widget class="GtkHButtonBox" id="text-properties-button-box">
238
<property name="visible">True</property>
239
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
240
<property name="layout_style">GTK_BUTTONBOX_END</property>
241
<child>
242
<widget class="GtkButton" id="text-properties-ok-button">
243
<property name="visible">True</property>
244
<property name="can_focus">True</property>
245
<property name="receives_default">True</property>
246
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
247
<property name="label">gtk-ok</property>
248
<property name="use_stock">True</property>
249
<property name="response_id">0</property>
250
<signal name="clicked" handler="gtk_widget_hide" object="text-properties-window"/>
251
</widget>
252
<packing>
253
<property name="position">1</property>
254
</packing>
255
</child>
256
</widget>
257
<packing>
258
<property name="expand">False</property>
259
<property name="fill">False</property>
260
<property name="pack_type">GTK_PACK_END</property>
261
<property name="position">1</property>
262
</packing>
263
</child>
264
</widget>
265
</child>
266
</widget>
267
<widget class="GtkWindow" id="paragraph-properties-window">
268
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
269
<property name="title" translatable="yes">Paragraph Properties</property>
270
<property name="resizable">False</property>
271
<property name="modal">True</property>
272
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
273
<property name="destroy_with_parent">True</property>
274
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
275
<child>
276
<widget class="GtkVBox" id="paragraph-properties-vbox">
277
<property name="visible">True</property>
278
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
279
<property name="border_width">12</property>
280
<property name="spacing">12</property>
281
<child>
282
<widget class="GtkVBox" id="paragraph-properties-general-vbox">
283
<property name="visible">True</property>
284
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
285
<property name="spacing">6</property>
286
<child>
287
<widget class="GtkLabel" id="paragraph-properties-general-label">
288
<property name="visible">True</property>
289
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
290
<property name="xalign">0</property>
291
<property name="label" translatable="yes"><b>General</b></property>
292
<property name="use_markup">True</property>
293
</widget>
294
<packing>
295
<property name="expand">False</property>
296
<property name="fill">False</property>
297
</packing>
298
</child>
299
<child>
300
<widget class="GtkAlignment" id="paragraph-properties-general-alignment">
301
<property name="visible">True</property>
302
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
303
<property name="left_padding">12</property>
304
<child>
305
<widget class="GtkHBox" id="paragraph-properties-general-hbox">
306
<property name="visible">True</property>
307
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
308
<property name="spacing">6</property>
309
<child>
310
<widget class="GtkLabel" id="paragraph-properties-general-style-label">
311
<property name="visible">True</property>
312
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
313
<property name="xalign">0</property>
314
<property name="label" translatable="yes">_Style:</property>
315
<property name="use_underline">True</property>
316
</widget>
317
<packing>
318
<property name="expand">False</property>
319
<property name="fill">False</property>
320
</packing>
321
</child>
322
<child>
323
<widget class="GtkhtmlComboBox" id="paragraph-properties-style-combo-box">
324
<property name="visible">True</property>
325
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
326
</widget>
327
<packing>
328
<property name="expand">False</property>
329
<property name="fill">False</property>
330
<property name="position">1</property>
331
</packing>
332
</child>
333
</widget>
334
</child>
335
</widget>
336
<packing>
337
<property name="expand">False</property>
338
<property name="fill">False</property>
339
<property name="position">1</property>
340
</packing>
341
</child>
342
</widget>
343
</child>
344
<child>
345
<widget class="GtkVBox" id="paragraph-properties-alignment-vbox">
346
<property name="visible">True</property>
347
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
348
<property name="spacing">6</property>
349
<child>
350
<widget class="GtkLabel" id="paragraph-properties-alignment-label">
351
<property name="visible">True</property>
352
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
353
<property name="xalign">0</property>
354
<property name="label" translatable="yes"><b>Alignment</b></property>
355
<property name="use_markup">True</property>
356
</widget>
357
<packing>
358
<property name="expand">False</property>
359
<property name="fill">False</property>
360
</packing>
361
</child>
362
<child>
363
<widget class="GtkAlignment" id="paragraph-properties-alignment-alignment">
364
<property name="visible">True</property>
365
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
366
<property name="left_padding">12</property>
367
<child>
368
<widget class="GtkHButtonBox" id="paragraph-properties-alignment-button-box">
369
<property name="visible">True</property>
370
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
371
<property name="spacing">6</property>
372
<property name="homogeneous">True</property>
373
<child>
374
<widget class="GtkToggleButton" id="paragraph-properties-left-button">
375
<property name="visible">True</property>
376
<property name="can_focus">True</property>
377
<property name="receives_default">True</property>
378
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
379
<property name="label">gtk-justify-left</property>
380
<property name="use_stock">True</property>
381
<property name="response_id">0</property>
382
</widget>
383
</child>
384
<child>
385
<widget class="GtkToggleButton" id="paragraph-properties-center-button">
386
<property name="visible">True</property>
387
<property name="can_focus">True</property>
388
<property name="receives_default">True</property>
389
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
390
<property name="label">gtk-justify-center</property>
391
<property name="use_stock">True</property>
392
<property name="response_id">0</property>
393
</widget>
394
<packing>
395
<property name="position">1</property>
396
</packing>
397
</child>
398
<child>
399
<widget class="GtkToggleButton" id="paragraph-properties-right-button">
400
<property name="visible">True</property>
401
<property name="can_focus">True</property>
402
<property name="receives_default">True</property>
403
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
404
<property name="label">gtk-justify-right</property>
405
<property name="use_stock">True</property>
406
<property name="response_id">0</property>
407
</widget>
408
<packing>
409
<property name="position">2</property>
410
</packing>
411
</child>
412
</widget>
413
</child>
414
</widget>
415
<packing>
416
<property name="expand">False</property>
417
<property name="fill">False</property>
418
<property name="position">1</property>
419
</packing>
420
</child>
421
</widget>
422
<packing>
423
<property name="position">1</property>
424
</packing>
425
</child>
426
<child>
427
<widget class="GtkHButtonBox" id="paragraph-properties-button-box">
428
<property name="visible">True</property>
429
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
430
<property name="layout_style">GTK_BUTTONBOX_END</property>
431
<child>
432
<widget class="GtkButton" id="paragraph-properties-ok-button">
433
<property name="visible">True</property>
434
<property name="can_focus">True</property>
435
<property name="receives_default">True</property>
436
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
437
<property name="label">gtk-ok</property>
438
<property name="use_stock">True</property>
439
<property name="response_id">0</property>
440
<signal name="clicked" handler="gtk_widget_hide" object="paragraph-properties-window"/>
441
</widget>
442
<packing>
443
<property name="position">1</property>
444
</packing>
445
</child>
446
</widget>
447
<packing>
448
<property name="expand">False</property>
449
<property name="fill">False</property>
450
<property name="pack_type">GTK_PACK_END</property>
451
<property name="position">2</property>
452
</packing>
453
</child>
454
</widget>
455
</child>
456
</widget>
457
<widget class="GtkWindow" id="find-window">
458
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
459
<property name="title" translatable="yes">Find</property>
460
<property name="resizable">False</property>
461
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
462
<property name="destroy_with_parent">True</property>
463
<property name="icon_name">gtk-find</property>
464
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
465
<child>
466
<widget class="GtkVBox" id="find-vbox">
467
<property name="visible">True</property>
468
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
469
<property name="border_width">12</property>
470
<property name="spacing">12</property>
471
<child>
472
<widget class="GtkVBox" id="find-inner-vbox">
473
<property name="visible">True</property>
474
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
475
<property name="spacing">6</property>
476
<child>
477
<widget class="GtkEntry" id="find-entry">
478
<property name="visible">True</property>
479
<property name="can_focus">True</property>
480
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
481
<property name="activates_default">True</property>
482
<signal name="changed" handler="gtkhtml_editor_find_entry_changed_cb" object="find-window"/>
483
<signal name="activate" handler="gtkhtml_editor_find_entry_activate_cb" object="find-window"/>
484
</widget>
485
<packing>
486
<property name="expand">False</property>
487
<property name="fill">False</property>
488
</packing>
489
</child>
490
<child>
491
<widget class="GtkHBox" id="find-hbox">
492
<property name="visible">True</property>
493
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
494
<property name="spacing">6</property>
495
<child>
496
<widget class="GtkCheckButton" id="find-backwards">
497
<property name="visible">True</property>
498
<property name="can_focus">True</property>
499
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
500
<property name="label" translatable="yes">Search _backwards</property>
501
<property name="use_underline">True</property>
502
<property name="response_id">0</property>
503
<property name="draw_indicator">True</property>
504
<signal name="toggled" handler="gtkhtml_editor_find_backwards_toggled_cb" object="find-window"/>
505
</widget>
506
</child>
507
<child>
508
<widget class="GtkCheckButton" id="find-case-sensitive">
509
<property name="visible">True</property>
510
<property name="can_focus">True</property>
511
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
512
<property name="label" translatable="yes">Case _sensitive</property>
513
<property name="use_underline">True</property>
514
<property name="response_id">0</property>
515
<property name="draw_indicator">True</property>
516
<signal name="toggled" handler="gtkhtml_editor_find_case_sensitive_toggled_cb" object="find-window"/>
517
</widget>
518
<packing>
519
<property name="position">1</property>
520
</packing>
521
</child>
522
<child>
523
<widget class="GtkCheckButton" id="find-regular-expression">
524
<property name="visible">True</property>
525
<property name="can_focus">True</property>
526
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
527
<property name="label" translatable="yes">_Regular expression</property>
528
<property name="use_underline">True</property>
529
<property name="response_id">0</property>
530
<property name="draw_indicator">True</property>
531
<signal name="toggled" handler="gtkhtml_editor_find_regular_expression_toggled_cb" object="find-window"/>
532
</widget>
533
<packing>
534
<property name="position">2</property>
535
</packing>
536
</child>
537
</widget>
538
<packing>
539
<property name="expand">False</property>
540
<property name="fill">False</property>
541
<property name="position">1</property>
542
</packing>
543
</child>
544
</widget>
545
<packing>
546
<property name="expand">False</property>
547
<property name="fill">False</property>
548
</packing>
549
</child>
550
<child>
551
<widget class="GtkHButtonBox" id="find-button-box">
552
<property name="visible">True</property>
553
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
554
<property name="spacing">12</property>
555
<property name="layout_style">GTK_BUTTONBOX_END</property>
556
<child>
557
<widget class="GtkButton" id="find-close-button">
558
<property name="visible">True</property>
559
<property name="can_focus">True</property>
560
<property name="receives_default">True</property>
561
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
562
<property name="label">gtk-close</property>
563
<property name="use_stock">True</property>
564
<property name="response_id">-6</property>
565
<signal name="clicked" handler="gtk_widget_hide" object="find-window"/>
566
</widget>
567
</child>
568
<child>
569
<widget class="GtkButton" id="find-button">
570
<property name="visible">True</property>
571
<property name="can_focus">True</property>
572
<property name="can_default">True</property>
573
<property name="has_default">True</property>
574
<property name="receives_default">True</property>
575
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
576
<property name="label">gtk-find</property>
577
<property name="use_stock">True</property>
578
<property name="response_id">0</property>
579
</widget>
580
<packing>
581
<property name="position">1</property>
582
</packing>
583
</child>
584
</widget>
585
<packing>
586
<property name="expand">False</property>
587
<property name="fill">False</property>
588
<property name="pack_type">GTK_PACK_END</property>
589
<property name="position">1</property>
590
</packing>
591
</child>
592
</widget>
593
</child>
594
</widget>
595
<widget class="GtkWindow" id="replace-window">
596
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
597
<property name="title" translatable="yes">Replace</property>
598
<property name="resizable">False</property>
599
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
600
<property name="destroy_with_parent">True</property>
601
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
602
<child>
603
<widget class="GtkVBox" id="replace-vbox">
604
<property name="visible">True</property>
605
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
606
<property name="extension_events">GDK_EXTENSION_EVENTS_ALL</property>
607
<property name="border_width">12</property>
608
<property name="spacing">12</property>
609
<child>
610
<widget class="GtkTable" id="replace-table">
611
<property name="visible">True</property>
612
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
613
<property name="n_rows">3</property>
614
<property name="n_columns">3</property>
615
<property name="column_spacing">6</property>
616
<property name="row_spacing">6</property>
617
<child>
618
<widget class="GtkEntry" id="replace-with-entry">
619
<property name="visible">True</property>
620
<property name="can_focus">True</property>
621
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
622
</widget>
623
<packing>
624
<property name="left_attach">1</property>
625
<property name="right_attach">3</property>
626
<property name="top_attach">1</property>
627
<property name="bottom_attach">2</property>
628
</packing>
629
</child>
630
<child>
631
<widget class="GtkEntry" id="replace-entry">
632
<property name="visible">True</property>
633
<property name="can_focus">True</property>
634
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
635
</widget>
636
<packing>
637
<property name="left_attach">1</property>
638
<property name="right_attach">3</property>
639
</packing>
640
</child>
641
<child>
642
<widget class="GtkLabel" id="replace-with-label">
643
<property name="visible">True</property>
644
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
645
<property name="xalign">1</property>
646
<property name="label" translatable="yes">_With:</property>
647
<property name="use_underline">True</property>
648
<property name="mnemonic_widget">replace-with-entry</property>
649
</widget>
650
<packing>
651
<property name="top_attach">1</property>
652
<property name="bottom_attach">2</property>
653
<property name="x_options">GTK_FILL</property>
654
<property name="y_options"></property>
655
</packing>
656
</child>
657
<child>
658
<widget class="GtkLabel" id="replace-label">
659
<property name="visible">True</property>
660
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
661
<property name="xalign">1</property>
662
<property name="label" translatable="yes">R_eplace:</property>
663
<property name="use_underline">True</property>
664
<property name="mnemonic_widget">replace-entry</property>
665
</widget>
666
<packing>
667
<property name="x_options">GTK_FILL</property>
668
<property name="y_options"></property>
669
</packing>
670
</child>
671
<child>
672
<widget class="GtkCheckButton" id="replace-backwards">
673
<property name="visible">True</property>
674
<property name="can_focus">True</property>
675
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
676
<property name="label" translatable="yes">Search _backwards</property>
677
<property name="use_underline">True</property>
678
<property name="response_id">0</property>
679
<property name="draw_indicator">True</property>
680
</widget>
681
<packing>
682
<property name="left_attach">1</property>
683
<property name="right_attach">2</property>
684
<property name="top_attach">2</property>
685
<property name="bottom_attach">3</property>
686
<property name="x_options"></property>
687
<property name="y_options"></property>
688
</packing>
689
</child>
690
<child>
691
<widget class="GtkCheckButton" id="replace-case-sensitive">
692
<property name="visible">True</property>
693
<property name="can_focus">True</property>
694
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
695
<property name="label" translatable="yes">Case _sensitive</property>
696
<property name="use_underline">True</property>
697
<property name="response_id">0</property>
698
<property name="draw_indicator">True</property>
699
</widget>
700
<packing>
701
<property name="left_attach">2</property>
702
<property name="right_attach">3</property>
703
<property name="top_attach">2</property>
704
<property name="bottom_attach">3</property>
705
<property name="y_options"></property>
706
</packing>
707
</child>
708
<child>
709
<widget class="GtkAlignment" id="replace-alignment">
710
<property name="visible">True</property>
711
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
712
<child>
713
<placeholder/>
714
</child>
715
</widget>
716
<packing>
717
<property name="top_attach">2</property>
718
<property name="bottom_attach">3</property>
719
<property name="x_options"></property>
720
<property name="y_options"></property>
721
</packing>
722
</child>
723
</widget>
724
<packing>
725
<property name="expand">False</property>
726
<property name="fill">False</property>
727
</packing>
728
</child>
729
<child>
730
<widget class="GtkHButtonBox" id="replace-button-box">
731
<property name="visible">True</property>
732
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
733
<property name="spacing">12</property>
734
<property name="layout_style">GTK_BUTTONBOX_END</property>
735
<child>
736
<widget class="GtkButton" id="replace-close-button">
737
<property name="visible">True</property>
738
<property name="can_focus">True</property>
739
<property name="receives_default">True</property>
740
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
741
<property name="label">gtk-close</property>
742
<property name="use_stock">True</property>
743
<property name="response_id">-6</property>
744
<signal name="clicked" handler="gtk_widget_hide" object="replace-window"/>
745
</widget>
746
</child>
747
<child>
748
<widget class="GtkButton" id="replace-button">
749
<property name="visible">True</property>
750
<property name="can_focus">True</property>
751
<property name="can_default">True</property>
752
<property name="has_default">True</property>
753
<property name="receives_default">True</property>
754
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
755
<property name="label">gtk-find-and-replace</property>
756
<property name="use_stock">True</property>
757
<property name="response_id">0</property>
758
</widget>
759
<packing>
760
<property name="position">1</property>
761
</packing>
762
</child>
763
</widget>
764
<packing>
765
<property name="expand">False</property>
766
<property name="fill">False</property>
767
<property name="pack_type">GTK_PACK_END</property>
768
<property name="position">1</property>
769
</packing>
770
</child>
771
</widget>
772
</child>
773
</widget>
774
<widget class="GtkWindow" id="replace-confirmation-window">
775
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
776
<property name="title" translatable="yes">Replace Confirmation</property>
777
<property name="resizable">False</property>
778
<property name="destroy_with_parent">True</property>
779
<property name="icon_name">gtk-find-and-replace</property>
780
<signal name="delete_event" handler="gtkhtml_editor_replace_confirmation_delete_event_cb"/>
781
<child>
782
<widget class="GtkHButtonBox" id="replace-confirmation-button-box">
783
<property name="visible">True</property>
784
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
785
<property name="border_width">12</property>
786
<property name="spacing">12</property>
787
<property name="homogeneous">True</property>
788
<child>
789
<widget class="GtkButton" id="replace-confirmation-replace-all-button">
790
<property name="visible">True</property>
791
<property name="can_focus">True</property>
792
<property name="receives_default">True</property>
793
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
794
<property name="response_id">0</property>
795
</widget>
796
</child>
797
<child>
798
<widget class="GtkButton" id="replace-confirmation-next-button">
799
<property name="visible">True</property>
800
<property name="can_focus">True</property>
801
<property name="receives_default">True</property>
802
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
803
<property name="response_id">0</property>
804
</widget>
805
<packing>
806
<property name="position">1</property>
807
</packing>
808
</child>
809
<child>
810
<widget class="GtkButton" id="replace-confirmation-close-button">
811
<property name="visible">True</property>
812
<property name="can_focus">True</property>
813
<property name="receives_default">True</property>
814
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
815
<property name="use_stock">True</property>
816
<property name="response_id">0</property>
817
</widget>
818
<packing>
819
<property name="position">2</property>
820
</packing>
821
</child>
822
<child>
823
<widget class="GtkButton" id="replace-confirmation-replace-button">
824
<property name="visible">True</property>
825
<property name="can_focus">True</property>
826
<property name="receives_default">True</property>
827
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
828
<property name="response_id">0</property>
829
</widget>
830
<packing>
831
<property name="position">3</property>
832
</packing>
833
</child>
834
</widget>
835
</child>
836
</widget>
837
<widget class="GtkWindow" id="link-properties-window">
838
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
839
<property name="title" translatable="yes">Link Properties</property>
840
<property name="modal">True</property>
841
<property name="window_position">GTK_WIN_POS_CENTER</property>
842
<property name="destroy_with_parent">True</property>
843
<signal name="show" handler="gtkhtml_editor_link_properties_show_window_cb"/>
844
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
845
<child>
846
<widget class="GtkVBox" id="link-properties-vbox">
847
<property name="visible">True</property>
848
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
849
<property name="border_width">12</property>
850
<property name="spacing">12</property>
851
<child>
852
<widget class="GtkTable" id="link-properties-table">
853
<property name="visible">True</property>
854
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
855
<property name="n_rows">2</property>
856
<property name="n_columns">3</property>
857
<property name="column_spacing">6</property>
858
<property name="row_spacing">6</property>
859
<child>
860
<widget class="GtkLabel" id="link-properties-url-label">
861
<property name="visible">True</property>
862
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
863
<property name="xalign">1</property>
864
<property name="label" translatable="yes">_URL:</property>
865
<property name="use_underline">True</property>
866
<property name="mnemonic_widget">link-properties-url-entry</property>
867
</widget>
868
<packing>
869
<property name="x_options">GTK_FILL</property>
870
<property name="y_options"></property>
871
</packing>
872
</child>
873
<child>
874
<widget class="GtkLabel" id="link-properties-description-label">
875
<property name="visible">True</property>
876
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
877
<property name="label" translatable="yes">_Description:</property>
878
<property name="use_underline">True</property>
879
<property name="mnemonic_widget">link-properties-description-entry</property>
880
</widget>
881
<packing>
882
<property name="top_attach">1</property>
883
<property name="bottom_attach">2</property>
884
<property name="x_options">GTK_FILL</property>
885
<property name="y_options"></property>
886
</packing>
887
</child>
888
<child>
889
<widget class="GtkEntry" id="link-properties-url-entry">
890
<property name="visible">True</property>
891
<property name="can_focus">True</property>
892
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
893
<signal name="changed" handler="gtkhtml_editor_link_properties_url_changed_cb" object="link-properties-window"/>
894
</widget>
895
<packing>
896
<property name="left_attach">1</property>
897
<property name="right_attach">2</property>
898
<property name="y_options"></property>
899
</packing>
900
</child>
901
<child>
902
<widget class="GtkEntry" id="link-properties-description-entry">
903
<property name="visible">True</property>
904
<property name="can_focus">True</property>
905
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
906
<signal name="changed" handler="gtkhtml_editor_link_properties_description_changed_cb" object="link-properties-window"/>
907
</widget>
908
<packing>
909
<property name="left_attach">1</property>
910
<property name="right_attach">3</property>
911
<property name="top_attach">1</property>
912
<property name="bottom_attach">2</property>
913
<property name="y_options"></property>
914
</packing>
915
</child>
916
<child>
917
<widget class="GtkButton" id="link-properties-test-button">
918
<property name="visible">True</property>
919
<property name="can_focus">True</property>
920
<property name="receives_default">True</property>
921
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
922
<property name="use_underline">True</property>
923
<property name="response_id">0</property>
924
</widget>
925
<packing>
926
<property name="left_attach">2</property>
927
<property name="right_attach">3</property>
928
<property name="x_options"></property>
929
<property name="y_options"></property>
930
</packing>
931
</child>
932
</widget>
933
</child>
934
<child>
935
<widget class="GtkHButtonBox" id="link-properties-button-box">
936
<property name="visible">True</property>
937
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
938
<property name="spacing">6</property>
939
<property name="layout_style">GTK_BUTTONBOX_END</property>
940
<child>
941
<widget class="GtkButton" id="link-properties-close-button">
942
<property name="visible">True</property>
943
<property name="can_focus">True</property>
944
<property name="receives_default">True</property>
945
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
946
<property name="label">gtk-close</property>
947
<property name="use_stock">True</property>
948
<property name="response_id">0</property>
949
<signal name="clicked" handler="gtk_widget_hide" object="link-properties-window"/>
950
</widget>
951
<packing>
952
<property name="position">1</property>
953
</packing>
954
</child>
955
</widget>
956
<packing>
957
<property name="expand">False</property>
958
<property name="fill">False</property>
959
<property name="pack_type">GTK_PACK_END</property>
960
<property name="position">1</property>
961
</packing>
962
</child>
963
</widget>
964
</child>
965
</widget>
966
<widget class="GtkWindow" id="rule-properties-window">
967
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
968
<property name="border_width">12</property>
969
<property name="title" translatable="yes">Rule Properties</property>
970
<property name="resizable">False</property>
971
<property name="modal">True</property>
972
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
973
<property name="destroy_with_parent">True</property>
974
<signal name="show" handler="gtkhtml_editor_rule_properties_show_window_cb"/>
975
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
976
<child>
977
<widget class="GtkVBox" id="rule-properties-vbox">
978
<property name="visible">True</property>
979
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
980
<property name="spacing">12</property>
981
<child>
982
<widget class="GtkVBox" id="rule-properties-size-vbox">
983
<property name="visible">True</property>
984
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
985
<property name="spacing">6</property>
986
<child>
987
<widget class="GtkLabel" id="rule-properties-size-header">
988
<property name="visible">True</property>
989
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
990
<property name="xalign">0</property>
991
<property name="label" translatable="yes"><b>Size</b></property>
992
<property name="use_markup">True</property>
993
</widget>
994
</child>
995
<child>
996
<widget class="GtkAlignment" id="rule-properties-size-alignment">
997
<property name="visible">True</property>
998
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
999
<property name="left_padding">12</property>
1000
<child>
1001
<widget class="GtkTable" id="rule-properties-size-table">
1002
<property name="visible">True</property>
1003
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1004
<property name="n_rows">2</property>
1005
<property name="n_columns">3</property>
1006
<property name="column_spacing">6</property>
1007
<property name="row_spacing">6</property>
1008
<child>
1009
<placeholder/>
1010
</child>
1011
<child>
1012
<widget class="GtkLabel" id="rule-properties-width-label">
1013
<property name="visible">True</property>
1014
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1015
<property name="xalign">1</property>
1016
<property name="label" translatable="yes">_Width:</property>
1017
<property name="use_underline">True</property>
1018
</widget>
1019
<packing>
1020
<property name="x_options"></property>
1021
<property name="y_options"></property>
1022
</packing>
1023
</child>
1024
<child>
1025
<widget class="GtkSpinButton" id="rule-properties-width-spin-button">
1026
<property name="width_request">100</property>
1027
<property name="visible">True</property>
1028
<property name="can_focus">True</property>
1029
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1030
<property name="adjustment">0 0 100 1 10 0</property>
1031
<signal name="value_changed" handler="gtkhtml_editor_rule_properties_width_changed_cb" object="rule-properties-window"/>
1032
</widget>
1033
<packing>
1034
<property name="left_attach">1</property>
1035
<property name="right_attach">2</property>
1036
<property name="y_options"></property>
1037
</packing>
1038
</child>
1039
<child>
1040
<widget class="GtkLabel" id="rule-properties-size-label">
1041
<property name="visible">True</property>
1042
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1043
<property name="xalign">1</property>
1044
<property name="label" translatable="yes">_Size:</property>
1045
<property name="use_underline">True</property>
1046
</widget>
1047
<packing>
1048
<property name="top_attach">1</property>
1049
<property name="bottom_attach">2</property>
1050
<property name="x_options"></property>
1051
<property name="y_options"></property>
1052
</packing>
1053
</child>
1054
<child>
1055
<widget class="GtkSpinButton" id="rule-properties-size-spin-button">
1056
<property name="visible">True</property>
1057
<property name="can_focus">True</property>
1058
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1059
<property name="adjustment">0 0 100 1 10 0</property>
1060
<signal name="value_changed" handler="gtkhtml_editor_rule_properties_size_changed_cb" object="rule-properties-window"/>
1061
</widget>
1062
<packing>
1063
<property name="left_attach">1</property>
1064
<property name="right_attach">2</property>
1065
<property name="top_attach">1</property>
1066
<property name="bottom_attach">2</property>
1067
<property name="y_options"></property>
1068
</packing>
1069
</child>
1070
<child>
1071
<widget class="GtkComboBox" id="rule-properties-width-combo-box">
1072
<property name="visible">True</property>
1073
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1074
<property name="items" translatable="yes">px
1075
%</property>
1076
<signal name="changed" handler="gtkhtml_editor_rule_properties_width_changed_cb" object="rule-properties-window"/>
1077
</widget>
1078
<packing>
1079
<property name="left_attach">2</property>
1080
<property name="right_attach">3</property>
1081
<property name="x_options"></property>
1082
<property name="y_options"></property>
1083
</packing>
1084
</child>
1085
</widget>
1086
</child>
1087
</widget>
1088
<packing>
1089
<property name="position">1</property>
1090
</packing>
1091
</child>
1092
</widget>
1093
<packing>
1094
<property name="expand">False</property>
1095
<property name="fill">False</property>
1096
</packing>
1097
</child>
1098
<child>
1099
<widget class="GtkVBox" id="rule-properties-style-vbox">
1100
<property name="visible">True</property>
1101
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1102
<property name="spacing">6</property>
1103
<child>
1104
<widget class="GtkLabel" id="rule-properties-style-header">
1105
<property name="visible">True</property>
1106
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1107
<property name="xalign">0</property>
1108
<property name="label" translatable="yes"><b>Style</b></property>
1109
<property name="use_markup">True</property>
1110
</widget>
1111
</child>
1112
<child>
1113
<widget class="GtkAlignment" id="rule-properties-style-alignment">
1114
<property name="visible">True</property>
1115
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1116
<property name="left_padding">12</property>
1117
<child>
1118
<widget class="GtkTable" id="rule-properties-style-table">
1119
<property name="visible">True</property>
1120
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1121
<property name="n_rows">2</property>
1122
<property name="n_columns">2</property>
1123
<property name="column_spacing">6</property>
1124
<property name="row_spacing">6</property>
1125
<child>
1126
<widget class="GtkLabel" id="rule-properties-alignment-label">
1127
<property name="visible">True</property>
1128
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1129
<property name="xalign">1</property>
1130
<property name="label" translatable="yes">_Alignment:</property>
1131
<property name="use_underline">True</property>
1132
</widget>
1133
<packing>
1134
<property name="x_options"></property>
1135
<property name="y_options"></property>
1136
</packing>
1137
</child>
1138
<child>
1139
<widget class="GtkComboBox" id="rule-properties-alignment-combo-box">
1140
<property name="visible">True</property>
1141
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1142
<property name="items" translatable="yes">Left
1143
Center
1144
Right</property>
1145
<signal name="changed" handler="gtkhtml_editor_rule_properties_alignment_changed_cb" object="rule-properties-window"/>
1146
</widget>
1147
<packing>
1148
<property name="left_attach">1</property>
1149
<property name="right_attach">2</property>
1150
<property name="y_options"></property>
1151
</packing>
1152
</child>
1153
<child>
1154
<widget class="GtkCheckButton" id="rule-properties-shaded-check-button">
1155
<property name="visible">True</property>
1156
<property name="can_focus">True</property>
1157
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1158
<property name="label" translatable="yes">S_haded</property>
1159
<property name="use_underline">True</property>
1160
<property name="response_id">0</property>
1161
<property name="draw_indicator">True</property>
1162
<signal name="toggled" handler="gtkhtml_editor_rule_properties_shaded_toggled_cb" object="rule-properties-window"/>
1163
</widget>
1164
<packing>
1165
<property name="right_attach">2</property>
1166
<property name="top_attach">1</property>
1167
<property name="bottom_attach">2</property>
1168
<property name="y_options"></property>
1169
</packing>
1170
</child>
1171
</widget>
1172
</child>
1173
</widget>
1174
<packing>
1175
<property name="position">1</property>
1176
</packing>
1177
</child>
1178
</widget>
1179
<packing>
1180
<property name="expand">False</property>
1181
<property name="fill">False</property>
1182
<property name="position">1</property>
1183
</packing>
1184
</child>
1185
<child>
1186
<widget class="GtkHButtonBox" id="rule-properties-button-box">
1187
<property name="visible">True</property>
1188
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1189
<property name="spacing">12</property>
1190
<property name="layout_style">GTK_BUTTONBOX_END</property>
1191
<child>
1192
<widget class="GtkButton" id="rule-properties-close-button">
1193
<property name="visible">True</property>
1194
<property name="can_focus">True</property>
1195
<property name="receives_default">True</property>
1196
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1197
<property name="label">gtk-close</property>
1198
<property name="use_stock">True</property>
1199
<property name="response_id">0</property>
1200
<signal name="clicked" handler="gtk_widget_hide" object="rule-properties-window"/>
1201
</widget>
1202
<packing>
1203
<property name="position">1</property>
1204
</packing>
1205
</child>
1206
</widget>
1207
<packing>
1208
<property name="expand">False</property>
1209
<property name="fill">False</property>
1210
<property name="pack_type">GTK_PACK_END</property>
1211
<property name="position">2</property>
1212
</packing>
1213
</child>
1214
</widget>
1215
</child>
1216
</widget>
1217
<widget class="GtkWindow" id="table-properties-window">
1218
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1219
<property name="border_width">12</property>
1220
<property name="title" translatable="yes">Table Properties</property>
1221
<property name="resizable">False</property>
1222
<property name="modal">True</property>
1223
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1224
<property name="destroy_with_parent">True</property>
1225
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
1226
<signal name="show" handler="gtkhtml_editor_table_properties_show_window_cb"/>
1227
<child>
1228
<widget class="GtkVBox" id="table-properties-vbox">
1229
<property name="visible">True</property>
1230
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1231
<property name="spacing">12</property>
1232
<child>
1233
<widget class="GtkVBox" id="table-properties-general-vbox">
1234
<property name="visible">True</property>
1235
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1236
<property name="spacing">6</property>
1237
<child>
1238
<widget class="GtkLabel" id="table-properties-general-header">
1239
<property name="visible">True</property>
1240
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1241
<property name="xalign">0</property>
1242
<property name="label" translatable="yes"><b>General</b></property>
1243
<property name="use_markup">True</property>
1244
</widget>
1245
</child>
1246
<child>
1247
<widget class="GtkAlignment" id="table-properties-general-alignment">
1248
<property name="visible">True</property>
1249
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1250
<property name="left_padding">12</property>
1251
<child>
1252
<widget class="GtkHBox" id="table-properties-general-hbox">
1253
<property name="visible">True</property>
1254
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1255
<property name="spacing">12</property>
1256
<child>
1257
<widget class="GtkHBox" id="table-properties-rows-hbox">
1258
<property name="visible">True</property>
1259
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1260
<property name="spacing">6</property>
1261
<child>
1262
<widget class="GtkImage" id="table-properties-rows-image">
1263
<property name="visible">True</property>
1264
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1265
<property name="icon_name">stock_select-row</property>
1266
</widget>
1267
<packing>
1268
<property name="expand">False</property>
1269
<property name="fill">False</property>
1270
</packing>
1271
</child>
1272
<child>
1273
<widget class="GtkLabel" id="table-properties-rows-label">
1274
<property name="visible">True</property>
1275
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1276
<property name="label" translatable="yes">_Rows:</property>
1277
<property name="use_underline">True</property>
1278
<property name="mnemonic_widget">table-properties-rows-spin-button</property>
1279
</widget>
1280
<packing>
1281
<property name="expand">False</property>
1282
<property name="fill">False</property>
1283
<property name="position">1</property>
1284
</packing>
1285
</child>
1286
<child>
1287
<widget class="GtkSpinButton" id="table-properties-rows-spin-button">
1288
<property name="visible">True</property>
1289
<property name="can_focus">True</property>
1290
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1291
<property name="adjustment">1 1 32767 1 10 0</property>
1292
<signal name="value_changed" handler="gtkhtml_editor_table_properties_rows_changed_cb" object="table-properties-window"/>
1293
</widget>
1294
<packing>
1295
<property name="position">2</property>
1296
</packing>
1297
</child>
1298
</widget>
1299
</child>
1300
<child>
1301
<widget class="GtkHBox" id="table-properties-cols-hbox">
1302
<property name="visible">True</property>
1303
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1304
<property name="spacing">6</property>
1305
<child>
1306
<widget class="GtkImage" id="table-properties-cols-image">
1307
<property name="visible">True</property>
1308
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1309
<property name="icon_name">stock_select-column</property>
1310
</widget>
1311
<packing>
1312
<property name="expand">False</property>
1313
<property name="fill">False</property>
1314
</packing>
1315
</child>
1316
<child>
1317
<widget class="GtkLabel" id="table-properties-cols-label">
1318
<property name="visible">True</property>
1319
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1320
<property name="label" translatable="yes">C_olumns:</property>
1321
<property name="use_underline">True</property>
1322
<property name="mnemonic_widget">table-properties-cols-spin-button</property>
1323
</widget>
1324
<packing>
1325
<property name="expand">False</property>
1326
<property name="fill">False</property>
1327
<property name="position">1</property>
1328
</packing>
1329
</child>
1330
<child>
1331
<widget class="GtkSpinButton" id="table-properties-cols-spin-button">
1332
<property name="visible">True</property>
1333
<property name="can_focus">True</property>
1334
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1335
<property name="adjustment">1 1 32767 1 10 0</property>
1336
<signal name="value_changed" handler="gtkhtml_editor_table_properties_cols_changed_cb" object="table-properties-window"/>
1337
</widget>
1338
<packing>
1339
<property name="position">2</property>
1340
</packing>
1341
</child>
1342
</widget>
1343
<packing>
1344
<property name="position">1</property>
1345
</packing>
1346
</child>
1347
</widget>
1348
</child>
1349
</widget>
1350
<packing>
1351
<property name="position">1</property>
1352
</packing>
1353
</child>
1354
</widget>
1355
<packing>
1356
<property name="expand">False</property>
1357
<property name="fill">False</property>
1358
</packing>
1359
</child>
1360
<child>
1361
<widget class="GtkVBox" id="table-properties-layout-vbox">
1362
<property name="visible">True</property>
1363
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1364
<property name="spacing">6</property>
1365
<child>
1366
<widget class="GtkLabel" id="table-properties-layout-header">
1367
<property name="visible">True</property>
1368
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1369
<property name="xalign">0</property>
1370
<property name="label" translatable="yes"><b>Layout</b></property>
1371
<property name="use_markup">True</property>
1372
</widget>
1373
</child>
1374
<child>
1375
<widget class="GtkAlignment" id="table-properties-layout-alignment">
1376
<property name="visible">True</property>
1377
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1378
<property name="left_padding">12</property>
1379
<child>
1380
<widget class="GtkTable" id="table-properties-layout-left-table">
1381
<property name="visible">True</property>
1382
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1383
<property name="n_rows">3</property>
1384
<property name="n_columns">7</property>
1385
<property name="column_spacing">6</property>
1386
<property name="row_spacing">6</property>
1387
<child>
1388
<placeholder/>
1389
</child>
1390
<child>
1391
<placeholder/>
1392
</child>
1393
<child>
1394
<placeholder/>
1395
</child>
1396
<child>
1397
<placeholder/>
1398
</child>
1399
<child>
1400
<placeholder/>
1401
</child>
1402
<child>
1403
<placeholder/>
1404
</child>
1405
<child>
1406
<widget class="GtkLabel" id="table-properties-border-units-label">
1407
<property name="visible">True</property>
1408
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1409
<property name="xalign">0</property>
1410
<property name="label" translatable="yes">px</property>
1411
</widget>
1412
<packing>
1413
<property name="left_attach">6</property>
1414
<property name="right_attach">7</property>
1415
<property name="top_attach">2</property>
1416
<property name="bottom_attach">3</property>
1417
<property name="x_options"></property>
1418
<property name="y_options"></property>
1419
</packing>
1420
</child>
1421
<child>
1422
<widget class="GtkLabel" id="table-properties-padding-units-label">
1423
<property name="visible">True</property>
1424
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1425
<property name="xalign">0</property>
1426
<property name="label" translatable="yes">px</property>
1427
</widget>
1428
<packing>
1429
<property name="left_attach">6</property>
1430
<property name="right_attach">7</property>
1431
<property name="top_attach">1</property>
1432
<property name="bottom_attach">2</property>
1433
<property name="x_options"></property>
1434
<property name="y_options"></property>
1435
</packing>
1436
</child>
1437
<child>
1438
<widget class="GtkLabel" id="table-properties-spacing-units-label">
1439
<property name="visible">True</property>
1440
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1441
<property name="xalign">0</property>
1442
<property name="label" translatable="yes">px</property>
1443
</widget>
1444
<packing>
1445
<property name="left_attach">6</property>
1446
<property name="right_attach">7</property>
1447
<property name="x_options"></property>
1448
<property name="y_options"></property>
1449
</packing>
1450
</child>
1451
<child>
1452
<widget class="GtkComboBox" id="table-properties-width-combo-box">
1453
<property name="visible">True</property>
1454
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1455
<property name="items" translatable="yes">px
1456
%</property>
1457
<signal name="changed" handler="gtkhtml_editor_table_properties_width_changed_cb" object="table-properties-window"/>
1458
</widget>
1459
<packing>
1460
<property name="left_attach">2</property>
1461
<property name="right_attach">3</property>
1462
<property name="x_options"></property>
1463
<property name="y_options"></property>
1464
</packing>
1465
</child>
1466
<child>
1467
<widget class="GtkSpinButton" id="table-properties-width-spin-button">
1468
<property name="width_request">100</property>
1469
<property name="visible">True</property>
1470
<property name="can_focus">True</property>
1471
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1472
<property name="adjustment">1 1 100 1 10 0</property>
1473
<signal name="value_changed" handler="gtkhtml_editor_table_properties_width_changed_cb" object="table-properties-window"/>
1474
</widget>
1475
<packing>
1476
<property name="left_attach">1</property>
1477
<property name="right_attach">2</property>
1478
<property name="y_options"></property>
1479
</packing>
1480
</child>
1481
<child>
1482
<widget class="GtkCheckButton" id="table-properties-width-check-button">
1483
<property name="visible">True</property>
1484
<property name="can_focus">True</property>
1485
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1486
<property name="label" translatable="yes">_Width:</property>
1487
<property name="use_underline">True</property>
1488
<property name="xalign">1</property>
1489
<property name="response_id">0</property>
1490
<property name="draw_indicator">True</property>
1491
<signal name="toggled" handler="gtkhtml_editor_table_properties_width_changed_cb" object="table-properties-window"/>
1492
</widget>
1493
<packing>
1494
<property name="x_options">GTK_FILL</property>
1495
<property name="y_options"></property>
1496
</packing>
1497
</child>
1498
<child>
1499
<widget class="GtkComboBox" id="table-properties-alignment-combo-box">
1500
<property name="visible">True</property>
1501
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1502
<property name="items" translatable="yes">Left
1503
Center
1504
Right</property>
1505
<signal name="changed" handler="gtkhtml_editor_table_properties_alignment_changed_cb" object="table-properties-window"/>
1506
</widget>
1507
<packing>
1508
<property name="left_attach">1</property>
1509
<property name="right_attach">3</property>
1510
<property name="top_attach">1</property>
1511
<property name="bottom_attach">2</property>
1512
<property name="x_options">GTK_FILL</property>
1513
<property name="y_options"></property>
1514
</packing>
1515
</child>
1516
<child>
1517
<widget class="GtkLabel" id="table-properties-alignment-label">
1518
<property name="visible">True</property>
1519
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1520
<property name="xalign">1</property>
1521
<property name="label" translatable="yes">_Alignment:</property>
1522
<property name="use_underline">True</property>
1523
<property name="mnemonic_widget">table-properties-alignment-combo-box</property>
1524
</widget>
1525
<packing>
1526
<property name="top_attach">1</property>
1527
<property name="bottom_attach">2</property>
1528
<property name="x_options">GTK_FILL</property>
1529
<property name="y_options"></property>
1530
</packing>
1531
</child>
1532
<child>
1533
<widget class="GtkLabel" id="table-properties-spacing-label">
1534
<property name="visible">True</property>
1535
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1536
<property name="xalign">1</property>
1537
<property name="label" translatable="yes">_Spacing:</property>
1538
<property name="use_underline">True</property>
1539
<property name="mnemonic_widget">table-properties-spacing-spin-button</property>
1540
</widget>
1541
<packing>
1542
<property name="left_attach">4</property>
1543
<property name="right_attach">5</property>
1544
<property name="x_options">GTK_FILL</property>
1545
<property name="y_options"></property>
1546
</packing>
1547
</child>
1548
<child>
1549
<widget class="GtkLabel" id="table-properties-padding-label">
1550
<property name="visible">True</property>
1551
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1552
<property name="xalign">1</property>
1553
<property name="label" translatable="yes">_Padding:</property>
1554
<property name="use_underline">True</property>
1555
<property name="mnemonic_widget">table-properties-padding-spin-button</property>
1556
</widget>
1557
<packing>
1558
<property name="left_attach">4</property>
1559
<property name="right_attach">5</property>
1560
<property name="top_attach">1</property>
1561
<property name="bottom_attach">2</property>
1562
<property name="x_options">GTK_FILL</property>
1563
<property name="y_options"></property>
1564
</packing>
1565
</child>
1566
<child>
1567
<widget class="GtkLabel" id="table-properties-border-label">
1568
<property name="visible">True</property>
1569
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1570
<property name="xalign">1</property>
1571
<property name="label" translatable="yes">_Border:</property>
1572
<property name="use_underline">True</property>
1573
<property name="mnemonic_widget">table-properties-border-spin-button</property>
1574
</widget>
1575
<packing>
1576
<property name="left_attach">4</property>
1577
<property name="right_attach">5</property>
1578
<property name="top_attach">2</property>
1579
<property name="bottom_attach">3</property>
1580
<property name="x_options">GTK_FILL</property>
1581
<property name="y_options"></property>
1582
</packing>
1583
</child>
1584
<child>
1585
<widget class="GtkSpinButton" id="table-properties-spacing-spin-button">
1586
<property name="visible">True</property>
1587
<property name="can_focus">True</property>
1588
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1589
<property name="adjustment">0 0 32767 1 10 0</property>
1590
<signal name="value_changed" handler="gtkhtml_editor_table_properties_spacing_changed_cb" object="table-properties-window"/>
1591
</widget>
1592
<packing>
1593
<property name="left_attach">5</property>
1594
<property name="right_attach">6</property>
1595
<property name="y_options"></property>
1596
</packing>
1597
</child>
1598
<child>
1599
<widget class="GtkSpinButton" id="table-properties-padding-spin-button">
1600
<property name="visible">True</property>
1601
<property name="can_focus">True</property>
1602
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1603
<property name="adjustment">0 0 32767 1 10 0</property>
1604
<signal name="value_changed" handler="gtkhtml_editor_table_properties_padding_changed_cb" object="table-properties-window"/>
1605
</widget>
1606
<packing>
1607
<property name="left_attach">5</property>
1608
<property name="right_attach">6</property>
1609
<property name="top_attach">1</property>
1610
<property name="bottom_attach">2</property>
1611
<property name="y_options"></property>
1612
</packing>
1613
</child>
1614
<child>
1615
<widget class="GtkSpinButton" id="table-properties-border-spin-button">
1616
<property name="visible">True</property>
1617
<property name="can_focus">True</property>
1618
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1619
<property name="adjustment">0 0 32767 1 10 0</property>
1620
<signal name="value_changed" handler="gtkhtml_editor_table_properties_border_changed_cb" object="table-properties-window"/>
1621
</widget>
1622
<packing>
1623
<property name="left_attach">5</property>
1624
<property name="right_attach">6</property>
1625
<property name="top_attach">2</property>
1626
<property name="bottom_attach">3</property>
1627
<property name="y_options"></property>
1628
</packing>
1629
</child>
1630
</widget>
1631
</child>
1632
</widget>
1633
<packing>
1634
<property name="position">1</property>
1635
</packing>
1636
</child>
1637
</widget>
1638
<packing>
1639
<property name="expand">False</property>
1640
<property name="fill">False</property>
1641
<property name="position">1</property>
1642
</packing>
1643
</child>
1644
<child>
1645
<widget class="GtkVBox" id="table-properties-background-vbox">
1646
<property name="visible">True</property>
1647
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1648
<property name="spacing">6</property>
1649
<child>
1650
<widget class="GtkLabel" id="table-properties-background-header">
1651
<property name="visible">True</property>
1652
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1653
<property name="xalign">0</property>
1654
<property name="label" translatable="yes"><b>Background</b></property>
1655
<property name="use_markup">True</property>
1656
</widget>
1657
</child>
1658
<child>
1659
<widget class="GtkAlignment" id="table-properties-background-alignment">
1660
<property name="visible">True</property>
1661
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1662
<property name="left_padding">12</property>
1663
<child>
1664
<widget class="GtkTable" id="table-properties-background-table">
1665
<property name="visible">True</property>
1666
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1667
<property name="n_rows">2</property>
1668
<property name="n_columns">2</property>
1669
<property name="column_spacing">6</property>
1670
<property name="row_spacing">6</property>
1671
<child>
1672
<widget class="GtkLabel" id="table-properties-color-label">
1673
<property name="visible">True</property>
1674
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1675
<property name="xalign">1</property>
1676
<property name="label" translatable="yes">Co_lor:</property>
1677
<property name="use_underline">True</property>
1678
</widget>
1679
<packing>
1680
<property name="x_options">GTK_FILL</property>
1681
<property name="y_options"></property>
1682
</packing>
1683
</child>
1684
<child>
1685
<widget class="GtkLabel" id="table-properties-image-label">
1686
<property name="visible">True</property>
1687
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1688
<property name="xalign">1</property>
1689
<property name="label" translatable="yes">_Image:</property>
1690
<property name="use_underline">True</property>
1691
<property name="mnemonic_widget">table-properties-image-button</property>
1692
</widget>
1693
<packing>
1694
<property name="top_attach">1</property>
1695
<property name="bottom_attach">2</property>
1696
<property name="x_options">GTK_FILL</property>
1697
<property name="y_options"></property>
1698
</packing>
1699
</child>
1700
<child>
1701
<widget class="GtkFileChooserButton" id="table-properties-image-button">
1702
<property name="visible">True</property>
1703
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1704
<signal name="selection_changed" handler="gtkhtml_editor_table_properties_image_changed_cb" object="table-properties-window"/>
1705
</widget>
1706
<packing>
1707
<property name="left_attach">1</property>
1708
<property name="right_attach">2</property>
1709
<property name="top_attach">1</property>
1710
<property name="bottom_attach">2</property>
1711
<property name="y_options"></property>
1712
</packing>
1713
</child>
1714
<child>
1715
<widget class="GtkhtmlColorCombo" id="table-properties-color-combo">
1716
<property name="visible">True</property>
1717
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1718
<property name="default_color">#000000000000</property>
1719
<property name="default_label">Transparent</property>
1720
<property name="default_transparent">True</property>
1721
<signal name="changed" handler="gtkhtml_editor_table_properties_color_changed_cb" object="table-properties-window"/>
1722
</widget>
1723
<packing>
1724
<property name="left_attach">1</property>
1725
<property name="right_attach">2</property>
1726
</packing>
1727
</child>
1728
</widget>
1729
</child>
1730
</widget>
1731
<packing>
1732
<property name="position">1</property>
1733
</packing>
1734
</child>
1735
</widget>
1736
<packing>
1737
<property name="expand">False</property>
1738
<property name="fill">False</property>
1739
<property name="position">2</property>
1740
</packing>
1741
</child>
1742
<child>
1743
<widget class="GtkHButtonBox" id="table-properties-button-box">
1744
<property name="visible">True</property>
1745
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1746
<property name="spacing">12</property>
1747
<property name="layout_style">GTK_BUTTONBOX_END</property>
1748
<child>
1749
<widget class="GtkButton" id="table-properties-close-button">
1750
<property name="visible">True</property>
1751
<property name="can_focus">True</property>
1752
<property name="receives_default">True</property>
1753
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1754
<property name="label">gtk-close</property>
1755
<property name="use_stock">True</property>
1756
<property name="response_id">0</property>
1757
<signal name="clicked" handler="gtk_widget_hide" object="table-properties-window"/>
1758
</widget>
1759
<packing>
1760
<property name="position">1</property>
1761
</packing>
1762
</child>
1763
</widget>
1764
<packing>
1765
<property name="expand">False</property>
1766
<property name="fill">False</property>
1767
<property name="pack_type">GTK_PACK_END</property>
1768
<property name="position">3</property>
1769
</packing>
1770
</child>
1771
</widget>
1772
</child>
1773
</widget>
1774
<widget class="GtkWindow" id="page-properties-window">
1775
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1776
<property name="border_width">12</property>
1777
<property name="title" translatable="yes">Page Properties</property>
1778
<property name="resizable">False</property>
1779
<property name="modal">True</property>
1780
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1781
<property name="destroy_with_parent">True</property>
1782
<signal name="realize" handler="gtkhtml_editor_page_properties_window_realized_cb"/>
1783
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
1784
<child>
1785
<widget class="GtkVBox" id="page-properties-vbox">
1786
<property name="visible">True</property>
1787
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1788
<property name="spacing">12</property>
1789
<child>
1790
<widget class="GtkVBox" id="page-properties-colors-vbox">
1791
<property name="visible">True</property>
1792
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1793
<property name="spacing">6</property>
1794
<child>
1795
<widget class="GtkLabel" id="page-properties-colors-header">
1796
<property name="visible">True</property>
1797
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1798
<property name="xalign">0</property>
1799
<property name="label" translatable="yes"><b>Colors</b></property>
1800
<property name="use_markup">True</property>
1801
</widget>
1802
<packing>
1803
<property name="expand">False</property>
1804
<property name="fill">False</property>
1805
</packing>
1806
</child>
1807
<child>
1808
<widget class="GtkAlignment" id="page-properties-colors-alignment">
1809
<property name="visible">True</property>
1810
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1811
<property name="left_padding">12</property>
1812
<child>
1813
<widget class="GtkTable" id="page-properties-colors-table">
1814
<property name="visible">True</property>
1815
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1816
<property name="n_rows">3</property>
1817
<property name="n_columns">2</property>
1818
<property name="column_spacing">6</property>
1819
<property name="row_spacing">6</property>
1820
<child>
1821
<widget class="GtkLabel" id="page-properties-text-label">
1822
<property name="visible">True</property>
1823
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1824
<property name="xalign">1</property>
1825
<property name="label" translatable="yes">_Text:</property>
1826
<property name="use_underline">True</property>
1827
</widget>
1828
<packing>
1829
<property name="x_options">GTK_FILL</property>
1830
</packing>
1831
</child>
1832
<child>
1833
<widget class="GtkLabel" id="page-properties-link-label">
1834
<property name="visible">True</property>
1835
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1836
<property name="xalign">1</property>
1837
<property name="label" translatable="yes">_Link:</property>
1838
<property name="use_underline">True</property>
1839
</widget>
1840
<packing>
1841
<property name="top_attach">1</property>
1842
<property name="bottom_attach">2</property>
1843
<property name="x_options">GTK_FILL</property>
1844
</packing>
1845
</child>
1846
<child>
1847
<widget class="GtkLabel" id="page-properties-background-label">
1848
<property name="visible">True</property>
1849
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1850
<property name="xalign">1</property>
1851
<property name="label" translatable="yes">_Background:</property>
1852
<property name="use_underline">True</property>
1853
</widget>
1854
<packing>
1855
<property name="top_attach">2</property>
1856
<property name="bottom_attach">3</property>
1857
<property name="x_options">GTK_FILL</property>
1858
</packing>
1859
</child>
1860
<child>
1861
<widget class="GtkhtmlColorCombo" id="page-properties-text-color-combo">
1862
<property name="visible">True</property>
1863
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1864
<property name="default_color">#000000000000</property>
1865
<property name="default_label">Automatic</property>
1866
<signal name="changed" handler="gtkhtml_editor_page_properties_text_color_changed_cb" object="page-properties-window"/>
1867
</widget>
1868
<packing>
1869
<property name="left_attach">1</property>
1870
<property name="right_attach">2</property>
1871
</packing>
1872
</child>
1873
<child>
1874
<widget class="GtkhtmlColorCombo" id="page-properties-link-color-combo">
1875
<property name="visible">True</property>
1876
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1877
<property name="default_color">#000000000000</property>
1878
<property name="default_label">_Automatic</property>
1879
<signal name="changed" handler="gtkhtml_editor_page_properties_link_color_changed_cb" object="page-properties-window"/>
1880
</widget>
1881
<packing>
1882
<property name="left_attach">1</property>
1883
<property name="right_attach">2</property>
1884
<property name="top_attach">1</property>
1885
<property name="bottom_attach">2</property>
1886
</packing>
1887
</child>
1888
<child>
1889
<widget class="GtkhtmlColorCombo" id="page-properties-background-color-combo">
1890
<property name="visible">True</property>
1891
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1892
<property name="default_color">#000000000000</property>
1893
<property name="default_label">Automatic</property>
1894
<signal name="changed" handler="gtkhtml_editor_page_properties_background_color_changed_cb" object="page-properties-window"/>
1895
</widget>
1896
<packing>
1897
<property name="left_attach">1</property>
1898
<property name="right_attach">2</property>
1899
<property name="top_attach">2</property>
1900
<property name="bottom_attach">3</property>
1901
</packing>
1902
</child>
1903
</widget>
1904
</child>
1905
</widget>
1906
<packing>
1907
<property name="position">1</property>
1908
</packing>
1909
</child>
1910
</widget>
1911
<packing>
1912
<property name="expand">False</property>
1913
<property name="fill">False</property>
1914
</packing>
1915
</child>
1916
<child>
1917
<widget class="GtkVBox" id="page-properties-background-vbox">
1918
<property name="visible">True</property>
1919
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1920
<property name="spacing">6</property>
1921
<child>
1922
<widget class="GtkLabel" id="page-properties-background-header">
1923
<property name="visible">True</property>
1924
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1925
<property name="xalign">0</property>
1926
<property name="label" translatable="yes"><b>Background Image</b></property>
1927
<property name="use_markup">True</property>
1928
</widget>
1929
<packing>
1930
<property name="expand">False</property>
1931
<property name="fill">False</property>
1932
</packing>
1933
</child>
1934
<child>
1935
<widget class="GtkAlignment" id="page-properties-background-alignment">
1936
<property name="visible">True</property>
1937
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1938
<property name="left_padding">12</property>
1939
<child>
1940
<widget class="GtkTable" id="page-properties-backgrond-table">
1941
<property name="visible">True</property>
1942
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1943
<property name="n_rows">2</property>
1944
<property name="n_columns">2</property>
1945
<property name="column_spacing">6</property>
1946
<property name="row_spacing">6</property>
1947
<child>
1948
<widget class="GtkLabel" id="page-properties-template-label">
1949
<property name="visible">True</property>
1950
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1951
<property name="xalign">1</property>
1952
<property name="label" translatable="yes">T_emplate:</property>
1953
<property name="use_underline">True</property>
1954
</widget>
1955
<packing>
1956
<property name="x_options">GTK_FILL</property>
1957
</packing>
1958
</child>
1959
<child>
1960
<widget class="GtkLabel" id="page-properties-custom-label">
1961
<property name="visible">True</property>
1962
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1963
<property name="xalign">1</property>
1964
<property name="label" translatable="yes">C_ustom:</property>
1965
<property name="use_underline">True</property>
1966
</widget>
1967
<packing>
1968
<property name="top_attach">1</property>
1969
<property name="bottom_attach">2</property>
1970
<property name="x_options">GTK_FILL</property>
1971
</packing>
1972
</child>
1973
<child>
1974
<widget class="GtkFileChooserButton" id="page-properties-custom-file-chooser">
1975
<property name="width_request">200</property>
1976
<property name="visible">True</property>
1977
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1978
<signal name="selection_changed" handler="gtkhtml_editor_page_properties_custom_file_changed_cb" object="page-properties-window"/>
1979
</widget>
1980
<packing>
1981
<property name="left_attach">1</property>
1982
<property name="right_attach">2</property>
1983
<property name="top_attach">1</property>
1984
<property name="bottom_attach">2</property>
1985
</packing>
1986
</child>
1987
<child>
1988
<widget class="GtkComboBox" id="page-properties-template-combo-box">
1989
<property name="visible">True</property>
1990
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1991
<property name="items" translatable="yes">None
1992
Perforated Paper
1993
Blue Ink
1994
Paper
1995
Ribbon
1996
Midnight
1997
Confidential
1998
Draft
1999
Graph Paper</property>
2000
<signal name="changed" handler="gtkhtml_editor_page_properties_template_changed_cb" object="page-properties-window"/>
2001
</widget>
2002
<packing>
2003
<property name="left_attach">1</property>
2004
<property name="right_attach">2</property>
2005
</packing>
2006
</child>
2007
</widget>
2008
</child>
2009
</widget>
2010
<packing>
2011
<property name="position">1</property>
2012
</packing>
2013
</child>
2014
</widget>
2015
<packing>
2016
<property name="expand">False</property>
2017
<property name="fill">False</property>
2018
<property name="position">1</property>
2019
</packing>
2020
</child>
2021
<child>
2022
<widget class="GtkHButtonBox" id="page-properties-button-box">
2023
<property name="visible">True</property>
2024
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2025
<property name="spacing">12</property>
2026
<property name="layout_style">GTK_BUTTONBOX_END</property>
2027
<child>
2028
<widget class="GtkButton" id="page-properties-close-button">
2029
<property name="visible">True</property>
2030
<property name="can_focus">True</property>
2031
<property name="receives_default">True</property>
2032
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2033
<property name="label">gtk-close</property>
2034
<property name="use_stock">True</property>
2035
<property name="response_id">0</property>
2036
<signal name="clicked" handler="gtk_widget_hide" object="page-properties-window"/>
2037
</widget>
2038
<packing>
2039
<property name="position">1</property>
2040
</packing>
2041
</child>
2042
</widget>
2043
<packing>
2044
<property name="expand">False</property>
2045
<property name="fill">False</property>
2046
<property name="pack_type">GTK_PACK_END</property>
2047
<property name="position">2</property>
2048
</packing>
2049
</child>
2050
</widget>
2051
</child>
2052
</widget>
2053
<widget class="GtkWindow" id="cell-properties-window">
2054
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2055
<property name="border_width">1</property>
2056
<property name="title" translatable="yes">Cell Properties</property>
2057
<property name="resizable">False</property>
2058
<property name="modal">True</property>
2059
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2060
<property name="destroy_with_parent">True</property>
2061
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
2062
<signal name="show" handler="gtkhtml_editor_cell_properties_show_window_cb"/>
2063
<child>
2064
<widget class="GtkVBox" id="cell-properties-vbox">
2065
<property name="visible">True</property>
2066
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2067
<property name="border_width">12</property>
2068
<property name="spacing">12</property>
2069
<child>
2070
<widget class="GtkVBox" id="cell-properties-scope-vbox">
2071
<property name="visible">True</property>
2072
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2073
<property name="spacing">6</property>
2074
<child>
2075
<widget class="GtkLabel" id="cell-properties-scope-header">
2076
<property name="visible">True</property>
2077
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2078
<property name="xalign">0</property>
2079
<property name="label" translatable="yes"><b>Scope</b></property>
2080
<property name="use_markup">True</property>
2081
</widget>
2082
</child>
2083
<child>
2084
<widget class="GtkAlignment" id="cell-properties-scope-alignment">
2085
<property name="visible">True</property>
2086
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2087
<property name="left_padding">12</property>
2088
<child>
2089
<widget class="GtkTable" id="cell-properties-scope-table">
2090
<property name="visible">True</property>
2091
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2092
<property name="n_rows">2</property>
2093
<property name="n_columns">5</property>
2094
<property name="column_spacing">6</property>
2095
<property name="row_spacing">6</property>
2096
<child>
2097
<placeholder/>
2098
</child>
2099
<child>
2100
<placeholder/>
2101
</child>
2102
<child>
2103
<widget class="GtkRadioButton" id="cell-properties-column-radio-button">
2104
<property name="visible">True</property>
2105
<property name="can_focus">True</property>
2106
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2107
<property name="label" translatable="yes">Col_umn</property>
2108
<property name="use_underline">True</property>
2109
<property name="response_id">0</property>
2110
<property name="active">True</property>
2111
<property name="draw_indicator">True</property>
2112
<property name="group">cell-properties-cell-radio-button</property>
2113
<signal name="toggled" handler="gtkhtml_editor_cell_properties_scope_toggled_cb" object="cell-properties-window"/>
2114
</widget>
2115
<packing>
2116
<property name="left_attach">4</property>
2117
<property name="right_attach">5</property>
2118
<property name="top_attach">1</property>
2119
<property name="bottom_attach">2</property>
2120
<property name="x_options">GTK_FILL</property>
2121
<property name="y_options"></property>
2122
</packing>
2123
</child>
2124
<child>
2125
<widget class="GtkRadioButton" id="cell-properties-row-radio-button">
2126
<property name="visible">True</property>
2127
<property name="can_focus">True</property>
2128
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2129
<property name="label" translatable="yes">_Row</property>
2130
<property name="use_underline">True</property>
2131
<property name="response_id">0</property>
2132
<property name="active">True</property>
2133
<property name="draw_indicator">True</property>
2134
<property name="group">cell-properties-cell-radio-button</property>
2135
<signal name="toggled" handler="gtkhtml_editor_cell_properties_scope_toggled_cb" object="cell-properties-window"/>
2136
</widget>
2137
<packing>
2138
<property name="left_attach">4</property>
2139
<property name="right_attach">5</property>
2140
<property name="x_options">GTK_FILL</property>
2141
<property name="y_options"></property>
2142
</packing>
2143
</child>
2144
<child>
2145
<widget class="GtkRadioButton" id="cell-properties-table-radio-button">
2146
<property name="visible">True</property>
2147
<property name="can_focus">True</property>
2148
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2149
<property name="label" translatable="yes">_Table</property>
2150
<property name="use_underline">True</property>
2151
<property name="response_id">0</property>
2152
<property name="active">True</property>
2153
<property name="draw_indicator">True</property>
2154
<property name="group">cell-properties-cell-radio-button</property>
2155
<signal name="toggled" handler="gtkhtml_editor_cell_properties_scope_toggled_cb" object="cell-properties-window"/>
2156
</widget>
2157
<packing>
2158
<property name="left_attach">1</property>
2159
<property name="right_attach">2</property>
2160
<property name="top_attach">1</property>
2161
<property name="bottom_attach">2</property>
2162
<property name="x_options">GTK_FILL</property>
2163
<property name="y_options"></property>
2164
</packing>
2165
</child>
2166
<child>
2167
<widget class="GtkRadioButton" id="cell-properties-cell-radio-button">
2168
<property name="visible">True</property>
2169
<property name="can_focus">True</property>
2170
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2171
<property name="label" translatable="yes">C_ell</property>
2172
<property name="use_underline">True</property>
2173
<property name="response_id">0</property>
2174
<property name="active">True</property>
2175
<property name="draw_indicator">True</property>
2176
<signal name="toggled" handler="gtkhtml_editor_cell_properties_scope_toggled_cb" object="cell-properties-window"/>
2177
</widget>
2178
<packing>
2179
<property name="left_attach">1</property>
2180
<property name="right_attach">2</property>
2181
<property name="x_options">GTK_FILL</property>
2182
<property name="y_options"></property>
2183
</packing>
2184
</child>
2185
<child>
2186
<widget class="GtkImage" id="cell-properties-column-image">
2187
<property name="visible">True</property>
2188
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2189
<property name="icon_name">stock_select-column</property>
2190
</widget>
2191
<packing>
2192
<property name="left_attach">3</property>
2193
<property name="right_attach">4</property>
2194
<property name="top_attach">1</property>
2195
<property name="bottom_attach">2</property>
2196
<property name="x_options"></property>
2197
<property name="y_options"></property>
2198
</packing>
2199
</child>
2200
<child>
2201
<widget class="GtkImage" id="cell-properties-row-image">
2202
<property name="visible">True</property>
2203
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2204
<property name="icon_name">stock_select-row</property>
2205
</widget>
2206
<packing>
2207
<property name="left_attach">3</property>
2208
<property name="right_attach">4</property>
2209
<property name="x_options"></property>
2210
<property name="y_options"></property>
2211
</packing>
2212
</child>
2213
<child>
2214
<widget class="GtkImage" id="cell-properties-table-image">
2215
<property name="visible">True</property>
2216
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2217
<property name="icon_name">stock_select-table</property>
2218
</widget>
2219
<packing>
2220
<property name="top_attach">1</property>
2221
<property name="bottom_attach">2</property>
2222
<property name="x_options"></property>
2223
<property name="y_options"></property>
2224
</packing>
2225
</child>
2226
<child>
2227
<widget class="GtkImage" id="cell-properties-cell-image">
2228
<property name="visible">True</property>
2229
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2230
<property name="icon_name">stock_select-cell</property>
2231
</widget>
2232
<packing>
2233
<property name="x_options"></property>
2234
<property name="y_options"></property>
2235
</packing>
2236
</child>
2237
</widget>
2238
</child>
2239
</widget>
2240
<packing>
2241
<property name="expand">False</property>
2242
<property name="fill">False</property>
2243
<property name="position">1</property>
2244
</packing>
2245
</child>
2246
</widget>
2247
<packing>
2248
<property name="expand">False</property>
2249
<property name="fill">False</property>
2250
</packing>
2251
</child>
2252
<child>
2253
<widget class="GtkVBox" id="cell-properties-alignment-vbox">
2254
<property name="visible">True</property>
2255
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2256
<property name="spacing">6</property>
2257
<child>
2258
<widget class="GtkLabel" id="cell-properties-alignment-header">
2259
<property name="visible">True</property>
2260
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2261
<property name="xalign">0</property>
2262
<property name="label" translatable="yes"><b>Alignment &amp; Behavior</b></property>
2263
<property name="use_markup">True</property>
2264
</widget>
2265
</child>
2266
<child>
2267
<widget class="GtkAlignment" id="cell-properties-alignment-alignment">
2268
<property name="visible">True</property>
2269
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2270
<property name="left_padding">12</property>
2271
<child>
2272
<widget class="GtkTable" id="cell-properties-alignment-table">
2273
<property name="visible">True</property>
2274
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2275
<property name="n_rows">2</property>
2276
<property name="n_columns">5</property>
2277
<property name="column_spacing">6</property>
2278
<property name="row_spacing">6</property>
2279
<child>
2280
<placeholder/>
2281
</child>
2282
<child>
2283
<widget class="GtkHBox" id="cell-properties-alignment-hbox">
2284
<property name="visible">True</property>
2285
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2286
<property name="spacing">12</property>
2287
<child>
2288
<widget class="GtkCheckButton" id="cell-properties-wrap-text-check-button">
2289
<property name="visible">True</property>
2290
<property name="can_focus">True</property>
2291
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2292
<property name="label" translatable="yes">_Wrap Text</property>
2293
<property name="use_underline">True</property>
2294
<property name="response_id">0</property>
2295
<property name="draw_indicator">True</property>
2296
<signal name="toggled" handler="gtkhtml_editor_cell_properties_wrap_text_toggled_cb" object="cell-properties-window"/>
2297
</widget>
2298
<packing>
2299
<property name="expand">False</property>
2300
<property name="fill">False</property>
2301
</packing>
2302
</child>
2303
<child>
2304
<widget class="GtkCheckButton" id="cell-properties-header-style-check-button">
2305
<property name="visible">True</property>
2306
<property name="can_focus">True</property>
2307
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2308
<property name="label" translatable="yes">Hea_der Style</property>
2309
<property name="use_underline">True</property>
2310
<property name="response_id">0</property>
2311
<property name="draw_indicator">True</property>
2312
<signal name="toggled" handler="gtkhtml_editor_cell_properties_header_style_toggled_cb" object="cell-properties-window"/>
2313
</widget>
2314
<packing>
2315
<property name="expand">False</property>
2316
<property name="fill">False</property>
2317
<property name="position">1</property>
2318
</packing>
2319
</child>
2320
</widget>
2321
<packing>
2322
<property name="right_attach">5</property>
2323
<property name="top_attach">1</property>
2324
<property name="bottom_attach">2</property>
2325
<property name="x_options">GTK_FILL</property>
2326
<property name="y_options"></property>
2327
</packing>
2328
</child>
2329
<child>
2330
<widget class="GtkComboBox" id="cell-properties-vertical-combo-box">
2331
<property name="visible">True</property>
2332
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2333
<property name="items" translatable="yes">Top
2334
Middle
2335
Bottom</property>
2336
<signal name="changed" handler="gtkhtml_editor_cell_properties_vertical_changed_cb" object="cell-properties-window"/>
2337
</widget>
2338
<packing>
2339
<property name="left_attach">4</property>
2340
<property name="right_attach">5</property>
2341
<property name="y_options"></property>
2342
</packing>
2343
</child>
2344
<child>
2345
<widget class="GtkComboBox" id="cell-properties-horizontal-combo-box">
2346
<property name="visible">True</property>
2347
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2348
<property name="items" translatable="yes">Left
2349
Center
2350
Right</property>
2351
<signal name="changed" handler="gtkhtml_editor_cell_properties_horizontal_changed_cb" object="cell-properties-window"/>
2352
</widget>
2353
<packing>
2354
<property name="left_attach">1</property>
2355
<property name="right_attach">2</property>
2356
<property name="y_options"></property>
2357
</packing>
2358
</child>
2359
<child>
2360
<widget class="GtkLabel" id="cell-properties-vertical-label">
2361
<property name="visible">True</property>
2362
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2363
<property name="xalign">1</property>
2364
<property name="label" translatable="yes">_Vertical:</property>
2365
<property name="use_underline">True</property>
2366
<property name="mnemonic_widget">cell-properties-vertical-combo-box</property>
2367
</widget>
2368
<packing>
2369
<property name="left_attach">3</property>
2370
<property name="right_attach">4</property>
2371
<property name="x_options">GTK_FILL</property>
2372
<property name="y_options"></property>
2373
</packing>
2374
</child>
2375
<child>
2376
<widget class="GtkLabel" id="cell-properties-horizontal-label">
2377
<property name="visible">True</property>
2378
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2379
<property name="xalign">1</property>
2380
<property name="label" translatable="yes">_Horizontal:</property>
2381
<property name="use_underline">True</property>
2382
<property name="mnemonic_widget">cell-properties-horizontal-combo-box</property>
2383
</widget>
2384
<packing>
2385
<property name="x_options">GTK_FILL</property>
2386
<property name="y_options"></property>
2387
</packing>
2388
</child>
2389
</widget>
2390
</child>
2391
</widget>
2392
<packing>
2393
<property name="position">1</property>
2394
</packing>
2395
</child>
2396
</widget>
2397
<packing>
2398
<property name="expand">False</property>
2399
<property name="fill">False</property>
2400
<property name="position">1</property>
2401
</packing>
2402
</child>
2403
<child>
2404
<widget class="GtkVBox" id="cell-properties-layout-vbox">
2405
<property name="visible">True</property>
2406
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2407
<property name="spacing">6</property>
2408
<child>
2409
<widget class="GtkLabel" id="cell-properties-layout-header">
2410
<property name="visible">True</property>
2411
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2412
<property name="xalign">0</property>
2413
<property name="label" translatable="yes"><b>Layout</b></property>
2414
<property name="use_markup">True</property>
2415
</widget>
2416
</child>
2417
<child>
2418
<widget class="GtkAlignment" id="cell-properties-layout-alignment">
2419
<property name="visible">True</property>
2420
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2421
<property name="left_padding">12</property>
2422
<child>
2423
<widget class="GtkTable" id="cell-properties-layout-table">
2424
<property name="visible">True</property>
2425
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2426
<property name="n_rows">2</property>
2427
<property name="n_columns">6</property>
2428
<property name="column_spacing">6</property>
2429
<property name="row_spacing">6</property>
2430
<child>
2431
<placeholder/>
2432
</child>
2433
<child>
2434
<placeholder/>
2435
</child>
2436
<child>
2437
<placeholder/>
2438
</child>
2439
<child>
2440
<placeholder/>
2441
</child>
2442
<child>
2443
<placeholder/>
2444
</child>
2445
<child>
2446
<widget class="GtkSpinButton" id="cell-properties-column-span-spin-button">
2447
<property name="visible">True</property>
2448
<property name="can_focus">True</property>
2449
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2450
<property name="adjustment">0 0 100 1 10 0</property>
2451
<signal name="change_value" handler="gtkhtml_editor_cell_properties_column_span_changed_cb" object="cell-properties-window"/>
2452
</widget>
2453
<packing>
2454
<property name="left_attach">5</property>
2455
<property name="right_attach">6</property>
2456
<property name="top_attach">1</property>
2457
<property name="bottom_attach">2</property>
2458
<property name="y_options"></property>
2459
</packing>
2460
</child>
2461
<child>
2462
<widget class="GtkSpinButton" id="cell-properties-row-span-spin-button">
2463
<property name="visible">True</property>
2464
<property name="can_focus">True</property>
2465
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2466
<property name="adjustment">0 0 100 1 10 0</property>
2467
<signal name="change_value" handler="gtkhtml_editor_cell_properties_row_span_changed_cb" object="cell-properties-window"/>
2468
</widget>
2469
<packing>
2470
<property name="left_attach">5</property>
2471
<property name="right_attach">6</property>
2472
<property name="y_options"></property>
2473
</packing>
2474
</child>
2475
<child>
2476
<widget class="GtkLabel" id="cell-properties-column-span-label">
2477
<property name="visible">True</property>
2478
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2479
<property name="xalign">1</property>
2480
<property name="label" translatable="yes">Column Span:</property>
2481
<property name="use_underline">True</property>
2482
<property name="mnemonic_widget">cell-properties-column-span-spin-button</property>
2483
</widget>
2484
<packing>
2485
<property name="left_attach">4</property>
2486
<property name="right_attach">5</property>
2487
<property name="top_attach">1</property>
2488
<property name="bottom_attach">2</property>
2489
<property name="x_options">GTK_FILL</property>
2490
<property name="y_options"></property>
2491
</packing>
2492
</child>
2493
<child>
2494
<widget class="GtkLabel" id="cell-properties-row-span-label">
2495
<property name="visible">True</property>
2496
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2497
<property name="xalign">1</property>
2498
<property name="label" translatable="yes">Row Span:</property>
2499
<property name="use_underline">True</property>
2500
<property name="mnemonic_widget">cell-properties-row-span-spin-button</property>
2501
</widget>
2502
<packing>
2503
<property name="left_attach">4</property>
2504
<property name="right_attach">5</property>
2505
<property name="x_options">GTK_FILL</property>
2506
<property name="y_options"></property>
2507
</packing>
2508
</child>
2509
<child>
2510
<widget class="GtkComboBox" id="cell-properties-width-combo-box">
2511
<property name="visible">True</property>
2512
<property name="sensitive">False</property>
2513
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2514
<property name="items" translatable="yes">px
2515
%</property>
2516
<signal name="changed" handler="gtkhtml_editor_cell_properties_width_changed_cb" object="cell-properties-window"/>
2517
</widget>
2518
<packing>
2519
<property name="left_attach">2</property>
2520
<property name="right_attach">3</property>
2521
<property name="x_options">GTK_FILL</property>
2522
<property name="y_options"></property>
2523
</packing>
2524
</child>
2525
<child>
2526
<widget class="GtkSpinButton" id="cell-properties-width-spin-button">
2527
<property name="width_request">100</property>
2528
<property name="visible">True</property>
2529
<property name="sensitive">False</property>
2530
<property name="can_focus">True</property>
2531
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2532
<property name="adjustment">0 0 100 1 10 0</property>
2533
<signal name="value_changed" handler="gtkhtml_editor_cell_properties_width_changed_cb" object="cell-properties-window"/>
2534
</widget>
2535
<packing>
2536
<property name="left_attach">1</property>
2537
<property name="right_attach">2</property>
2538
<property name="y_options"></property>
2539
</packing>
2540
</child>
2541
<child>
2542
<widget class="GtkCheckButton" id="cell-properties-width-check-button">
2543
<property name="visible">True</property>
2544
<property name="can_focus">True</property>
2545
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2546
<property name="label" translatable="yes">Width:</property>
2547
<property name="use_underline">True</property>
2548
<property name="response_id">0</property>
2549
<property name="draw_indicator">True</property>
2550
<signal name="toggled" handler="gtkhtml_editor_cell_properties_width_changed_cb" object="cell-properties-window"/>
2551
</widget>
2552
<packing>
2553
<property name="x_options">GTK_FILL</property>
2554
<property name="y_options"></property>
2555
</packing>
2556
</child>
2557
</widget>
2558
</child>
2559
</widget>
2560
<packing>
2561
<property name="position">1</property>
2562
</packing>
2563
</child>
2564
</widget>
2565
<packing>
2566
<property name="expand">False</property>
2567
<property name="fill">False</property>
2568
<property name="position">2</property>
2569
</packing>
2570
</child>
2571
<child>
2572
<widget class="GtkVBox" id="cell-properties-background-vbox">
2573
<property name="visible">True</property>
2574
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2575
<property name="spacing">6</property>
2576
<child>
2577
<widget class="GtkLabel" id="cell-properties-background-header">
2578
<property name="visible">True</property>
2579
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2580
<property name="xalign">0</property>
2581
<property name="label" translatable="yes"><b>Background</b></property>
2582
<property name="use_markup">True</property>
2583
</widget>
2584
</child>
2585
<child>
2586
<widget class="GtkAlignment" id="cell-properties-background-alignment">
2587
<property name="visible">True</property>
2588
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2589
<property name="left_padding">12</property>
2590
<child>
2591
<widget class="GtkTable" id="cell-properties-background-table">
2592
<property name="visible">True</property>
2593
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2594
<property name="n_rows">2</property>
2595
<property name="n_columns">2</property>
2596
<property name="column_spacing">6</property>
2597
<property name="row_spacing">6</property>
2598
<child>
2599
<widget class="GtkFileChooserButton" id="cell-properties-image-file-chooser">
2600
<property name="visible">True</property>
2601
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2602
<property name="title" translatable="yes">Select An Image</property>
2603
<signal name="file_set" handler="gtkhtml_editor_cell_properties_image_file_set_cb" object="cell-properties-window"/>
2604
</widget>
2605
<packing>
2606
<property name="left_attach">1</property>
2607
<property name="right_attach">2</property>
2608
<property name="top_attach">1</property>
2609
<property name="bottom_attach">2</property>
2610
<property name="y_options"></property>
2611
</packing>
2612
</child>
2613
<child>
2614
<widget class="GtkhtmlColorCombo" id="cell-properties-color-combo">
2615
<property name="visible">True</property>
2616
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2617
<property name="default_color">#000000000000</property>
2618
<property name="default_label">Transparent</property>
2619
<property name="default_transparent">True</property>
2620
<signal name="changed" handler="gtkhtml_editor_cell_properties_color_changed_cb" object="cell-properties-window"/>
2621
</widget>
2622
<packing>
2623
<property name="left_attach">1</property>
2624
<property name="right_attach">2</property>
2625
<property name="y_options"></property>
2626
</packing>
2627
</child>
2628
<child>
2629
<widget class="GtkLabel" id="cell-properties-image-label">
2630
<property name="visible">True</property>
2631
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2632
<property name="label" translatable="yes">I_mage:</property>
2633
<property name="use_underline">True</property>
2634
<property name="mnemonic_widget">cell-properties-image-file-chooser</property>
2635
</widget>
2636
<packing>
2637
<property name="top_attach">1</property>
2638
<property name="bottom_attach">2</property>
2639
<property name="x_options">GTK_FILL</property>
2640
<property name="y_options"></property>
2641
</packing>
2642
</child>
2643
<child>
2644
<widget class="GtkLabel" id="cell-properties-color-label">
2645
<property name="visible">True</property>
2646
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2647
<property name="xalign">1</property>
2648
<property name="label" translatable="yes">C_olor:</property>
2649
<property name="use_underline">True</property>
2650
<property name="mnemonic_widget">cell-properties-color-combo</property>
2651
</widget>
2652
<packing>
2653
<property name="x_options">GTK_FILL</property>
2654
<property name="y_options"></property>
2655
</packing>
2656
</child>
2657
</widget>
2658
</child>
2659
</widget>
2660
<packing>
2661
<property name="position">1</property>
2662
</packing>
2663
</child>
2664
</widget>
2665
<packing>
2666
<property name="expand">False</property>
2667
<property name="fill">False</property>
2668
<property name="position">3</property>
2669
</packing>
2670
</child>
2671
<child>
2672
<widget class="GtkHButtonBox" id="cell-properties-button-box">
2673
<property name="visible">True</property>
2674
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2675
<property name="spacing">12</property>
2676
<property name="layout_style">GTK_BUTTONBOX_END</property>
2677
<child>
2678
<widget class="GtkButton" id="cell-properties-close-button">
2679
<property name="visible">True</property>
2680
<property name="can_focus">True</property>
2681
<property name="receives_default">True</property>
2682
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2683
<property name="label">gtk-close</property>
2684
<property name="use_stock">True</property>
2685
<property name="response_id">0</property>
2686
<signal name="clicked" handler="gtk_widget_hide" object="cell-properties-window"/>
2687
</widget>
2688
<packing>
2689
<property name="position">1</property>
2690
</packing>
2691
</child>
2692
</widget>
2693
<packing>
2694
<property name="expand">False</property>
2695
<property name="fill">False</property>
2696
<property name="pack_type">GTK_PACK_END</property>
2697
<property name="position">4</property>
2698
</packing>
2699
</child>
2700
</widget>
2701
</child>
2702
</widget>
2703
<widget class="GtkWindow" id="image-properties-window">
2704
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2705
<property name="border_width">12</property>
2706
<property name="title" translatable="yes">Image Properties</property>
2707
<property name="resizable">False</property>
2708
<property name="modal">True</property>
2709
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2710
<property name="destroy_with_parent">True</property>
2711
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
2712
<signal name="show" handler="gtkhtml_editor_image_properties_show_window_cb"/>
2713
<child>
2714
<widget class="GtkVBox" id="image-properties-vbox">
2715
<property name="visible">True</property>
2716
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2717
<property name="spacing">12</property>
2718
<child>
2719
<widget class="GtkVBox" id="image-properties-general-vbox">
2720
<property name="visible">True</property>
2721
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2722
<property name="spacing">6</property>
2723
<child>
2724
<widget class="GtkLabel" id="image-properties-general-header">
2725
<property name="visible">True</property>
2726
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2727
<property name="xalign">0</property>
2728
<property name="label" translatable="yes"><b>General</b></property>
2729
<property name="use_markup">True</property>
2730
</widget>
2731
</child>
2732
<child>
2733
<widget class="GtkAlignment" id="image-properties-general-alignment">
2734
<property name="visible">True</property>
2735
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2736
<property name="left_padding">12</property>
2737
<child>
2738
<widget class="GtkTable" id="image-properties-general-table">
2739
<property name="visible">True</property>
2740
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2741
<property name="n_rows">2</property>
2742
<property name="n_columns">2</property>
2743
<property name="column_spacing">6</property>
2744
<property name="row_spacing">6</property>
2745
<child>
2746
<widget class="GtkEntry" id="image-properties-description-entry">
2747
<property name="visible">True</property>
2748
<property name="can_focus">True</property>
2749
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2750
<signal name="changed" handler="gtkhtml_editor_image_properties_description_changed_cb" object="image-properties-window"/>
2751
</widget>
2752
<packing>
2753
<property name="left_attach">1</property>
2754
<property name="right_attach">2</property>
2755
<property name="top_attach">1</property>
2756
<property name="bottom_attach">2</property>
2757
<property name="y_options"></property>
2758
</packing>
2759
</child>
2760
<child>
2761
<widget class="GtkFileChooserButton" id="image-properties-source-file-chooser">
2762
<property name="visible">True</property>
2763
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2764
<signal name="file_set" handler="gtkhtml_editor_image_properties_source_file_set_cb" object="image-properties-window"/>
2765
</widget>
2766
<packing>
2767
<property name="left_attach">1</property>
2768
<property name="right_attach">2</property>
2769
<property name="y_options"></property>
2770
</packing>
2771
</child>
2772
<child>
2773
<widget class="GtkLabel" id="image-properties-description-label">
2774
<property name="visible">True</property>
2775
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2776
<property name="label" translatable="yes">_Description:</property>
2777
<property name="use_underline">True</property>
2778
<property name="mnemonic_widget">image-properties-description-entry</property>
2779
</widget>
2780
<packing>
2781
<property name="top_attach">1</property>
2782
<property name="bottom_attach">2</property>
2783
<property name="x_options">GTK_FILL</property>
2784
<property name="y_options"></property>
2785
</packing>
2786
</child>
2787
<child>
2788
<widget class="GtkLabel" id="image-properties-source-label">
2789
<property name="visible">True</property>
2790
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2791
<property name="xalign">1</property>
2792
<property name="label" translatable="yes">_Source:</property>
2793
<property name="use_underline">True</property>
2794
<property name="mnemonic_widget">image-properties-source-file-chooser</property>
2795
</widget>
2796
<packing>
2797
<property name="x_options">GTK_FILL</property>
2798
<property name="y_options"></property>
2799
</packing>
2800
</child>
2801
</widget>
2802
</child>
2803
</widget>
2804
<packing>
2805
<property name="position">1</property>
2806
</packing>
2807
</child>
2808
</widget>
2809
<packing>
2810
<property name="expand">False</property>
2811
<property name="fill">False</property>
2812
</packing>
2813
</child>
2814
<child>
2815
<widget class="GtkVBox" id="image-properties-layout-vbox">
2816
<property name="visible">True</property>
2817
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2818
<property name="spacing">6</property>
2819
<child>
2820
<widget class="GtkLabel" id="image-properties-layout-header">
2821
<property name="visible">True</property>
2822
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2823
<property name="xalign">0</property>
2824
<property name="label" translatable="yes"><b>Layout</b></property>
2825
<property name="use_markup">True</property>
2826
</widget>
2827
</child>
2828
<child>
2829
<widget class="GtkAlignment" id="image-properties-layout-alignment">
2830
<property name="visible">True</property>
2831
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2832
<property name="left_padding">12</property>
2833
<child>
2834
<widget class="GtkTable" id="image-properties-layout-table">
2835
<property name="visible">True</property>
2836
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2837
<property name="n_rows">3</property>
2838
<property name="n_columns">7</property>
2839
<property name="column_spacing">6</property>
2840
<property name="row_spacing">6</property>
2841
<child>
2842
<placeholder/>
2843
</child>
2844
<child>
2845
<placeholder/>
2846
</child>
2847
<child>
2848
<placeholder/>
2849
</child>
2850
<child>
2851
<placeholder/>
2852
</child>
2853
<child>
2854
<widget class="GtkLabel" id="image-properties-width-label">
2855
<property name="visible">True</property>
2856
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2857
<property name="xalign">1</property>
2858
<property name="label" translatable="yes">_Width:</property>
2859
<property name="use_underline">True</property>
2860
<property name="mnemonic_widget">image-properties-width-spin-button</property>
2861
</widget>
2862
<packing>
2863
<property name="x_options">GTK_FILL</property>
2864
<property name="y_options"></property>
2865
</packing>
2866
</child>
2867
<child>
2868
<widget class="GtkLabel" id="image-properties-height-label">
2869
<property name="visible">True</property>
2870
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2871
<property name="xalign">1</property>
2872
<property name="label" translatable="yes">_Height:</property>
2873
<property name="use_underline">True</property>
2874
<property name="mnemonic_widget">image-properties-height-spin-button</property>
2875
</widget>
2876
<packing>
2877
<property name="top_attach">1</property>
2878
<property name="bottom_attach">2</property>
2879
<property name="x_options">GTK_FILL</property>
2880
<property name="y_options"></property>
2881
</packing>
2882
</child>
2883
<child>
2884
<widget class="GtkLabel" id="image-properties-alignment-label">
2885
<property name="visible">True</property>
2886
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2887
<property name="xalign">1</property>
2888
<property name="label" translatable="yes">_Alignment:</property>
2889
<property name="use_underline">True</property>
2890
<property name="mnemonic_widget">image-properties-alignment-combo-box</property>
2891
</widget>
2892
<packing>
2893
<property name="top_attach">2</property>
2894
<property name="bottom_attach">3</property>
2895
<property name="x_options">GTK_FILL</property>
2896
<property name="y_options"></property>
2897
</packing>
2898
</child>
2899
<child>
2900
<widget class="GtkSpinButton" id="image-properties-width-spin-button">
2901
<property name="width_request">100</property>
2902
<property name="visible">True</property>
2903
<property name="can_focus">True</property>
2904
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2905
<property name="adjustment">0 0 10000 1 10 0</property>
2906
<signal name="value_changed" handler="gtkhtml_editor_image_properties_size_changed_cb" object="image-properties-window"/>
2907
</widget>
2908
<packing>
2909
<property name="left_attach">1</property>
2910
<property name="right_attach">2</property>
2911
<property name="y_options"></property>
2912
</packing>
2913
</child>
2914
<child>
2915
<widget class="GtkSpinButton" id="image-properties-height-spin-button">
2916
<property name="width_request">100</property>
2917
<property name="visible">True</property>
2918
<property name="can_focus">True</property>
2919
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2920
<property name="adjustment">0 0 10000 1 10 0</property>
2921
<signal name="value_changed" handler="gtkhtml_editor_image_properties_size_changed_cb" object="image-properties-window"/>
2922
</widget>
2923
<packing>
2924
<property name="left_attach">1</property>
2925
<property name="right_attach">2</property>
2926
<property name="top_attach">1</property>
2927
<property name="bottom_attach">2</property>
2928
<property name="y_options"></property>
2929
</packing>
2930
</child>
2931
<child>
2932
<widget class="GtkComboBox" id="image-properties-width-combo-box">
2933
<property name="visible">True</property>
2934
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2935
<property name="items" translatable="yes">px
2936
%
2937
follow</property>
2938
<signal name="changed" handler="gtkhtml_editor_image_properties_size_changed_cb" object="image-properties-window"/>
2939
</widget>
2940
<packing>
2941
<property name="left_attach">2</property>
2942
<property name="right_attach">3</property>
2943
<property name="x_options"></property>
2944
<property name="y_options"></property>
2945
</packing>
2946
</child>
2947
<child>
2948
<widget class="GtkComboBox" id="image-properties-height-combo-box">
2949
<property name="visible">True</property>
2950
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2951
<property name="items" translatable="yes">px
2952
%
2953
follow</property>
2954
<signal name="changed" handler="gtkhtml_editor_image_properties_size_changed_cb" object="image-properties-window"/>
2955
</widget>
2956
<packing>
2957
<property name="left_attach">2</property>
2958
<property name="right_attach">3</property>
2959
<property name="top_attach">1</property>
2960
<property name="bottom_attach">2</property>
2961
<property name="x_options"></property>
2962
<property name="y_options"></property>
2963
</packing>
2964
</child>
2965
<child>
2966
<widget class="GtkComboBox" id="image-properties-alignment-combo-box">
2967
<property name="visible">True</property>
2968
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2969
<property name="items" translatable="yes">Top
2970
Middle
2971
Bottom</property>
2972
<signal name="changed" handler="gtkhtml_editor_image_properties_alignment_changed_cb" object="image-properties-window"/>
2973
</widget>
2974
<packing>
2975
<property name="left_attach">1</property>
2976
<property name="right_attach">2</property>
2977
<property name="top_attach">2</property>
2978
<property name="bottom_attach">3</property>
2979
<property name="y_options"></property>
2980
</packing>
2981
</child>
2982
<child>
2983
<widget class="GtkLabel" id="image-properties-x-padding-label">
2984
<property name="visible">True</property>
2985
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2986
<property name="xalign">1</property>
2987
<property name="label" translatable="yes">_X-Padding:</property>
2988
<property name="use_underline">True</property>
2989
<property name="mnemonic_widget">image-properties-x-padding-spin-button</property>
2990
</widget>
2991
<packing>
2992
<property name="left_attach">4</property>
2993
<property name="right_attach">5</property>
2994
<property name="x_options">GTK_FILL</property>
2995
<property name="y_options"></property>
2996
</packing>
2997
</child>
2998
<child>
2999
<widget class="GtkLabel" id="image-properties-y-padding-label">
3000
<property name="visible">True</property>
3001
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3002
<property name="xalign">1</property>
3003
<property name="label" translatable="yes">_Y-Padding:</property>
3004
<property name="use_underline">True</property>
3005
<property name="mnemonic_widget">image-properties-y-padding-spin-button</property>
3006
</widget>
3007
<packing>
3008
<property name="left_attach">4</property>
3009
<property name="right_attach">5</property>
3010
<property name="top_attach">1</property>
3011
<property name="bottom_attach">2</property>
3012
<property name="x_options">GTK_FILL</property>
3013
<property name="y_options"></property>
3014
</packing>
3015
</child>
3016
<child>
3017
<widget class="GtkLabel" id="image-properties-border-label">
3018
<property name="visible">True</property>
3019
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3020
<property name="xalign">1</property>
3021
<property name="label" translatable="yes">_Border:</property>
3022
<property name="use_underline">True</property>
3023
<property name="mnemonic_widget">image-properties-border-spin-button</property>
3024
</widget>
3025
<packing>
3026
<property name="left_attach">4</property>
3027
<property name="right_attach">5</property>
3028
<property name="top_attach">2</property>
3029
<property name="bottom_attach">3</property>
3030
<property name="x_options">GTK_FILL</property>
3031
<property name="y_options"></property>
3032
</packing>
3033
</child>
3034
<child>
3035
<widget class="GtkSpinButton" id="image-properties-x-padding-spin-button">
3036
<property name="visible">True</property>
3037
<property name="can_focus">True</property>
3038
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3039
<property name="adjustment">0 0 100 1 10 0</property>
3040
<signal name="value_changed" handler="gtkhtml_editor_image_properties_padding_changed_cb" object="image-properties-window"/>
3041
</widget>
3042
<packing>
3043
<property name="left_attach">5</property>
3044
<property name="right_attach">6</property>
3045
<property name="y_options"></property>
3046
</packing>
3047
</child>
3048
<child>
3049
<widget class="GtkLabel" id="image-properties-x-padding-units-label">
3050
<property name="visible">True</property>
3051
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3052
<property name="xalign">0</property>
3053
<property name="label" translatable="yes">px</property>
3054
</widget>
3055
<packing>
3056
<property name="left_attach">6</property>
3057
<property name="right_attach">7</property>
3058
<property name="x_options">GTK_FILL</property>
3059
<property name="y_options"></property>
3060
</packing>
3061
</child>
3062
<child>
3063
<widget class="GtkLabel" id="image-properties-y-padding-units-label">
3064
<property name="visible">True</property>
3065
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3066
<property name="xalign">0</property>
3067
<property name="label" translatable="yes">px</property>
3068
</widget>
3069
<packing>
3070
<property name="left_attach">6</property>
3071
<property name="right_attach">7</property>
3072
<property name="top_attach">1</property>
3073
<property name="bottom_attach">2</property>
3074
<property name="x_options">GTK_FILL</property>
3075
<property name="y_options"></property>
3076
</packing>
3077
</child>
3078
<child>
3079
<widget class="GtkSpinButton" id="image-properties-y-padding-spin-button">
3080
<property name="visible">True</property>
3081
<property name="can_focus">True</property>
3082
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3083
<property name="adjustment">0 0 100 1 10 0</property>
3084
<signal name="value_changed" handler="gtkhtml_editor_image_properties_padding_changed_cb" object="image-properties-window"/>
3085
</widget>
3086
<packing>
3087
<property name="left_attach">5</property>
3088
<property name="right_attach">6</property>
3089
<property name="top_attach">1</property>
3090
<property name="bottom_attach">2</property>
3091
<property name="y_options"></property>
3092
</packing>
3093
</child>
3094
<child>
3095
<widget class="GtkLabel" id="image-properties-border-units-label">
3096
<property name="visible">True</property>
3097
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3098
<property name="xalign">0</property>
3099
<property name="label" translatable="yes">px</property>
3100
</widget>
3101
<packing>
3102
<property name="left_attach">6</property>
3103
<property name="right_attach">7</property>
3104
<property name="top_attach">2</property>
3105
<property name="bottom_attach">3</property>
3106
<property name="x_options">GTK_FILL</property>
3107
<property name="y_options"></property>
3108
</packing>
3109
</child>
3110
<child>
3111
<widget class="GtkSpinButton" id="image-properties-border-spin-button">
3112
<property name="visible">True</property>
3113
<property name="can_focus">True</property>
3114
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3115
<property name="adjustment">0 0 100 1 10 0</property>
3116
<signal name="value_changed" handler="gtkhtml_editor_image_properties_border_changed_cb" object="image-properties-window"/>
3117
</widget>
3118
<packing>
3119
<property name="left_attach">5</property>
3120
<property name="right_attach">6</property>
3121
<property name="top_attach">2</property>
3122
<property name="bottom_attach">3</property>
3123
<property name="y_options"></property>
3124
</packing>
3125
</child>
3126
</widget>
3127
</child>
3128
</widget>
3129
<packing>
3130
<property name="position">1</property>
3131
</packing>
3132
</child>
3133
</widget>
3134
<packing>
3135
<property name="expand">False</property>
3136
<property name="fill">False</property>
3137
<property name="position">1</property>
3138
</packing>
3139
</child>
3140
<child>
3141
<widget class="GtkVBox" id="image-properties-link-vbox">
3142
<property name="visible">True</property>
3143
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3144
<property name="spacing">6</property>
3145
<child>
3146
<widget class="GtkLabel" id="image-properties-link-header">
3147
<property name="visible">True</property>
3148
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3149
<property name="xalign">0</property>
3150
<property name="label" translatable="yes"><b>Link</b></property>
3151
<property name="use_markup">True</property>
3152
</widget>
3153
</child>
3154
<child>
3155
<widget class="GtkAlignment" id="image-properties-link-alignment">
3156
<property name="visible">True</property>
3157
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3158
<property name="left_padding">12</property>
3159
<child>
3160
<widget class="GtkTable" id="image-properties-link-table">
3161
<property name="visible">True</property>
3162
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3163
<property name="n_columns">3</property>
3164
<property name="column_spacing">6</property>
3165
<property name="row_spacing">6</property>
3166
<child>
3167
<widget class="GtkButton" id="image-properties-url-button">
3168
<property name="visible">True</property>
3169
<property name="can_focus">True</property>
3170
<property name="receives_default">True</property>
3171
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3172
<property name="label" translatable="yes">_Test URL...</property>
3173
<property name="use_underline">True</property>
3174
<property name="response_id">0</property>
3175
<signal name="clicked" handler="gtkhtml_editor_image_properties_url_button_clicked_cb" object="image-properties-window"/>
3176
</widget>
3177
<packing>
3178
<property name="left_attach">2</property>
3179
<property name="right_attach">3</property>
3180
<property name="x_options">GTK_FILL</property>
3181
<property name="y_options"></property>
3182
</packing>
3183
</child>
3184
<child>
3185
<widget class="GtkEntry" id="image-properties-url-entry">
3186
<property name="visible">True</property>
3187
<property name="can_focus">True</property>
3188
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3189
<signal name="changed" handler="gtkhtml_editor_image_properties_url_entry_changed_cb" object="image-properties-window"/>
3190
</widget>
3191
<packing>
3192
<property name="left_attach">1</property>
3193
<property name="right_attach">2</property>
3194
<property name="y_options"></property>
3195
</packing>
3196
</child>
3197
<child>
3198
<widget class="GtkLabel" id="image-properties-url-label">
3199
<property name="visible">True</property>
3200
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3201
<property name="xalign">1</property>
3202
<property name="label" translatable="yes">_URL:</property>
3203
<property name="use_underline">True</property>
3204
<property name="mnemonic_widget">image-properties-url-entry</property>
3205
</widget>
3206
<packing>
3207
<property name="x_options">GTK_FILL</property>
3208
<property name="y_options"></property>
3209
</packing>
3210
</child>
3211
</widget>
3212
</child>
3213
</widget>
3214
<packing>
3215
<property name="position">1</property>
3216
</packing>
3217
</child>
3218
</widget>
3219
<packing>
3220
<property name="expand">False</property>
3221
<property name="fill">False</property>
3222
<property name="position">2</property>
3223
</packing>
3224
</child>
3225
<child>
3226
<widget class="GtkHButtonBox" id="image-properties-button-box">
3227
<property name="visible">True</property>
3228
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3229
<property name="spacing">12</property>
3230
<property name="layout_style">GTK_BUTTONBOX_END</property>
3231
<child>
3232
<widget class="GtkButton" id="image-properties-close-button">
3233
<property name="visible">True</property>
3234
<property name="can_focus">True</property>
3235
<property name="receives_default">True</property>
3236
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3237
<property name="label">gtk-close</property>
3238
<property name="use_stock">True</property>
3239
<property name="response_id">0</property>
3240
<signal name="clicked" handler="gtk_widget_hide" object="image-properties-window"/>
3241
</widget>
3242
<packing>
3243
<property name="position">1</property>
3244
</packing>
3245
</child>
3246
</widget>
3247
<packing>
3248
<property name="expand">False</property>
3249
<property name="fill">False</property>
3250
<property name="pack_type">GTK_PACK_END</property>
3251
<property name="position">3</property>
3252
</packing>
3253
</child>
3254
</widget>
3255
</child>
3256
</widget>
3257
</glade-interface>
Loggerhead is a web-based interface for Breezy
Version: 2.0.1