jota 0.8.0 → 0.8.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- data/INSTALL +7 -3
- data/bin/jota +2 -2
- data/lib/cli.rb +10 -37
- data/lib/clip.rb +57 -9
- data/lib/clip_array.rb +19 -5
- data/lib/gui.rb +48 -62
- data/lib/helper.rb +81 -7
- data/lib/jota.glade +116 -62
- data/lib/jota.rb +57 -12
- data/lib/preferences.rb +3 -3
- data/lib/svn_info.rb +4 -4
- data/lib/version.rb +2 -2
- metadata +16 -16
data/lib/jota.glade
CHANGED
@@ -1,7 +1,7 @@
|
|
1
|
-
<?xml version="1.0"
|
2
|
-
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
|
3
|
-
<!--*- mode: xml -*-->
|
1
|
+
<?xml version="1.0"?>
|
4
2
|
<glade-interface>
|
3
|
+
<!-- interface-requires gtk+ 2.16 -->
|
4
|
+
<!-- interface-naming-policy toplevel-contextual -->
|
5
5
|
<widget class="GtkWindow" id="top">
|
6
6
|
<property name="visible">True</property>
|
7
7
|
<property name="title" translatable="yes">jota</property>
|
@@ -22,27 +22,28 @@
|
|
22
22
|
<property name="spacing">6</property>
|
23
23
|
<child>
|
24
24
|
<widget class="GtkButton" id="but_menu">
|
25
|
+
<property name="label" translatable="yes">Menu</property>
|
25
26
|
<property name="width_request">50</property>
|
26
27
|
<property name="visible">True</property>
|
27
28
|
<property name="can_focus">True</property>
|
28
|
-
<property name="
|
29
|
+
<property name="receives_default">False</property>
|
29
30
|
<property name="use_underline">True</property>
|
30
|
-
<property name="response_id">0</property>
|
31
31
|
<signal name="pressed" handler="on_main_menu_pressed"/>
|
32
32
|
</widget>
|
33
33
|
<packing>
|
34
34
|
<property name="expand">False</property>
|
35
35
|
<property name="fill">False</property>
|
36
|
+
<property name="position">0</property>
|
36
37
|
</packing>
|
37
38
|
</child>
|
38
39
|
<child>
|
39
40
|
<widget class="GtkButton" id="but_edit">
|
41
|
+
<property name="label" translatable="yes">Edit</property>
|
40
42
|
<property name="width_request">50</property>
|
41
43
|
<property name="visible">True</property>
|
42
44
|
<property name="can_focus">True</property>
|
43
|
-
<property name="
|
45
|
+
<property name="receives_default">False</property>
|
44
46
|
<property name="use_underline">True</property>
|
45
|
-
<property name="response_id">0</property>
|
46
47
|
<signal name="pressed" handler="on_edit_menu_pressed"/>
|
47
48
|
</widget>
|
48
49
|
<packing>
|
@@ -53,12 +54,12 @@
|
|
53
54
|
</child>
|
54
55
|
<child>
|
55
56
|
<widget class="GtkButton" id="but_delete">
|
57
|
+
<property name="label" translatable="yes">Delete</property>
|
56
58
|
<property name="width_request">55</property>
|
57
59
|
<property name="visible">True</property>
|
58
60
|
<property name="can_focus">True</property>
|
59
|
-
<property name="
|
61
|
+
<property name="receives_default">False</property>
|
60
62
|
<property name="use_underline">True</property>
|
61
|
-
<property name="response_id">0</property>
|
62
63
|
<signal name="clicked" handler="on_delete_clicked"/>
|
63
64
|
</widget>
|
64
65
|
<packing>
|
@@ -69,12 +70,12 @@
|
|
69
70
|
</child>
|
70
71
|
<child>
|
71
72
|
<widget class="GtkButton" id="but_new">
|
73
|
+
<property name="label" translatable="yes">New</property>
|
72
74
|
<property name="width_request">50</property>
|
73
75
|
<property name="visible">True</property>
|
74
76
|
<property name="can_focus">True</property>
|
75
|
-
<property name="
|
77
|
+
<property name="receives_default">False</property>
|
76
78
|
<property name="use_underline">True</property>
|
77
|
-
<property name="response_id">0</property>
|
78
79
|
<signal name="clicked" handler="on_new_clicked"/>
|
79
80
|
</widget>
|
80
81
|
<packing>
|
@@ -85,12 +86,12 @@
|
|
85
86
|
</child>
|
86
87
|
<child>
|
87
88
|
<widget class="GtkButton" id="but_next">
|
89
|
+
<property name="label" translatable="yes">Next</property>
|
88
90
|
<property name="width_request">50</property>
|
89
91
|
<property name="visible">True</property>
|
90
92
|
<property name="can_focus">True</property>
|
91
|
-
<property name="
|
93
|
+
<property name="receives_default">False</property>
|
92
94
|
<property name="use_underline">True</property>
|
93
|
-
<property name="response_id">0</property>
|
94
95
|
<signal name="clicked" handler="on_next_clicked"/>
|
95
96
|
</widget>
|
96
97
|
<packing>
|
@@ -101,12 +102,12 @@
|
|
101
102
|
</child>
|
102
103
|
<child>
|
103
104
|
<widget class="GtkButton" id="but_prev">
|
105
|
+
<property name="label" translatable="yes">Prev</property>
|
104
106
|
<property name="width_request">50</property>
|
105
107
|
<property name="visible">True</property>
|
106
108
|
<property name="can_focus">True</property>
|
107
|
-
<property name="
|
109
|
+
<property name="receives_default">False</property>
|
108
110
|
<property name="use_underline">True</property>
|
109
|
-
<property name="response_id">0</property>
|
110
111
|
<signal name="clicked" handler="on_prev_clicked"/>
|
111
112
|
</widget>
|
112
113
|
<packing>
|
@@ -136,7 +137,7 @@
|
|
136
137
|
<packing>
|
137
138
|
<property name="expand">False</property>
|
138
139
|
<property name="fill">False</property>
|
139
|
-
<property name="pack_type">
|
140
|
+
<property name="pack_type">end</property>
|
140
141
|
<property name="position">7</property>
|
141
142
|
</packing>
|
142
143
|
</child>
|
@@ -146,15 +147,16 @@
|
|
146
147
|
<packing>
|
147
148
|
<property name="expand">False</property>
|
148
149
|
<property name="fill">False</property>
|
150
|
+
<property name="position">0</property>
|
149
151
|
</packing>
|
150
152
|
</child>
|
151
153
|
<child>
|
152
154
|
<widget class="GtkScrolledWindow" id="clip_scrolledwindow">
|
153
155
|
<property name="visible">True</property>
|
154
156
|
<property name="can_focus">True</property>
|
155
|
-
<property name="hscrollbar_policy">
|
156
|
-
<property name="vscrollbar_policy">
|
157
|
-
<property name="shadow_type">
|
157
|
+
<property name="hscrollbar_policy">automatic</property>
|
158
|
+
<property name="vscrollbar_policy">automatic</property>
|
159
|
+
<property name="shadow_type">in</property>
|
158
160
|
<child>
|
159
161
|
<widget class="GtkTextView" id="clip">
|
160
162
|
<property name="visible">True</property>
|
@@ -170,7 +172,7 @@
|
|
170
172
|
</child>
|
171
173
|
</widget>
|
172
174
|
<widget class="GtkAboutDialog" id="about_dialog">
|
173
|
-
<property name="type_hint">
|
175
|
+
<property name="type_hint">normal</property>
|
174
176
|
<property name="program_name">see Gui#set_about_dialog (1)</property>
|
175
177
|
<property name="version">see Gui#set_about_dialog (2)</property>
|
176
178
|
<property name="copyright" translatable="yes">see Gui#set_about_dialog (3)</property>
|
@@ -182,11 +184,11 @@
|
|
182
184
|
<child internal-child="vbox">
|
183
185
|
<widget class="GtkVBox" id="dialog-vbox1">
|
184
186
|
<child internal-child="action_area">
|
185
|
-
<widget class="GtkHButtonBox" id="dialog-action_area1"
|
186
|
-
</widget>
|
187
|
+
<widget class="GtkHButtonBox" id="dialog-action_area1"/>
|
187
188
|
<packing>
|
188
189
|
<property name="expand">False</property>
|
189
|
-
<property name="pack_type">
|
190
|
+
<property name="pack_type">end</property>
|
191
|
+
<property name="position">0</property>
|
190
192
|
</packing>
|
191
193
|
</child>
|
192
194
|
</widget>
|
@@ -194,7 +196,8 @@
|
|
194
196
|
</widget>
|
195
197
|
<widget class="GtkDialog" id="pref_dialog">
|
196
198
|
<property name="title" translatable="yes">Preferences</property>
|
197
|
-
<property name="type_hint">
|
199
|
+
<property name="type_hint">dialog</property>
|
200
|
+
<property name="has_separator">False</property>
|
198
201
|
<signal name="delete_event" handler="on_dialog_delete"/>
|
199
202
|
<child internal-child="vbox">
|
200
203
|
<widget class="GtkVBox" id="dialog-vbox2">
|
@@ -220,27 +223,32 @@
|
|
220
223
|
<property name="spacing">10</property>
|
221
224
|
<child>
|
222
225
|
<widget class="GtkButton" id="but_fgcolor">
|
226
|
+
<property name="label" translatable="yes">FG Color</property>
|
223
227
|
<property name="width_request">70</property>
|
224
228
|
<property name="visible">True</property>
|
225
229
|
<property name="can_focus">True</property>
|
226
|
-
<property name="
|
230
|
+
<property name="receives_default">False</property>
|
231
|
+
<property name="has_tooltip">True</property>
|
232
|
+
<property name="tooltip" translatable="yes">Set foreground color</property>
|
227
233
|
<property name="use_underline">True</property>
|
228
|
-
<property name="response_id">0</property>
|
229
234
|
<signal name="clicked" handler="on_fgcolor"/>
|
230
235
|
</widget>
|
231
236
|
<packing>
|
232
237
|
<property name="expand">False</property>
|
233
238
|
<property name="fill">False</property>
|
239
|
+
<property name="position">0</property>
|
234
240
|
</packing>
|
235
241
|
</child>
|
236
242
|
<child>
|
237
243
|
<widget class="GtkButton" id="but_bgcolor">
|
244
|
+
<property name="label" translatable="yes">BG Color</property>
|
238
245
|
<property name="width_request">70</property>
|
239
246
|
<property name="visible">True</property>
|
240
247
|
<property name="can_focus">True</property>
|
241
|
-
<property name="
|
248
|
+
<property name="receives_default">False</property>
|
249
|
+
<property name="has_tooltip">True</property>
|
250
|
+
<property name="tooltip" translatable="yes">Set background color</property>
|
242
251
|
<property name="use_underline">True</property>
|
243
|
-
<property name="response_id">0</property>
|
244
252
|
<signal name="clicked" handler="on_bgcolor"/>
|
245
253
|
</widget>
|
246
254
|
<packing>
|
@@ -251,12 +259,14 @@
|
|
251
259
|
</child>
|
252
260
|
<child>
|
253
261
|
<widget class="GtkButton" id="but_font">
|
262
|
+
<property name="label" translatable="yes">Font</property>
|
254
263
|
<property name="width_request">70</property>
|
255
264
|
<property name="visible">True</property>
|
256
265
|
<property name="can_focus">True</property>
|
257
|
-
<property name="
|
266
|
+
<property name="receives_default">False</property>
|
267
|
+
<property name="has_tooltip">True</property>
|
268
|
+
<property name="tooltip" translatable="yes">Set font family, style, and size</property>
|
258
269
|
<property name="use_underline">True</property>
|
259
|
-
<property name="response_id">0</property>
|
260
270
|
<signal name="clicked" handler="on_font"/>
|
261
271
|
</widget>
|
262
272
|
<packing>
|
@@ -270,7 +280,7 @@
|
|
270
280
|
<property name="width_request">200</property>
|
271
281
|
<property name="visible">True</property>
|
272
282
|
<property name="can_focus">True</property>
|
273
|
-
<property name="invisible_char"
|
283
|
+
<property name="invisible_char">•</property>
|
274
284
|
<property name="text" translatable="yes">Sample Text</property>
|
275
285
|
</widget>
|
276
286
|
<packing>
|
@@ -302,6 +312,9 @@
|
|
302
312
|
</packing>
|
303
313
|
</child>
|
304
314
|
</widget>
|
315
|
+
<packing>
|
316
|
+
<property name="position">0</property>
|
317
|
+
</packing>
|
305
318
|
</child>
|
306
319
|
<child>
|
307
320
|
<widget class="GtkFrame" id="frame_autosave">
|
@@ -323,16 +336,19 @@
|
|
323
336
|
<property name="spacing">10</property>
|
324
337
|
<child>
|
325
338
|
<widget class="GtkCheckButton" id="pref_autosave_enable">
|
339
|
+
<property name="label" translatable="yes">Save All Clips Every</property>
|
326
340
|
<property name="visible">True</property>
|
327
341
|
<property name="can_focus">True</property>
|
328
|
-
<property name="
|
342
|
+
<property name="receives_default">False</property>
|
343
|
+
<property name="has_tooltip">True</property>
|
344
|
+
<property name="tooltip" translatable="yes">If checked, all clips are automatically saved</property>
|
329
345
|
<property name="use_underline">True</property>
|
330
|
-
<property name="response_id">0</property>
|
331
346
|
<property name="draw_indicator">True</property>
|
332
347
|
</widget>
|
333
348
|
<packing>
|
334
349
|
<property name="expand">False</property>
|
335
350
|
<property name="fill">False</property>
|
351
|
+
<property name="position">0</property>
|
336
352
|
</packing>
|
337
353
|
</child>
|
338
354
|
<child>
|
@@ -340,7 +356,7 @@
|
|
340
356
|
<property name="width_request">40</property>
|
341
357
|
<property name="visible">True</property>
|
342
358
|
<property name="can_focus">True</property>
|
343
|
-
<property name="invisible_char"
|
359
|
+
<property name="invisible_char">•</property>
|
344
360
|
</widget>
|
345
361
|
<packing>
|
346
362
|
<property name="expand">False</property>
|
@@ -359,6 +375,9 @@
|
|
359
375
|
</packing>
|
360
376
|
</child>
|
361
377
|
</widget>
|
378
|
+
<packing>
|
379
|
+
<property name="position">0</property>
|
380
|
+
</packing>
|
362
381
|
</child>
|
363
382
|
<child>
|
364
383
|
<widget class="GtkHBox" id="hbox4">
|
@@ -366,16 +385,27 @@
|
|
366
385
|
<property name="spacing">10</property>
|
367
386
|
<child>
|
368
387
|
<widget class="GtkCheckButton" id="pref_deletesave_enable">
|
388
|
+
<property name="label" translatable="yes">Save Deleted Clips To File</property>
|
369
389
|
<property name="visible">True</property>
|
370
390
|
<property name="can_focus">True</property>
|
371
|
-
<property name="
|
391
|
+
<property name="receives_default">False</property>
|
392
|
+
<property name="has_tooltip">True</property>
|
393
|
+
<property name="tooltip" translatable="yes">If checked, deleted clips are saved to a special file.
|
394
|
+
|
395
|
+
The following special characters are possible in filename:
|
396
|
+
$f : current filename
|
397
|
+
$d : directory of 'filename'
|
398
|
+
$p : Process ID
|
399
|
+
All special chars from strftime(3) like:
|
400
|
+
%Y: year, %m: month, %d: day, %H: hour, %M: minute, ...
|
401
|
+
%% and $$ : literal '%' and '$'</property>
|
372
402
|
<property name="use_underline">True</property>
|
373
|
-
<property name="response_id">0</property>
|
374
403
|
<property name="draw_indicator">True</property>
|
375
404
|
</widget>
|
376
405
|
<packing>
|
377
406
|
<property name="expand">False</property>
|
378
407
|
<property name="fill">False</property>
|
408
|
+
<property name="position">0</property>
|
379
409
|
</packing>
|
380
410
|
</child>
|
381
411
|
<child>
|
@@ -439,25 +469,29 @@
|
|
439
469
|
<property name="spacing">10</property>
|
440
470
|
<child>
|
441
471
|
<widget class="GtkCheckButton" id="pref_confirm_delete">
|
472
|
+
<property name="label" translatable="yes">Delete Clip</property>
|
442
473
|
<property name="visible">True</property>
|
443
474
|
<property name="can_focus">True</property>
|
444
|
-
<property name="
|
475
|
+
<property name="receives_default">False</property>
|
476
|
+
<property name="has_tooltip">True</property>
|
477
|
+
<property name="tooltip" translatable="yes">Ask for confirmation on click on 'Delete'</property>
|
445
478
|
<property name="use_underline">True</property>
|
446
|
-
<property name="response_id">0</property>
|
447
479
|
<property name="draw_indicator">True</property>
|
448
480
|
</widget>
|
449
481
|
<packing>
|
450
482
|
<property name="expand">False</property>
|
451
483
|
<property name="fill">False</property>
|
484
|
+
<property name="position">0</property>
|
452
485
|
</packing>
|
453
486
|
</child>
|
454
487
|
<child>
|
455
488
|
<widget class="GtkCheckButton" id="pref_confirm_quit">
|
489
|
+
<property name="label" translatable="yes">Quit</property>
|
456
490
|
<property name="visible">True</property>
|
457
491
|
<property name="can_focus">True</property>
|
458
|
-
<property name="
|
492
|
+
<property name="receives_default">False</property>
|
493
|
+
<property name="tooltip" translatable="yes">Ask for confirmation on click on 'Quit' or closing the window.</property>
|
459
494
|
<property name="use_underline">True</property>
|
460
|
-
<property name="response_id">0</property>
|
461
495
|
<property name="draw_indicator">True</property>
|
462
496
|
</widget>
|
463
497
|
<packing>
|
@@ -493,34 +527,44 @@
|
|
493
527
|
<child internal-child="action_area">
|
494
528
|
<widget class="GtkHButtonBox" id="dialog-action_area2">
|
495
529
|
<property name="visible">True</property>
|
496
|
-
<property name="layout_style">
|
530
|
+
<property name="layout_style">end</property>
|
497
531
|
<child>
|
498
532
|
<widget class="GtkButton" id="cancelbutton1">
|
533
|
+
<property name="label">gtk-cancel</property>
|
534
|
+
<property name="response_id">-6</property>
|
499
535
|
<property name="visible">True</property>
|
500
536
|
<property name="can_focus">True</property>
|
501
537
|
<property name="can_default">True</property>
|
502
|
-
<property name="
|
538
|
+
<property name="receives_default">False</property>
|
503
539
|
<property name="use_stock">True</property>
|
504
|
-
<property name="response_id">-6</property>
|
505
540
|
</widget>
|
541
|
+
<packing>
|
542
|
+
<property name="expand">False</property>
|
543
|
+
<property name="fill">False</property>
|
544
|
+
<property name="position">0</property>
|
545
|
+
</packing>
|
506
546
|
</child>
|
507
547
|
<child>
|
508
548
|
<widget class="GtkButton" id="okbutton1">
|
549
|
+
<property name="label">gtk-ok</property>
|
550
|
+
<property name="response_id">-5</property>
|
509
551
|
<property name="visible">True</property>
|
510
552
|
<property name="can_focus">True</property>
|
511
553
|
<property name="can_default">True</property>
|
512
|
-
<property name="
|
554
|
+
<property name="receives_default">False</property>
|
513
555
|
<property name="use_stock">True</property>
|
514
|
-
<property name="response_id">-5</property>
|
515
556
|
</widget>
|
516
557
|
<packing>
|
558
|
+
<property name="expand">False</property>
|
559
|
+
<property name="fill">False</property>
|
517
560
|
<property name="position">1</property>
|
518
561
|
</packing>
|
519
562
|
</child>
|
520
563
|
</widget>
|
521
564
|
<packing>
|
522
565
|
<property name="expand">False</property>
|
523
|
-
<property name="pack_type">
|
566
|
+
<property name="pack_type">end</property>
|
567
|
+
<property name="position">0</property>
|
524
568
|
</packing>
|
525
569
|
</child>
|
526
570
|
</widget>
|
@@ -528,8 +572,8 @@
|
|
528
572
|
</widget>
|
529
573
|
<widget class="GtkFileChooserDialog" id="choose_deleted">
|
530
574
|
<property name="resizable">False</property>
|
531
|
-
<property name="type_hint">
|
532
|
-
<property name="action">
|
575
|
+
<property name="type_hint">dialog</property>
|
576
|
+
<property name="action">save</property>
|
533
577
|
<child internal-child="vbox">
|
534
578
|
<widget class="GtkVBox" id="dialog-vbox3">
|
535
579
|
<property name="visible">True</property>
|
@@ -537,35 +581,45 @@
|
|
537
581
|
<child internal-child="action_area">
|
538
582
|
<widget class="GtkHButtonBox" id="dialog-action_area3">
|
539
583
|
<property name="visible">True</property>
|
540
|
-
<property name="layout_style">
|
584
|
+
<property name="layout_style">end</property>
|
541
585
|
<child>
|
542
586
|
<widget class="GtkButton" id="button2">
|
587
|
+
<property name="label">gtk-cancel</property>
|
588
|
+
<property name="response_id">-6</property>
|
543
589
|
<property name="visible">True</property>
|
544
590
|
<property name="can_focus">True</property>
|
545
591
|
<property name="can_default">True</property>
|
546
|
-
<property name="
|
592
|
+
<property name="receives_default">False</property>
|
547
593
|
<property name="use_stock">True</property>
|
548
|
-
<property name="response_id">-6</property>
|
549
594
|
</widget>
|
595
|
+
<packing>
|
596
|
+
<property name="expand">False</property>
|
597
|
+
<property name="fill">False</property>
|
598
|
+
<property name="position">0</property>
|
599
|
+
</packing>
|
550
600
|
</child>
|
551
601
|
<child>
|
552
602
|
<widget class="GtkButton" id="button3">
|
603
|
+
<property name="label">gtk-open</property>
|
604
|
+
<property name="response_id">-5</property>
|
553
605
|
<property name="visible">True</property>
|
554
606
|
<property name="can_focus">True</property>
|
555
607
|
<property name="can_default">True</property>
|
556
608
|
<property name="has_default">True</property>
|
557
|
-
<property name="
|
609
|
+
<property name="receives_default">False</property>
|
558
610
|
<property name="use_stock">True</property>
|
559
|
-
<property name="response_id">-5</property>
|
560
611
|
</widget>
|
561
612
|
<packing>
|
613
|
+
<property name="expand">False</property>
|
614
|
+
<property name="fill">False</property>
|
562
615
|
<property name="position">1</property>
|
563
616
|
</packing>
|
564
617
|
</child>
|
565
618
|
</widget>
|
566
619
|
<packing>
|
567
620
|
<property name="expand">False</property>
|
568
|
-
<property name="pack_type">
|
621
|
+
<property name="pack_type">end</property>
|
622
|
+
<property name="position">0</property>
|
569
623
|
</packing>
|
570
624
|
</child>
|
571
625
|
</widget>
|
@@ -574,8 +628,8 @@
|
|
574
628
|
<widget class="GtkMenu" id="main_menu">
|
575
629
|
<child>
|
576
630
|
<widget class="GtkImageMenuItem" id="menu_new">
|
577
|
-
<property name="visible">True</property>
|
578
631
|
<property name="label">gtk-new</property>
|
632
|
+
<property name="visible">True</property>
|
579
633
|
<property name="use_underline">True</property>
|
580
634
|
<property name="use_stock">True</property>
|
581
635
|
<signal name="activate" handler="on_menu_new_activate"/>
|
@@ -583,8 +637,8 @@
|
|
583
637
|
</child>
|
584
638
|
<child>
|
585
639
|
<widget class="GtkImageMenuItem" id="menu_open">
|
586
|
-
<property name="visible">True</property>
|
587
640
|
<property name="label">gtk-open</property>
|
641
|
+
<property name="visible">True</property>
|
588
642
|
<property name="use_underline">True</property>
|
589
643
|
<property name="use_stock">True</property>
|
590
644
|
<signal name="activate" handler="on_menu_open_activate"/>
|
@@ -592,8 +646,8 @@
|
|
592
646
|
</child>
|
593
647
|
<child>
|
594
648
|
<widget class="GtkImageMenuItem" id="menu_save">
|
649
|
+
<property name="label">gtk-save</property>
|
595
650
|
<property name="visible">True</property>
|
596
|
-
<property name="label" translatable="yes">gtk-save</property>
|
597
651
|
<property name="use_underline">True</property>
|
598
652
|
<property name="use_stock">True</property>
|
599
653
|
<signal name="activate" handler="on_menu_save_activate"/>
|
@@ -601,8 +655,8 @@
|
|
601
655
|
</child>
|
602
656
|
<child>
|
603
657
|
<widget class="GtkImageMenuItem" id="menu_close">
|
604
|
-
<property name="visible">True</property>
|
605
658
|
<property name="label">gtk-close</property>
|
659
|
+
<property name="visible">True</property>
|
606
660
|
<property name="use_underline">True</property>
|
607
661
|
<property name="use_stock">True</property>
|
608
662
|
<signal name="activate" handler="on_menu_close_activate"/>
|
@@ -686,8 +740,8 @@
|
|
686
740
|
</child>
|
687
741
|
<child>
|
688
742
|
<widget class="GtkImageMenuItem" id="menu_preferences">
|
689
|
-
<property name="visible">True</property>
|
690
743
|
<property name="label">gtk-preferences</property>
|
744
|
+
<property name="visible">True</property>
|
691
745
|
<property name="use_underline">True</property>
|
692
746
|
<property name="use_stock">True</property>
|
693
747
|
<signal name="activate" handler="on_menu_preferences_activate"/>
|
@@ -700,8 +754,8 @@
|
|
700
754
|
</child>
|
701
755
|
<child>
|
702
756
|
<widget class="GtkImageMenuItem" id="menu_about">
|
703
|
-
<property name="visible">True</property>
|
704
757
|
<property name="label">gtk-about</property>
|
758
|
+
<property name="visible">True</property>
|
705
759
|
<property name="use_underline">True</property>
|
706
760
|
<property name="use_stock">True</property>
|
707
761
|
<signal name="activate" handler="on_menu_about_activate"/>
|
@@ -709,8 +763,8 @@
|
|
709
763
|
</child>
|
710
764
|
<child>
|
711
765
|
<widget class="GtkImageMenuItem" id="menu_quit">
|
712
|
-
<property name="visible">True</property>
|
713
766
|
<property name="label">gtk-quit</property>
|
767
|
+
<property name="visible">True</property>
|
714
768
|
<property name="use_underline">True</property>
|
715
769
|
<property name="use_stock">True</property>
|
716
770
|
<signal name="activate" handler="on_menu_quit_activate"/>
|
@@ -721,7 +775,7 @@
|
|
721
775
|
<child>
|
722
776
|
<widget class="GtkCheckMenuItem" id="edit_text_wrap">
|
723
777
|
<property name="visible">True</property>
|
724
|
-
<property name="label" translatable="yes">_Wrap</property>
|
778
|
+
<property name="label" translatable="yes">Toggle _Wrap</property>
|
725
779
|
<property name="use_underline">True</property>
|
726
780
|
<signal name="activate" handler="on_edit_text_wrap_activate"/>
|
727
781
|
</widget>
|