2655
3128
<property name="enable_popup">False</property>
2658
<widget class="GtkFrame" id="frame10">
3131
<widget class="GtkVBox" id="vbox20">
2659
3132
<property name="visible">True</property>
2660
<property name="label_xalign">0</property>
2661
<property name="label_yalign">0.5</property>
2662
<property name="shadow_type">GTK_SHADOW_NONE</property>
2665
<widget class="GtkAlignment" id="alignment13">
2666
<property name="visible">True</property>
2667
<property name="xalign">0.5</property>
2668
<property name="yalign">0.5</property>
2669
<property name="xscale">1</property>
2670
<property name="yscale">1</property>
2671
<property name="top_padding">0</property>
2672
<property name="bottom_padding">0</property>
2673
<property name="left_padding">12</property>
2674
<property name="right_padding">0</property>
2677
<widget class="GtkVBox" id="vbox4">
2678
<property name="visible">True</property>
2679
<property name="homogeneous">False</property>
2680
<property name="spacing">2</property>
2683
<widget class="GtkCheckButton" id="check_load_session">
2684
<property name="visible">True</property>
2685
<property name="tooltip" translatable="yes">Opens at startup the files from the last session</property>
2686
<property name="label" translatable="yes">Load files from the last session</property>
2687
<property name="use_underline">True</property>
2688
<property name="relief">GTK_RELIEF_NORMAL</property>
2689
<property name="focus_on_click">False</property>
2690
<property name="active">False</property>
2691
<property name="inconsistent">False</property>
2692
<property name="draw_indicator">True</property>
2695
<property name="padding">0</property>
2696
<property name="expand">False</property>
2697
<property name="fill">False</property>
2702
<widget class="GtkCheckButton" id="check_save_win_pos">
2703
<property name="visible">True</property>
2704
<property name="tooltip" translatable="yes">Saves the window position and geometry and restores it at the start</property>
2705
<property name="label" translatable="yes">Save window position and geometry</property>
2706
<property name="use_underline">True</property>
2707
<property name="relief">GTK_RELIEF_NORMAL</property>
2708
<property name="focus_on_click">False</property>
2709
<property name="active">False</property>
2710
<property name="inconsistent">False</property>
2711
<property name="draw_indicator">True</property>
2714
<property name="padding">0</property>
2715
<property name="expand">False</property>
2716
<property name="fill">False</property>
2721
<widget class="GtkCheckButton" id="check_beep">
2722
<property name="visible">True</property>
2723
<property name="tooltip" translatable="yes">Whether to beep if an error occured or when the compilation process has finished.</property>
2724
<property name="can_focus">True</property>
2725
<property name="label" translatable="yes">Beep on errors or when compilation has finished</property>
2726
<property name="use_underline">True</property>
2727
<property name="relief">GTK_RELIEF_NORMAL</property>
2728
<property name="focus_on_click">False</property>
2729
<property name="active">False</property>
2730
<property name="inconsistent">False</property>
2731
<property name="draw_indicator">True</property>
2734
<property name="padding">0</property>
2735
<property name="expand">False</property>
2736
<property name="fill">False</property>
2741
<widget class="GtkCheckButton" id="check_switch_pages">
2742
<property name="visible">True</property>
2743
<property name="tooltip" translatable="yes">Switch to the status message tab (in the notebook window at the bottom) if a new status message arrives.</property>
2744
<property name="can_focus">True</property>
2745
<property name="label" translatable="yes">Switch to status message list at new message</property>
2746
<property name="use_underline">True</property>
2747
<property name="relief">GTK_RELIEF_NORMAL</property>
2748
<property name="focus_on_click">False</property>
2749
<property name="active">False</property>
2750
<property name="inconsistent">False</property>
2751
<property name="draw_indicator">True</property>
2754
<property name="padding">0</property>
2755
<property name="expand">False</property>
2756
<property name="fill">False</property>
2761
<widget class="GtkCheckButton" id="check_vte">
2762
<property name="tooltip" translatable="yes">Whether the virtual terminal emulation(VTE) should be loaded at startup. Disable it if you do not need it.</property>
2763
<property name="can_focus">True</property>
2764
<property name="label" translatable="yes">Load virtual terminal emulation at startup</property>
2765
<property name="use_underline">True</property>
2766
<property name="relief">GTK_RELIEF_NORMAL</property>
2767
<property name="focus_on_click">False</property>
2768
<property name="active">False</property>
2769
<property name="inconsistent">False</property>
2770
<property name="draw_indicator">True</property>
2773
<property name="padding">0</property>
2774
<property name="expand">False</property>
2775
<property name="fill">False</property>
2780
<widget class="GtkCheckButton" id="check_ask_for_quit">
2781
<property name="visible">True</property>
2782
<property name="tooltip" translatable="yes">Shows a confirmation dialog on exit.</property>
2783
<property name="label" translatable="yes">Confirm exit</property>
2784
<property name="use_underline">True</property>
2785
<property name="relief">GTK_RELIEF_NORMAL</property>
2786
<property name="focus_on_click">False</property>
2787
<property name="active">False</property>
2788
<property name="inconsistent">False</property>
2789
<property name="draw_indicator">True</property>
2792
<property name="padding">0</property>
2793
<property name="expand">False</property>
2794
<property name="fill">False</property>
2799
<widget class="GtkLabel" id="label163">
2800
<property name="visible">True</property>
2801
<property name="label"> </property>
2802
<property name="use_underline">False</property>
2803
<property name="use_markup">False</property>
2804
<property name="justify">GTK_JUSTIFY_LEFT</property>
2805
<property name="wrap">False</property>
2806
<property name="selectable">False</property>
2807
<property name="xalign">0.5</property>
2808
<property name="yalign">0.5</property>
2809
<property name="xpad">0</property>
2810
<property name="ypad">0</property>
2811
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2812
<property name="width_chars">-1</property>
2813
<property name="single_line_mode">False</property>
2814
<property name="angle">0</property>
2817
<property name="padding">0</property>
2818
<property name="expand">False</property>
2819
<property name="fill">False</property>
2824
<widget class="GtkHBox" id="hbox2">
2825
<property name="visible">True</property>
2826
<property name="homogeneous">False</property>
2827
<property name="spacing">20</property>
2830
<widget class="GtkLabel" id="label147">
2831
<property name="visible">True</property>
2832
<property name="label" translatable="yes">Recent files list length:</property>
2833
<property name="use_underline">False</property>
2834
<property name="use_markup">False</property>
2835
<property name="justify">GTK_JUSTIFY_LEFT</property>
2836
<property name="wrap">False</property>
2837
<property name="selectable">False</property>
2838
<property name="xalign">0.5</property>
2839
<property name="yalign">0.5</property>
2840
<property name="xpad">0</property>
2841
<property name="ypad">0</property>
2842
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2843
<property name="width_chars">-1</property>
2844
<property name="single_line_mode">False</property>
2845
<property name="angle">0</property>
2848
<property name="padding">0</property>
2849
<property name="expand">False</property>
2850
<property name="fill">False</property>
2855
<widget class="GtkSpinButton" id="spin_mru">
2856
<property name="visible">True</property>
2857
<property name="tooltip" translatable="yes">Specifies the number of files which are stored in the Recent files list.</property>
2858
<property name="can_focus">True</property>
2859
<property name="climb_rate">1</property>
2860
<property name="digits">0</property>
2861
<property name="numeric">True</property>
2862
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
2863
<property name="snap_to_ticks">False</property>
2864
<property name="wrap">True</property>
2865
<property name="adjustment">4 1 50 1 10 10</property>
2868
<property name="padding">0</property>
2869
<property name="expand">False</property>
2870
<property name="fill">True</property>
2875
<property name="padding">0</property>
2876
<property name="expand">False</property>
2877
<property name="fill">True</property>
2882
<widget class="GtkHBox" id="hbox3">
2883
<property name="visible">True</property>
2884
<property name="homogeneous">False</property>
2885
<property name="spacing">1</property>
2888
<widget class="GtkLabel" id="label150">
2889
<property name="visible">True</property>
2890
<property name="label" translatable="yes">Placement of new file tabs: </property>
2891
<property name="use_underline">False</property>
2892
<property name="use_markup">False</property>
2893
<property name="justify">GTK_JUSTIFY_LEFT</property>
2894
<property name="wrap">False</property>
2895
<property name="selectable">False</property>
2896
<property name="xalign">0.5</property>
2897
<property name="yalign">0.5</property>
2898
<property name="xpad">0</property>
2899
<property name="ypad">0</property>
2900
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2901
<property name="width_chars">-1</property>
2902
<property name="single_line_mode">False</property>
2903
<property name="angle">0</property>
2906
<property name="padding">0</property>
2907
<property name="expand">False</property>
2908
<property name="fill">False</property>
2913
<widget class="GtkRadioButton" id="radio_tab_left">
2914
<property name="visible">True</property>
2915
<property name="tooltip" translatable="yes">New file tabs will be placed to the left of the tab list</property>
2916
<property name="can_focus">True</property>
2917
<property name="label" translatable="yes">Left</property>
2918
<property name="use_underline">True</property>
2919
<property name="relief">GTK_RELIEF_NORMAL</property>
2920
<property name="focus_on_click">True</property>
2921
<property name="active">True</property>
2922
<property name="inconsistent">False</property>
2923
<property name="draw_indicator">True</property>
2926
<property name="padding">0</property>
2927
<property name="expand">False</property>
2928
<property name="fill">False</property>
2933
<widget class="GtkLabel" id="label149">
2934
<property name="visible">True</property>
2935
<property name="label"> </property>
2936
<property name="use_underline">False</property>
2937
<property name="use_markup">False</property>
2938
<property name="justify">GTK_JUSTIFY_LEFT</property>
2939
<property name="wrap">False</property>
2940
<property name="selectable">False</property>
2941
<property name="xalign">0.5</property>
2942
<property name="yalign">0.5</property>
2943
<property name="xpad">0</property>
2944
<property name="ypad">0</property>
2945
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2946
<property name="width_chars">-1</property>
2947
<property name="single_line_mode">False</property>
2948
<property name="angle">0</property>
2951
<property name="padding">0</property>
2952
<property name="expand">False</property>
2953
<property name="fill">False</property>
2958
<widget class="GtkRadioButton" id="radio_tab_right">
2959
<property name="visible">True</property>
2960
<property name="tooltip" translatable="yes">New file tabs will be placed to the right of the tab list</property>
2961
<property name="can_focus">True</property>
2962
<property name="label" translatable="yes">Right</property>
2963
<property name="use_underline">True</property>
2964
<property name="relief">GTK_RELIEF_NORMAL</property>
2965
<property name="focus_on_click">True</property>
2966
<property name="active">False</property>
2967
<property name="inconsistent">False</property>
2968
<property name="draw_indicator">True</property>
2969
<property name="group">radio_tab_left</property>
2972
<property name="padding">0</property>
2973
<property name="expand">False</property>
2974
<property name="fill">False</property>
2979
<property name="padding">0</property>
2980
<property name="expand">False</property>
2981
<property name="fill">True</property>
2990
<widget class="GtkLabel" id="label162">
2991
<property name="visible">True</property>
2992
<property name="label" translatable="yes"></property>
2993
<property name="use_underline">False</property>
2994
<property name="use_markup">True</property>
2995
<property name="justify">GTK_JUSTIFY_LEFT</property>
2996
<property name="wrap">False</property>
2997
<property name="selectable">False</property>
2998
<property name="xalign">0.5</property>
2999
<property name="yalign">0.5</property>
3000
<property name="xpad">0</property>
3001
<property name="ypad">0</property>
3002
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3003
<property name="width_chars">-1</property>
3004
<property name="single_line_mode">False</property>
3005
<property name="angle">0</property>
3008
<property name="type">label_item</property>
3133
<property name="homogeneous">False</property>
3134
<property name="spacing">10</property>
3137
<widget class="GtkFrame" id="frame10">
3138
<property name="visible">True</property>
3139
<property name="label_xalign">0</property>
3140
<property name="label_yalign">0.5</property>
3141
<property name="shadow_type">GTK_SHADOW_NONE</property>
3144
<widget class="GtkAlignment" id="alignment13">
3145
<property name="visible">True</property>
3146
<property name="xalign">0.5</property>
3147
<property name="yalign">0.5</property>
3148
<property name="xscale">1</property>
3149
<property name="yscale">1</property>
3150
<property name="top_padding">0</property>
3151
<property name="bottom_padding">0</property>
3152
<property name="left_padding">12</property>
3153
<property name="right_padding">0</property>
3156
<widget class="GtkVBox" id="vbox4">
3157
<property name="visible">True</property>
3158
<property name="homogeneous">False</property>
3159
<property name="spacing">2</property>
3162
<widget class="GtkCheckButton" id="check_load_session">
3163
<property name="visible">True</property>
3164
<property name="tooltip" translatable="yes">Opens at startup the files from the last session</property>
3165
<property name="label" translatable="yes">Load files from the last session</property>
3166
<property name="use_underline">True</property>
3167
<property name="relief">GTK_RELIEF_NORMAL</property>
3168
<property name="focus_on_click">False</property>
3169
<property name="active">False</property>
3170
<property name="inconsistent">False</property>
3171
<property name="draw_indicator">True</property>
3174
<property name="padding">0</property>
3175
<property name="expand">False</property>
3176
<property name="fill">False</property>
3181
<widget class="GtkCheckButton" id="check_vte">
3182
<property name="tooltip" translatable="yes">Whether the virtual terminal emulation (VTE) should be loaded at startup. Disable it if you do not need it.</property>
3183
<property name="can_focus">True</property>
3184
<property name="label" translatable="yes">Load virtual terminal support</property>
3185
<property name="use_underline">True</property>
3186
<property name="relief">GTK_RELIEF_NORMAL</property>
3187
<property name="focus_on_click">False</property>
3188
<property name="active">False</property>
3189
<property name="inconsistent">False</property>
3190
<property name="draw_indicator">True</property>
3193
<property name="padding">0</property>
3194
<property name="expand">False</property>
3195
<property name="fill">False</property>
3200
<widget class="GtkCheckButton" id="check_plugins">
3201
<property name="visible">True</property>
3202
<property name="can_focus">True</property>
3203
<property name="label" translatable="yes">Enable plugin support</property>
3204
<property name="use_underline">True</property>
3205
<property name="relief">GTK_RELIEF_NORMAL</property>
3206
<property name="focus_on_click">True</property>
3207
<property name="active">False</property>
3208
<property name="inconsistent">False</property>
3209
<property name="draw_indicator">True</property>
3212
<property name="padding">0</property>
3213
<property name="expand">False</property>
3214
<property name="fill">False</property>
3223
<widget class="GtkLabel" id="label162">
3224
<property name="visible">True</property>
3225
<property name="label" translatable="yes"><b>Startup</b></property>
3226
<property name="use_underline">False</property>
3227
<property name="use_markup">True</property>
3228
<property name="justify">GTK_JUSTIFY_LEFT</property>
3229
<property name="wrap">False</property>
3230
<property name="selectable">False</property>
3231
<property name="xalign">0.5</property>
3232
<property name="yalign">0.5</property>
3233
<property name="xpad">0</property>
3234
<property name="ypad">0</property>
3235
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3236
<property name="width_chars">-1</property>
3237
<property name="single_line_mode">False</property>
3238
<property name="angle">0</property>
3241
<property name="type">label_item</property>
3246
<property name="padding">0</property>
3247
<property name="expand">False</property>
3248
<property name="fill">True</property>
3253
<widget class="GtkFrame" id="frame34">
3254
<property name="visible">True</property>
3255
<property name="label_xalign">0</property>
3256
<property name="label_yalign">0.5</property>
3257
<property name="shadow_type">GTK_SHADOW_NONE</property>
3260
<widget class="GtkAlignment" id="alignment37">
3261
<property name="visible">True</property>
3262
<property name="xalign">0.5</property>
3263
<property name="yalign">0.5</property>
3264
<property name="xscale">1</property>
3265
<property name="yscale">1</property>
3266
<property name="top_padding">0</property>
3267
<property name="bottom_padding">0</property>
3268
<property name="left_padding">12</property>
3269
<property name="right_padding">0</property>
3272
<widget class="GtkVBox" id="vbox34">
3273
<property name="visible">True</property>
3274
<property name="homogeneous">False</property>
3275
<property name="spacing">0</property>
3278
<widget class="GtkCheckButton" id="check_save_win_pos">
3279
<property name="visible">True</property>
3280
<property name="tooltip" translatable="yes">Saves the window position and geometry and restores it at the start</property>
3281
<property name="label" translatable="yes">Save window position and geometry</property>
3282
<property name="use_underline">True</property>
3283
<property name="relief">GTK_RELIEF_NORMAL</property>
3284
<property name="focus_on_click">False</property>
3285
<property name="active">False</property>
3286
<property name="inconsistent">False</property>
3287
<property name="draw_indicator">True</property>
3290
<property name="padding">0</property>
3291
<property name="expand">False</property>
3292
<property name="fill">False</property>
3297
<widget class="GtkCheckButton" id="check_ask_for_quit">
3298
<property name="visible">True</property>
3299
<property name="tooltip" translatable="yes">Shows a confirmation dialog on exit.</property>
3300
<property name="label" translatable="yes">Confirm exit</property>
3301
<property name="use_underline">True</property>
3302
<property name="relief">GTK_RELIEF_NORMAL</property>
3303
<property name="focus_on_click">False</property>
3304
<property name="active">False</property>
3305
<property name="inconsistent">False</property>
3306
<property name="draw_indicator">True</property>
3309
<property name="padding">0</property>
3310
<property name="expand">False</property>
3311
<property name="fill">False</property>
3320
<widget class="GtkLabel" id="label206">
3321
<property name="visible">True</property>
3322
<property name="label" translatable="yes"><b>Shutdown</b></property>
3323
<property name="use_underline">False</property>
3324
<property name="use_markup">True</property>
3325
<property name="justify">GTK_JUSTIFY_LEFT</property>
3326
<property name="wrap">False</property>
3327
<property name="selectable">False</property>
3328
<property name="xalign">0.5</property>
3329
<property name="yalign">0.5</property>
3330
<property name="xpad">0</property>
3331
<property name="ypad">0</property>
3332
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3333
<property name="width_chars">-1</property>
3334
<property name="single_line_mode">False</property>
3335
<property name="angle">0</property>
3338
<property name="type">label_item</property>
3343
<property name="padding">0</property>
3344
<property name="expand">False</property>
3345
<property name="fill">True</property>
3350
<widget class="GtkFrame" id="frame35">
3351
<property name="visible">True</property>
3352
<property name="label_xalign">0</property>
3353
<property name="label_yalign">0.5</property>
3354
<property name="shadow_type">GTK_SHADOW_NONE</property>
3357
<widget class="GtkAlignment" id="alignment38">
3358
<property name="visible">True</property>
3359
<property name="xalign">0.5</property>
3360
<property name="yalign">0.5</property>
3361
<property name="xscale">1</property>
3362
<property name="yscale">1</property>
3363
<property name="top_padding">0</property>
3364
<property name="bottom_padding">0</property>
3365
<property name="left_padding">12</property>
3366
<property name="right_padding">0</property>
3369
<widget class="GtkVBox" id="vbox35">
3370
<property name="visible">True</property>
3371
<property name="homogeneous">False</property>
3372
<property name="spacing">0</property>
3375
<widget class="GtkCheckButton" id="check_project_session">
3376
<property name="visible">True</property>
3377
<property name="tooltip" translatable="yes">Whether to store a project's session files and open them when re-opening the project.</property>
3378
<property name="label" translatable="yes">Use project-based session files</property>
3379
<property name="use_underline">True</property>
3380
<property name="relief">GTK_RELIEF_NORMAL</property>
3381
<property name="focus_on_click">False</property>
3382
<property name="active">False</property>
3383
<property name="inconsistent">False</property>
3384
<property name="draw_indicator">True</property>
3387
<property name="padding">0</property>
3388
<property name="expand">False</property>
3389
<property name="fill">False</property>
3398
<widget class="GtkLabel" id="label207">
3399
<property name="visible">True</property>
3400
<property name="label" translatable="yes"><b>Projects</b></property>
3401
<property name="use_underline">False</property>
3402
<property name="use_markup">True</property>
3403
<property name="justify">GTK_JUSTIFY_LEFT</property>
3404
<property name="wrap">False</property>
3405
<property name="selectable">False</property>
3406
<property name="xalign">0.5</property>
3407
<property name="yalign">0.5</property>
3408
<property name="xpad">0</property>
3409
<property name="ypad">0</property>
3410
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3411
<property name="width_chars">-1</property>
3412
<property name="single_line_mode">False</property>
3413
<property name="angle">0</property>
3416
<property name="type">label_item</property>
3421
<property name="padding">0</property>
3422
<property name="expand">False</property>
3423
<property name="fill">True</property>
3428
<widget class="GtkFrame" id="frame19">
3429
<property name="visible">True</property>
3430
<property name="label_xalign">0</property>
3431
<property name="label_yalign">0.5</property>
3432
<property name="shadow_type">GTK_SHADOW_NONE</property>
3435
<widget class="GtkAlignment" id="alignment22">
3436
<property name="visible">True</property>
3437
<property name="xalign">0.5</property>
3438
<property name="yalign">0.5</property>
3439
<property name="xscale">1</property>
3440
<property name="yscale">1</property>
3441
<property name="top_padding">0</property>
3442
<property name="bottom_padding">0</property>
3443
<property name="left_padding">12</property>
3444
<property name="right_padding">0</property>
3447
<widget class="GtkVBox" id="vbox21">
3448
<property name="visible">True</property>
3449
<property name="homogeneous">False</property>
3450
<property name="spacing">0</property>
3453
<widget class="GtkCheckButton" id="check_beep">
3454
<property name="visible">True</property>
3455
<property name="tooltip" translatable="yes">Whether to beep if an error occurred or when the compilation process has finished.</property>
3456
<property name="can_focus">True</property>
3457
<property name="label" translatable="yes">Beep on errors or when compilation has finished</property>
3458
<property name="use_underline">True</property>
3459
<property name="relief">GTK_RELIEF_NORMAL</property>
3460
<property name="focus_on_click">False</property>
3461
<property name="active">False</property>
3462
<property name="inconsistent">False</property>
3463
<property name="draw_indicator">True</property>
3466
<property name="padding">0</property>
3467
<property name="expand">False</property>
3468
<property name="fill">False</property>
3473
<widget class="GtkCheckButton" id="check_switch_pages">
3474
<property name="visible">True</property>
3475
<property name="tooltip" translatable="yes">Switch to the status message tab (in the notebook window at the bottom) if a new status message arrives.</property>
3476
<property name="can_focus">True</property>
3477
<property name="label" translatable="yes">Switch to status message list at new message</property>
3478
<property name="use_underline">True</property>
3479
<property name="relief">GTK_RELIEF_NORMAL</property>
3480
<property name="focus_on_click">False</property>
3481
<property name="active">False</property>
3482
<property name="inconsistent">False</property>
3483
<property name="draw_indicator">True</property>
3486
<property name="padding">0</property>
3487
<property name="expand">False</property>
3488
<property name="fill">False</property>
3493
<widget class="GtkCheckButton" id="check_suppress_status_msgs">
3494
<property name="visible">True</property>
3495
<property name="tooltip" translatable="yes">Removes all messages from the status bar. The messages are still displayed in the status messages window.</property>
3496
<property name="can_focus">True</property>
3497
<property name="label" translatable="yes">Suppress status messages in the status bar</property>
3498
<property name="use_underline">True</property>
3499
<property name="relief">GTK_RELIEF_NORMAL</property>
3500
<property name="focus_on_click">False</property>
3501
<property name="active">False</property>
3502
<property name="inconsistent">False</property>
3503
<property name="draw_indicator">True</property>
3506
<property name="padding">0</property>
3507
<property name="expand">False</property>
3508
<property name="fill">False</property>
3513
<widget class="GtkCheckButton" id="check_auto_focus">
3514
<property name="visible">True</property>
3515
<property name="tooltip" translatable="yes">Gives the focus automatically to widgets below the mouse cursor. Works for the main editor widget, the scribble, the toolbar search and goto line fields and the VTE.</property>
3516
<property name="can_focus">True</property>
3517
<property name="label" translatable="yes">Auto focus widgets (focus follows mouse)</property>
3518
<property name="use_underline">True</property>
3519
<property name="relief">GTK_RELIEF_NORMAL</property>
3520
<property name="focus_on_click">False</property>
3521
<property name="active">False</property>
3522
<property name="inconsistent">False</property>
3523
<property name="draw_indicator">True</property>
3526
<property name="padding">0</property>
3527
<property name="expand">False</property>
3528
<property name="fill">False</property>
3533
<widget class="GtkCheckButton" id="check_ask_suppress_search_dialogs">
3534
<property name="visible">True</property>
3535
<property name="tooltip" translatable="yes">Always wrap search around the document and hide the Find dialog after clicking Find Next/Previous</property>
3536
<property name="label" translatable="yes">Always wrap search and hide the Find dialog</property>
3537
<property name="use_underline">True</property>
3538
<property name="relief">GTK_RELIEF_NORMAL</property>
3539
<property name="focus_on_click">False</property>
3540
<property name="active">False</property>
3541
<property name="inconsistent">False</property>
3542
<property name="draw_indicator">True</property>
3545
<property name="padding">0</property>
3546
<property name="expand">False</property>
3547
<property name="fill">False</property>
3552
<widget class="GtkCheckButton" id="check_search_use_current_word">
3553
<property name="visible">True</property>
3554
<property name="tooltip" translatable="yes">Use current word under the cursor when opening the Find, Find in Files or Replace dialog and there is no selection.</property>
3555
<property name="label" translatable="yes">Use the current word under the cursor for Find dialogs</property>
3556
<property name="use_underline">True</property>
3557
<property name="relief">GTK_RELIEF_NORMAL</property>
3558
<property name="focus_on_click">False</property>
3559
<property name="active">False</property>
3560
<property name="inconsistent">False</property>
3561
<property name="draw_indicator">True</property>
3564
<property name="padding">0</property>
3565
<property name="expand">False</property>
3566
<property name="fill">False</property>
3575
<widget class="GtkLabel" id="label199">
3576
<property name="visible">True</property>
3577
<property name="label" translatable="yes"><b>Miscellaneous</b></property>
3578
<property name="use_underline">False</property>
3579
<property name="use_markup">True</property>
3580
<property name="justify">GTK_JUSTIFY_LEFT</property>
3581
<property name="wrap">False</property>
3582
<property name="selectable">False</property>
3583
<property name="xalign">0.5</property>
3584
<property name="yalign">0.5</property>
3585
<property name="xpad">0</property>
3586
<property name="ypad">0</property>
3587
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3588
<property name="width_chars">-1</property>
3589
<property name="single_line_mode">False</property>
3590
<property name="angle">0</property>
3593
<property name="type">label_item</property>
3598
<property name="padding">0</property>
3599
<property name="expand">False</property>
3600
<property name="fill">True</property>
3605
<widget class="GtkFrame" id="frame25">
3606
<property name="visible">True</property>
3607
<property name="label_xalign">0</property>
3608
<property name="label_yalign">0.5</property>
3609
<property name="shadow_type">GTK_SHADOW_NONE</property>
3612
<widget class="GtkAlignment" id="alignment28">
3613
<property name="visible">True</property>
3614
<property name="xalign">0.5</property>
3615
<property name="yalign">0.5</property>
3616
<property name="xscale">1</property>
3617
<property name="yscale">1</property>
3618
<property name="top_padding">0</property>
3619
<property name="bottom_padding">0</property>
3620
<property name="left_padding">12</property>
3621
<property name="right_padding">0</property>
3624
<widget class="GtkTable" id="table11">
3625
<property name="visible">True</property>
3626
<property name="n_rows">2</property>
3627
<property name="n_columns">3</property>
3628
<property name="homogeneous">False</property>
3629
<property name="row_spacing">3</property>
3630
<property name="column_spacing">6</property>
3633
<widget class="GtkLabel" id="label191">
3634
<property name="visible">True</property>
3635
<property name="label" translatable="yes">Startup path:</property>
3636
<property name="use_underline">False</property>
3637
<property name="use_markup">False</property>
3638
<property name="justify">GTK_JUSTIFY_LEFT</property>
3639
<property name="wrap">False</property>
3640
<property name="selectable">False</property>
3641
<property name="xalign">0</property>
3642
<property name="yalign">0.5</property>
3643
<property name="xpad">0</property>
3644
<property name="ypad">0</property>
3645
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3646
<property name="width_chars">-1</property>
3647
<property name="single_line_mode">False</property>
3648
<property name="angle">0</property>
3651
<property name="left_attach">0</property>
3652
<property name="right_attach">1</property>
3653
<property name="top_attach">0</property>
3654
<property name="bottom_attach">1</property>
3655
<property name="x_options">fill</property>
3656
<property name="y_options"></property>
3661
<widget class="GtkEntry" id="startup_path_entry">
3662
<property name="visible">True</property>
3663
<property name="tooltip" translatable="yes">Path to start in when opening or saving files. Must be an absolute path. Leave blank to use the current working directory.</property>
3664
<property name="can_focus">True</property>
3665
<property name="editable">True</property>
3666
<property name="visibility">True</property>
3667
<property name="max_length">0</property>
3668
<property name="text" translatable="yes"></property>
3669
<property name="has_frame">True</property>
3670
<property name="invisible_char">•</property>
3671
<property name="activates_default">False</property>
3674
<property name="left_attach">1</property>
3675
<property name="right_attach">2</property>
3676
<property name="top_attach">0</property>
3677
<property name="bottom_attach">1</property>
3678
<property name="y_options"></property>
3683
<widget class="GtkButton" id="startup_path_button">
3684
<property name="visible">True</property>
3685
<property name="can_focus">True</property>
3686
<property name="relief">GTK_RELIEF_NORMAL</property>
3687
<property name="focus_on_click">True</property>
3690
<widget class="GtkImage" id="image1741">
3691
<property name="visible">True</property>
3692
<property name="stock">gtk-open</property>
3693
<property name="icon_size">4</property>
3694
<property name="xalign">0.5</property>
3695
<property name="yalign">0.5</property>
3696
<property name="xpad">0</property>
3697
<property name="ypad">0</property>
3702
<property name="left_attach">2</property>
3703
<property name="right_attach">3</property>
3704
<property name="top_attach">0</property>
3705
<property name="bottom_attach">1</property>
3706
<property name="x_options">fill</property>
3707
<property name="y_options"></property>
3712
<widget class="GtkLabel" id="label192">
3713
<property name="visible">True</property>
3714
<property name="label" translatable="yes">Project files:</property>
3715
<property name="use_underline">False</property>
3716
<property name="use_markup">False</property>
3717
<property name="justify">GTK_JUSTIFY_LEFT</property>
3718
<property name="wrap">False</property>
3719
<property name="selectable">False</property>
3720
<property name="xalign">0</property>
3721
<property name="yalign">0.5</property>
3722
<property name="xpad">0</property>
3723
<property name="ypad">0</property>
3724
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3725
<property name="width_chars">-1</property>
3726
<property name="single_line_mode">False</property>
3727
<property name="angle">0</property>
3730
<property name="left_attach">0</property>
3731
<property name="right_attach">1</property>
3732
<property name="top_attach">1</property>
3733
<property name="bottom_attach">2</property>
3734
<property name="x_options">fill</property>
3735
<property name="y_options"></property>
3740
<widget class="GtkEntry" id="project_file_path_entry">
3741
<property name="visible">True</property>
3742
<property name="tooltip" translatable="yes">Path to start in when opening project files</property>
3743
<property name="can_focus">True</property>
3744
<property name="editable">True</property>
3745
<property name="visibility">True</property>
3746
<property name="max_length">0</property>
3747
<property name="text" translatable="yes"></property>
3748
<property name="has_frame">True</property>
3749
<property name="invisible_char">•</property>
3750
<property name="activates_default">False</property>
3753
<property name="left_attach">1</property>
3754
<property name="right_attach">2</property>
3755
<property name="top_attach">1</property>
3756
<property name="bottom_attach">2</property>
3757
<property name="y_options"></property>
3762
<widget class="GtkButton" id="project_file_path_button">
3763
<property name="visible">True</property>
3764
<property name="can_focus">True</property>
3765
<property name="relief">GTK_RELIEF_NORMAL</property>
3766
<property name="focus_on_click">True</property>
3769
<widget class="GtkImage" id="image1775">
3770
<property name="visible">True</property>
3771
<property name="stock">gtk-open</property>
3772
<property name="icon_size">4</property>
3773
<property name="xalign">0.5</property>
3774
<property name="yalign">0.5</property>
3775
<property name="xpad">0</property>
3776
<property name="ypad">0</property>
3781
<property name="left_attach">2</property>
3782
<property name="right_attach">3</property>
3783
<property name="top_attach">1</property>
3784
<property name="bottom_attach">2</property>
3785
<property name="x_options">fill</property>
3786
<property name="y_options"></property>
3795
<widget class="GtkLabel" id="label190">
3796
<property name="visible">True</property>
3797
<property name="label" translatable="yes"><b>Paths</b></property>
3798
<property name="use_underline">False</property>
3799
<property name="use_markup">True</property>
3800
<property name="justify">GTK_JUSTIFY_LEFT</property>
3801
<property name="wrap">False</property>
3802
<property name="selectable">False</property>
3803
<property name="xalign">0.5</property>
3804
<property name="yalign">0.5</property>
3805
<property name="xpad">0</property>
3806
<property name="ypad">0</property>
3807
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3808
<property name="width_chars">-1</property>
3809
<property name="single_line_mode">False</property>
3810
<property name="angle">0</property>
3813
<property name="type">label_item</property>
3818
<property name="padding">0</property>
3819
<property name="expand">True</property>
3820
<property name="fill">True</property>
3375
4202
<property name="right_padding">0</property>
3378
<widget class="GtkTable" id="table7">
4205
<widget class="GtkVBox" id="vbox26">
3379
4206
<property name="visible">True</property>
3380
<property name="n_rows">3</property>
3381
<property name="n_columns">2</property>
3382
4207
<property name="homogeneous">False</property>
3383
<property name="row_spacing">3</property>
3384
<property name="column_spacing">25</property>
3387
<widget class="GtkLabel" id="label133">
3388
<property name="visible">True</property>
3389
<property name="label" translatable="yes">Long line marker</property>
3390
<property name="use_underline">False</property>
3391
<property name="use_markup">False</property>
3392
<property name="justify">GTK_JUSTIFY_LEFT</property>
3393
<property name="wrap">False</property>
3394
<property name="selectable">False</property>
3395
<property name="xalign">0</property>
3396
<property name="yalign">0.5</property>
3397
<property name="xpad">0</property>
3398
<property name="ypad">0</property>
3399
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3400
<property name="width_chars">-1</property>
3401
<property name="single_line_mode">False</property>
3402
<property name="angle">0</property>
3405
<property name="left_attach">0</property>
3406
<property name="right_attach">1</property>
3407
<property name="top_attach">1</property>
3408
<property name="bottom_attach">2</property>
3409
<property name="x_options">fill</property>
3410
<property name="y_options"></property>
3415
<widget class="GtkLabel" id="label134">
3416
<property name="visible">True</property>
3417
<property name="label" translatable="yes">Long line marker color</property>
3418
<property name="use_underline">False</property>
3419
<property name="use_markup">False</property>
3420
<property name="justify">GTK_JUSTIFY_LEFT</property>
3421
<property name="wrap">False</property>
3422
<property name="selectable">False</property>
3423
<property name="xalign">0</property>
3424
<property name="yalign">0.5</property>
3425
<property name="xpad">0</property>
3426
<property name="ypad">0</property>
3427
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3428
<property name="width_chars">-1</property>
3429
<property name="single_line_mode">False</property>
3430
<property name="angle">0</property>
3433
<property name="left_attach">0</property>
3434
<property name="right_attach">1</property>
3435
<property name="top_attach">2</property>
3436
<property name="bottom_attach">3</property>
3437
<property name="x_options">fill</property>
3438
<property name="y_options"></property>
3443
<widget class="GtkSpinButton" id="spin_long_line">
3444
<property name="visible">True</property>
3445
<property name="tooltip" translatable="yes">The long line marker is a thin vertical line in the editor. It helps to mark long lines, or as a hint to break the line. Set this value to a value greater than 0 to specify the column where it should appear.</property>
4208
<property name="spacing">0</property>
4211
<widget class="GtkCheckButton" id="check_show_notebook_tabs">
4212
<property name="visible">True</property>
3446
4213
<property name="can_focus">True</property>
3447
<property name="climb_rate">1</property>
3448
<property name="digits">0</property>
3449
<property name="numeric">True</property>
3450
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
3451
<property name="snap_to_ticks">False</property>
3452
<property name="wrap">True</property>
3453
<property name="adjustment">72 0 1000 1 10 10</property>
4214
<property name="label" translatable="yes">Show editor tabs</property>
4215
<property name="use_underline">True</property>
4216
<property name="relief">GTK_RELIEF_NORMAL</property>
4217
<property name="focus_on_click">True</property>
4218
<property name="active">False</property>
4219
<property name="inconsistent">False</property>
4220
<property name="draw_indicator">True</property>
3456
<property name="left_attach">1</property>
3457
<property name="right_attach">2</property>
3458
<property name="top_attach">1</property>
3459
<property name="bottom_attach">2</property>
3460
<property name="y_options"></property>
4223
<property name="padding">0</property>
4224
<property name="expand">False</property>
4225
<property name="fill">False</property>
3465
<widget class="GtkLabel" id="label156">
4230
<widget class="GtkCheckButton" id="check_show_tab_cross">
3466
4231
<property name="visible">True</property>
3467
<property name="label" translatable="yes">Type</property>
3468
<property name="use_underline">False</property>
3469
<property name="use_markup">False</property>
3470
<property name="justify">GTK_JUSTIFY_LEFT</property>
3471
<property name="wrap">False</property>
3472
<property name="selectable">False</property>
3473
<property name="xalign">0</property>
3474
<property name="yalign">0.5</property>
3475
<property name="xpad">0</property>
3476
<property name="ypad">0</property>
3477
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3478
<property name="width_chars">-1</property>
3479
<property name="single_line_mode">False</property>
3480
<property name="angle">0</property>
4232
<property name="tooltip" translatable="yes">Shows a small cross button in the file tabs to easily close files when clicking on it (requires restart of Geany).</property>
4233
<property name="label" translatable="yes">Show close buttons</property>
4234
<property name="use_underline">True</property>
4235
<property name="relief">GTK_RELIEF_NORMAL</property>
4236
<property name="focus_on_click">False</property>
4237
<property name="active">False</property>
4238
<property name="inconsistent">False</property>
4239
<property name="draw_indicator">True</property>
3483
<property name="left_attach">0</property>
3484
<property name="right_attach">1</property>
3485
<property name="top_attach">0</property>
3486
<property name="bottom_attach">1</property>
3487
<property name="x_options">fill</property>
3488
<property name="y_options"></property>
4242
<property name="padding">0</property>
4243
<property name="expand">False</property>
4244
<property name="fill">False</property>
3493
<widget class="GtkHBox" id="hbox5">
4249
<widget class="GtkHBox" id="hbox7">
3494
4250
<property name="visible">True</property>
3495
4251
<property name="homogeneous">False</property>
3496
<property name="spacing">10</property>
3499
<widget class="GtkRadioButton" id="radio_long_line_line">
3500
<property name="visible">True</property>
3501
<property name="tooltip" translatable="yes">Prints a vertical line in the editor window at the given cursor position (see below).</property>
3502
<property name="can_focus">True</property>
3503
<property name="label" translatable="yes">Line</property>
3504
<property name="use_underline">True</property>
3505
<property name="relief">GTK_RELIEF_NORMAL</property>
3506
<property name="focus_on_click">True</property>
3507
<property name="active">False</property>
3508
<property name="inconsistent">False</property>
3509
<property name="draw_indicator">True</property>
3512
<property name="padding">0</property>
3513
<property name="expand">False</property>
3514
<property name="fill">False</property>
3519
<widget class="GtkRadioButton" id="radio_long_line_background">
3520
<property name="visible">True</property>
3521
<property name="tooltip" translatable="yes">The background colour of characters after the given cursor position (see below) changed to the colour set below. (This is recommended if you use proportional fonts)</property>
3522
<property name="can_focus">True</property>
3523
<property name="label" translatable="yes">Background</property>
3524
<property name="use_underline">True</property>
3525
<property name="relief">GTK_RELIEF_NORMAL</property>
3526
<property name="focus_on_click">True</property>
3527
<property name="active">False</property>
3528
<property name="inconsistent">False</property>
3529
<property name="draw_indicator">True</property>
3530
<property name="group">radio_long_line_line</property>
3533
<property name="padding">0</property>
3534
<property name="expand">False</property>
3535
<property name="fill">False</property>
3540
<widget class="GtkRadioButton" id="radio_long_line_disabled">
3541
<property name="visible">True</property>
3542
<property name="can_focus">True</property>
3543
<property name="label" translatable="yes">Disabled</property>
3544
<property name="use_underline">True</property>
3545
<property name="relief">GTK_RELIEF_NORMAL</property>
3546
<property name="focus_on_click">True</property>
3547
<property name="active">False</property>
3548
<property name="inconsistent">False</property>
3549
<property name="draw_indicator">True</property>
3550
<property name="group">radio_long_line_line</property>
3553
<property name="padding">0</property>
3554
<property name="expand">False</property>
3555
<property name="fill">False</property>
3560
<property name="left_attach">1</property>
3561
<property name="right_attach">2</property>
3562
<property name="top_attach">0</property>
3563
<property name="bottom_attach">1</property>
3564
<property name="x_options">fill</property>
3565
<property name="y_options">fill</property>
3570
<widget class="GtkColorButton" id="long_line_color">
3571
<property name="visible">True</property>
3572
<property name="tooltip" translatable="yes">Sets the color of the long line marker</property>
3573
<property name="can_focus">True</property>
3574
<property name="use_alpha">False</property>
3575
<property name="title" translatable="yes">Color Chooser</property>
3576
<property name="focus_on_click">True</property>
3579
<property name="left_attach">1</property>
3580
<property name="right_attach">2</property>
3581
<property name="top_attach">2</property>
3582
<property name="bottom_attach">3</property>
3583
<property name="x_options">fill</property>
3584
<property name="y_options"></property>
4252
<property name="spacing">12</property>
4255
<widget class="GtkLabel" id="label150">
4256
<property name="visible">True</property>
4257
<property name="label" translatable="yes">Placement of new file tabs:</property>
4258
<property name="use_underline">False</property>
4259
<property name="use_markup">False</property>
4260
<property name="justify">GTK_JUSTIFY_LEFT</property>
4261
<property name="wrap">False</property>
4262
<property name="selectable">False</property>
4263
<property name="xalign">0</property>
4264
<property name="yalign">0.5</property>
4265
<property name="xpad">0</property>
4266
<property name="ypad">0</property>
4267
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4268
<property name="width_chars">-1</property>
4269
<property name="single_line_mode">False</property>
4270
<property name="angle">0</property>
4273
<property name="padding">0</property>
4274
<property name="expand">False</property>
4275
<property name="fill">False</property>
4280
<widget class="GtkRadioButton" id="radio_tab_left">
4281
<property name="visible">True</property>
4282
<property name="tooltip" translatable="yes">File tabs will be placed on the left of the notebook</property>
4283
<property name="can_focus">True</property>
4284
<property name="label" translatable="yes">Left</property>
4285
<property name="use_underline">True</property>
4286
<property name="relief">GTK_RELIEF_NORMAL</property>
4287
<property name="focus_on_click">True</property>
4288
<property name="active">True</property>
4289
<property name="inconsistent">False</property>
4290
<property name="draw_indicator">True</property>
4293
<property name="padding">0</property>
4294
<property name="expand">False</property>
4295
<property name="fill">False</property>
4300
<widget class="GtkRadioButton" id="radio_tab_right">
4301
<property name="visible">True</property>
4302
<property name="tooltip" translatable="yes">File tabs will be placed on the right of the notebook</property>
4303
<property name="can_focus">True</property>
4304
<property name="label" translatable="yes">Right</property>
4305
<property name="use_underline">True</property>
4306
<property name="relief">GTK_RELIEF_NORMAL</property>
4307
<property name="focus_on_click">True</property>
4308
<property name="active">False</property>
4309
<property name="inconsistent">False</property>
4310
<property name="draw_indicator">True</property>
4311
<property name="group">radio_tab_left</property>
4314
<property name="padding">0</property>
4315
<property name="expand">False</property>
4316
<property name="fill">False</property>
4321
<property name="padding">0</property>
4322
<property name="expand">False</property>
4323
<property name="fill">True</property>
4383
<widget class="GtkVBox" id="vbox5">
5258
<widget class="GtkVBox" id="vbox24">
4384
5259
<property name="visible">True</property>
4385
5260
<property name="homogeneous">False</property>
4386
<property name="spacing">0</property>
4389
<widget class="GtkFrame" id="frame6">
4390
<property name="visible">True</property>
4391
<property name="label_xalign">0</property>
4392
<property name="label_yalign">0.5</property>
4393
<property name="shadow_type">GTK_SHADOW_NONE</property>
4396
<widget class="GtkAlignment" id="alignment7">
4397
<property name="visible">True</property>
4398
<property name="xalign">0.5</property>
4399
<property name="yalign">0.5</property>
4400
<property name="xscale">1</property>
4401
<property name="yscale">1</property>
4402
<property name="top_padding">0</property>
4403
<property name="bottom_padding">0</property>
4404
<property name="left_padding">12</property>
4405
<property name="right_padding">0</property>
4408
<widget class="GtkVBox" id="vbox8">
4409
<property name="visible">True</property>
4410
<property name="homogeneous">False</property>
4411
<property name="spacing">3</property>
4414
<widget class="GtkTable" id="table5">
4415
<property name="visible">True</property>
4416
<property name="n_rows">2</property>
4417
<property name="n_columns">2</property>
4418
<property name="homogeneous">False</property>
4419
<property name="row_spacing">3</property>
4420
<property name="column_spacing">25</property>
4423
<widget class="GtkLabel" id="label116">
4424
<property name="visible">True</property>
4425
<property name="label" translatable="yes">Tab Width:</property>
4426
<property name="use_underline">False</property>
4427
<property name="use_markup">False</property>
4428
<property name="justify">GTK_JUSTIFY_LEFT</property>
4429
<property name="wrap">False</property>
4430
<property name="selectable">False</property>
4431
<property name="xalign">0</property>
4432
<property name="yalign">0.5</property>
4433
<property name="xpad">0</property>
4434
<property name="ypad">0</property>
4435
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4436
<property name="width_chars">-1</property>
4437
<property name="single_line_mode">False</property>
4438
<property name="angle">0</property>
4441
<property name="left_attach">0</property>
4442
<property name="right_attach">1</property>
4443
<property name="top_attach">1</property>
4444
<property name="bottom_attach">2</property>
4445
<property name="x_options">fill</property>
4446
<property name="y_options"></property>
4451
<widget class="GtkLabel" id="label153">
4452
<property name="visible">True</property>
4453
<property name="label" translatable="yes">Default encoding:</property>
4454
<property name="use_underline">False</property>
4455
<property name="use_markup">False</property>
4456
<property name="justify">GTK_JUSTIFY_LEFT</property>
4457
<property name="wrap">False</property>
4458
<property name="selectable">False</property>
4459
<property name="xalign">0.5</property>
4460
<property name="yalign">0.5</property>
4461
<property name="xpad">0</property>
4462
<property name="ypad">0</property>
4463
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4464
<property name="width_chars">-1</property>
4465
<property name="single_line_mode">False</property>
4466
<property name="angle">0</property>
4469
<property name="left_attach">0</property>
4470
<property name="right_attach">1</property>
4471
<property name="top_attach">0</property>
4472
<property name="bottom_attach">1</property>
4473
<property name="x_options">fill</property>
4474
<property name="y_options"></property>
4479
<widget class="GtkEventBox" id="eventbox1">
4480
<property name="visible">True</property>
4481
<property name="tooltip" translatable="yes">Sets the default encoding for newly created files.</property>
4482
<property name="visible_window">True</property>
4483
<property name="above_child">False</property>
4486
<widget class="GtkComboBox" id="combo_encoding">
4487
<property name="visible">True</property>
4488
<property name="add_tearoffs">False</property>
4489
<property name="focus_on_click">True</property>
4494
<property name="left_attach">1</property>
4495
<property name="right_attach">2</property>
4496
<property name="top_attach">0</property>
4497
<property name="bottom_attach">1</property>
4498
<property name="x_options">fill</property>
4499
<property name="y_options">fill</property>
4504
<widget class="GtkSpinButton" id="spin_tab_width">
4505
<property name="visible">True</property>
4506
<property name="tooltip" translatable="yes">The width in chars, which one tab character will take</property>
4507
<property name="can_focus">True</property>
4508
<property name="climb_rate">1</property>
4509
<property name="digits">0</property>
4510
<property name="numeric">True</property>
4511
<property name="update_policy">GTK_UPDATE_IF_VALID</property>
4512
<property name="snap_to_ticks">False</property>
4513
<property name="wrap">True</property>
4514
<property name="adjustment">-1 1 99 1 10 10</property>
4517
<property name="left_attach">1</property>
4518
<property name="right_attach">2</property>
4519
<property name="top_attach">1</property>
4520
<property name="bottom_attach">2</property>
4521
<property name="x_options">fill</property>
4522
<property name="y_options"></property>
4527
<property name="padding">0</property>
4528
<property name="expand">False</property>
4529
<property name="fill">True</property>
4538
<widget class="GtkLabel" id="label109">
4539
<property name="visible">True</property>
4540
<property name="label" translatable="yes"><b>New files</b></property>
4541
<property name="use_underline">False</property>
4542
<property name="use_markup">True</property>
4543
<property name="justify">GTK_JUSTIFY_LEFT</property>
4544
<property name="wrap">False</property>
4545
<property name="selectable">False</property>
4546
<property name="xalign">0.5</property>
4547
<property name="yalign">0.5</property>
4548
<property name="xpad">0</property>
4549
<property name="ypad">0</property>
4550
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4551
<property name="width_chars">-1</property>
4552
<property name="single_line_mode">False</property>
4553
<property name="angle">0</property>
4556
<property name="type">label_item</property>
4561
<property name="padding">0</property>
4562
<property name="expand">True</property>
4563
<property name="fill">True</property>
4568
<widget class="GtkFrame" id="frame2">
4569
<property name="visible">True</property>
4570
<property name="label_xalign">0</property>
4571
<property name="label_yalign">0.5</property>
4572
<property name="shadow_type">GTK_SHADOW_NONE</property>
4575
<widget class="GtkAlignment" id="alignment3">
4576
<property name="visible">True</property>
4577
<property name="xalign">0.5</property>
4578
<property name="yalign">0.5</property>
4579
<property name="xscale">1</property>
4580
<property name="yscale">1</property>
4581
<property name="top_padding">0</property>
4582
<property name="bottom_padding">0</property>
4583
<property name="left_padding">12</property>
4584
<property name="right_padding">0</property>
4587
<widget class="GtkVBox" id="vbox6">
4588
<property name="visible">True</property>
4589
<property name="homogeneous">False</property>
4590
<property name="spacing">0</property>
4593
<widget class="GtkCheckButton" id="check_trailing_spaces">
4594
<property name="visible">True</property>
4595
<property name="tooltip" translatable="yes">Removes trailing spaces and tabs and the end of lines</property>
4596
<property name="label" translatable="yes">Strip trailing spaces</property>
4597
<property name="use_underline">True</property>
4598
<property name="relief">GTK_RELIEF_NORMAL</property>
4599
<property name="focus_on_click">False</property>
4600
<property name="active">False</property>
4601
<property name="inconsistent">False</property>
4602
<property name="draw_indicator">True</property>
4605
<property name="padding">0</property>
4606
<property name="expand">False</property>
4607
<property name="fill">False</property>
4612
<widget class="GtkCheckButton" id="check_new_line">
4613
<property name="visible">True</property>
4614
<property name="tooltip" translatable="yes">Ensures that at the end of the file is a new line</property>
4615
<property name="label" translatable="yes">Ensure new line at file end</property>
4616
<property name="use_underline">True</property>
4617
<property name="relief">GTK_RELIEF_NORMAL</property>
4618
<property name="focus_on_click">False</property>
4619
<property name="active">False</property>
4620
<property name="inconsistent">False</property>
4621
<property name="draw_indicator">True</property>
4624
<property name="padding">0</property>
4625
<property name="expand">False</property>
4626
<property name="fill">False</property>
4631
<widget class="GtkCheckButton" id="check_replace_tabs">
4632
<property name="visible">True</property>
4633
<property name="tooltip" translatable="yes">Replaces all tabs in document by spaces.</property>
4634
<property name="label" translatable="yes">Replace tabs by space</property>
4635
<property name="use_underline">True</property>
4636
<property name="relief">GTK_RELIEF_NORMAL</property>
4637
<property name="focus_on_click">False</property>
4638
<property name="active">False</property>
4639
<property name="inconsistent">False</property>
4640
<property name="draw_indicator">True</property>
4643
<property name="padding">0</property>
4644
<property name="expand">False</property>
4645
<property name="fill">False</property>
4654
<widget class="GtkLabel" id="label19">
4655
<property name="visible">True</property>
4656
<property name="label" translatable="yes"><b>Saving files</b></property>
4657
<property name="use_underline">False</property>
4658
<property name="use_markup">True</property>
4659
<property name="justify">GTK_JUSTIFY_LEFT</property>
4660
<property name="wrap">False</property>
4661
<property name="selectable">False</property>
4662
<property name="xalign">0.5</property>
4663
<property name="yalign">0.5</property>
4664
<property name="xpad">0</property>
4665
<property name="ypad">0</property>
4666
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4667
<property name="width_chars">-1</property>
4668
<property name="single_line_mode">False</property>
4669
<property name="angle">0</property>
4672
<property name="type">label_item</property>
4677
<property name="padding">0</property>
4678
<property name="expand">True</property>
4679
<property name="fill">True</property>
5261
<property name="spacing">10</property>
4684
5264
<widget class="GtkFrame" id="frame5">
4796
5395
<property name="padding">0</property>
5396
<property name="expand">False</property>
5397
<property name="fill">True</property>
5402
<widget class="GtkFrame" id="frame8">
5403
<property name="visible">True</property>
5404
<property name="label_xalign">0</property>
5405
<property name="label_yalign">0.5</property>
5406
<property name="shadow_type">GTK_SHADOW_NONE</property>
5409
<widget class="GtkAlignment" id="alignment11">
5410
<property name="visible">True</property>
5411
<property name="xalign">0.5</property>
5412
<property name="yalign">0.5</property>
5413
<property name="xscale">1</property>
5414
<property name="yscale">1</property>
5415
<property name="top_padding">0</property>
5416
<property name="bottom_padding">0</property>
5417
<property name="left_padding">12</property>
5418
<property name="right_padding">0</property>
5421
<widget class="GtkTable" id="table7">
5422
<property name="visible">True</property>
5423
<property name="n_rows">3</property>
5424
<property name="n_columns">2</property>
5425
<property name="homogeneous">False</property>
5426
<property name="row_spacing">3</property>
5427
<property name="column_spacing">24</property>
5430
<widget class="GtkLabel" id="label133">
5431
<property name="visible">True</property>
5432
<property name="label" translatable="yes">Long line marker:</property>
5433
<property name="use_underline">False</property>
5434
<property name="use_markup">False</property>
5435
<property name="justify">GTK_JUSTIFY_LEFT</property>
5436
<property name="wrap">False</property>
5437
<property name="selectable">False</property>
5438
<property name="xalign">0</property>
5439
<property name="yalign">0.5</property>
5440
<property name="xpad">0</property>
5441
<property name="ypad">0</property>
5442
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5443
<property name="width_chars">-1</property>
5444
<property name="single_line_mode">False</property>
5445
<property name="angle">0</property>
5448
<property name="left_attach">0</property>
5449
<property name="right_attach">1</property>
5450
<property name="top_attach">1</property>
5451
<property name="bottom_attach">2</property>
5452
<property name="x_options">fill</property>
5453
<property name="y_options"></property>
5458
<widget class="GtkLabel" id="label134">
5459
<property name="visible">True</property>
5460
<property name="label" translatable="yes">Long line marker color:</property>
5461
<property name="use_underline">False</property>
5462
<property name="use_markup">False</property>
5463
<property name="justify">GTK_JUSTIFY_LEFT</property>
5464
<property name="wrap">False</property>
5465
<property name="selectable">False</property>
5466
<property name="xalign">0</property>
5467
<property name="yalign">0.5</property>
5468
<property name="xpad">0</property>
5469
<property name="ypad">0</property>
5470
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5471
<property name="width_chars">-1</property>
5472
<property name="single_line_mode">False</property>
5473
<property name="angle">0</property>
5476
<property name="left_attach">0</property>
5477
<property name="right_attach">1</property>
5478
<property name="top_attach">2</property>
5479
<property name="bottom_attach">3</property>
5480
<property name="x_options">fill</property>
5481
<property name="y_options"></property>
5486
<widget class="GtkLabel" id="label156">
5487
<property name="visible">True</property>
5488
<property name="label" translatable="yes">Type:</property>
5489
<property name="use_underline">False</property>
5490
<property name="use_markup">False</property>
5491
<property name="justify">GTK_JUSTIFY_LEFT</property>
5492
<property name="wrap">False</property>
5493
<property name="selectable">False</property>
5494
<property name="xalign">0</property>
5495
<property name="yalign">0.5</property>
5496
<property name="xpad">0</property>
5497
<property name="ypad">0</property>
5498
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5499
<property name="width_chars">-1</property>
5500
<property name="single_line_mode">False</property>
5501
<property name="angle">0</property>
5504
<property name="left_attach">0</property>
5505
<property name="right_attach">1</property>
5506
<property name="top_attach">0</property>
5507
<property name="bottom_attach">1</property>
5508
<property name="x_options">fill</property>
5509
<property name="y_options"></property>
5514
<widget class="GtkColorButton" id="long_line_color">
5515
<property name="visible">True</property>
5516
<property name="tooltip" translatable="yes">Sets the color of the long line marker</property>
5517
<property name="can_focus">True</property>
5518
<property name="use_alpha">False</property>
5519
<property name="title" translatable="yes">Color Chooser</property>
5520
<property name="focus_on_click">True</property>
5523
<property name="left_attach">1</property>
5524
<property name="right_attach">2</property>
5525
<property name="top_attach">2</property>
5526
<property name="bottom_attach">3</property>
5527
<property name="x_options">fill</property>
5528
<property name="y_options"></property>
5533
<widget class="GtkSpinButton" id="spin_long_line">
5534
<property name="visible">True</property>
5535
<property name="tooltip" translatable="yes">The long line marker is a thin vertical line in the editor. It helps to mark long lines, or as a hint to break the line. Set this value to a value greater than 0 to specify the column where it should appear.</property>
5536
<property name="can_focus">True</property>
5537
<property name="climb_rate">1</property>
5538
<property name="digits">0</property>
5539
<property name="numeric">True</property>
5540
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
5541
<property name="snap_to_ticks">False</property>
5542
<property name="wrap">True</property>
5543
<property name="adjustment">72 0 1000 1 10 10</property>
5546
<property name="left_attach">1</property>
5547
<property name="right_attach">2</property>
5548
<property name="top_attach">1</property>
5549
<property name="bottom_attach">2</property>
5550
<property name="x_options">fill</property>
5551
<property name="y_options"></property>
5556
<widget class="GtkHBox" id="hbox5">
5557
<property name="visible">True</property>
5558
<property name="homogeneous">False</property>
5559
<property name="spacing">12</property>
5562
<widget class="GtkRadioButton" id="radio_long_line_line">
5563
<property name="visible">True</property>
5564
<property name="tooltip" translatable="yes">Prints a vertical line in the editor window at the given cursor position (see below).</property>
5565
<property name="can_focus">True</property>
5566
<property name="label" translatable="yes">Line</property>
5567
<property name="use_underline">True</property>
5568
<property name="relief">GTK_RELIEF_NORMAL</property>
5569
<property name="focus_on_click">True</property>
5570
<property name="active">False</property>
5571
<property name="inconsistent">False</property>
5572
<property name="draw_indicator">True</property>
5575
<property name="padding">0</property>
5576
<property name="expand">False</property>
5577
<property name="fill">False</property>
5582
<widget class="GtkRadioButton" id="radio_long_line_background">
5583
<property name="visible">True</property>
5584
<property name="tooltip" translatable="yes">The background color of characters after the given cursor position (see below) changed to the color set below. (This is recommended if you use proportional fonts)</property>
5585
<property name="can_focus">True</property>
5586
<property name="label" translatable="yes">Background</property>
5587
<property name="use_underline">True</property>
5588
<property name="relief">GTK_RELIEF_NORMAL</property>
5589
<property name="focus_on_click">True</property>
5590
<property name="active">False</property>
5591
<property name="inconsistent">False</property>
5592
<property name="draw_indicator">True</property>
5593
<property name="group">radio_long_line_line</property>
5596
<property name="padding">0</property>
5597
<property name="expand">False</property>
5598
<property name="fill">False</property>
5603
<widget class="GtkRadioButton" id="radio_long_line_disabled">
5604
<property name="visible">True</property>
5605
<property name="can_focus">True</property>
5606
<property name="label" translatable="yes">Disabled</property>
5607
<property name="use_underline">True</property>
5608
<property name="relief">GTK_RELIEF_NORMAL</property>
5609
<property name="focus_on_click">True</property>
5610
<property name="active">False</property>
5611
<property name="inconsistent">False</property>
5612
<property name="draw_indicator">True</property>
5613
<property name="group">radio_long_line_line</property>
5616
<property name="padding">0</property>
5617
<property name="expand">False</property>
5618
<property name="fill">False</property>
5623
<property name="left_attach">1</property>
5624
<property name="right_attach">2</property>
5625
<property name="top_attach">0</property>
5626
<property name="bottom_attach">1</property>
5627
<property name="x_options">fill</property>
5628
<property name="y_options">fill</property>
5637
<widget class="GtkLabel" id="label155">
5638
<property name="visible">True</property>
5639
<property name="label" translatable="yes"><b>Long line marker</b></property>
5640
<property name="use_underline">False</property>
5641
<property name="use_markup">True</property>
5642
<property name="justify">GTK_JUSTIFY_LEFT</property>
5643
<property name="wrap">False</property>
5644
<property name="selectable">False</property>
5645
<property name="xalign">0.5</property>
5646
<property name="yalign">0.5</property>
5647
<property name="xpad">0</property>
5648
<property name="ypad">0</property>
5649
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5650
<property name="width_chars">-1</property>
5651
<property name="single_line_mode">False</property>
5652
<property name="angle">0</property>
5655
<property name="type">label_item</property>
5660
<property name="padding">0</property>
4797
5661
<property name="expand">True</property>
4798
5662
<property name="fill">True</property>
5667
<property name="tab_expand">False</property>
5668
<property name="tab_fill">True</property>
5673
<widget class="GtkLabel" id="label194">
5674
<property name="visible">True</property>
5675
<property name="label" translatable="yes">Display</property>
5676
<property name="use_underline">False</property>
5677
<property name="use_markup">False</property>
5678
<property name="justify">GTK_JUSTIFY_LEFT</property>
5679
<property name="wrap">False</property>
5680
<property name="selectable">False</property>
5681
<property name="xalign">0.5</property>
5682
<property name="yalign">0.5</property>
5683
<property name="xpad">0</property>
5684
<property name="ypad">0</property>
5685
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5686
<property name="width_chars">-1</property>
5687
<property name="single_line_mode">False</property>
5688
<property name="angle">0</property>
5691
<property name="type">tab</property>
5696
<widget class="GtkVBox" id="vbox5">
5697
<property name="visible">True</property>
5698
<property name="homogeneous">False</property>
5699
<property name="spacing">10</property>
5702
<widget class="GtkFrame" id="frame27">
5703
<property name="visible">True</property>
5704
<property name="label_xalign">0</property>
5705
<property name="label_yalign">0.5</property>
5706
<property name="shadow_type">GTK_SHADOW_NONE</property>
5709
<widget class="GtkAlignment" id="alignment30">
5710
<property name="visible">True</property>
5711
<property name="xalign">0.5</property>
5712
<property name="yalign">0.5</property>
5713
<property name="xscale">1</property>
5714
<property name="yscale">1</property>
5715
<property name="top_padding">0</property>
5716
<property name="bottom_padding">0</property>
5717
<property name="left_padding">12</property>
5718
<property name="right_padding">0</property>
5721
<widget class="GtkVBox" id="vbox25">
5722
<property name="visible">True</property>
5723
<property name="homogeneous">False</property>
5724
<property name="spacing">0</property>
5727
<widget class="GtkTable" id="table13">
5728
<property name="visible">True</property>
5729
<property name="n_rows">4</property>
5730
<property name="n_columns">2</property>
5731
<property name="homogeneous">False</property>
5732
<property name="row_spacing">3</property>
5733
<property name="column_spacing">24</property>
5736
<widget class="GtkLabel" id="label183">
5737
<property name="visible">True</property>
5738
<property name="label" translatable="yes">Auto-indent mode:</property>
5739
<property name="use_underline">False</property>
5740
<property name="use_markup">False</property>
5741
<property name="justify">GTK_JUSTIFY_LEFT</property>
5742
<property name="wrap">False</property>
5743
<property name="selectable">False</property>
5744
<property name="xalign">0.5</property>
5745
<property name="yalign">0.5</property>
5746
<property name="xpad">0</property>
5747
<property name="ypad">0</property>
5748
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5749
<property name="width_chars">-1</property>
5750
<property name="single_line_mode">False</property>
5751
<property name="angle">0</property>
5754
<property name="left_attach">0</property>
5755
<property name="right_attach">1</property>
5756
<property name="top_attach">3</property>
5757
<property name="bottom_attach">4</property>
5758
<property name="x_options">fill</property>
5759
<property name="y_options"></property>
5764
<widget class="GtkComboBox" id="combo_auto_indent_mode">
5765
<property name="visible">True</property>
5766
<property name="items" translatable="yes">None
5769
Match braces</property>
5770
<property name="add_tearoffs">False</property>
5771
<property name="focus_on_click">True</property>
5774
<property name="left_attach">1</property>
5775
<property name="right_attach">2</property>
5776
<property name="top_attach">3</property>
5777
<property name="bottom_attach">4</property>
5778
<property name="x_options">fill</property>
5779
<property name="y_options">fill</property>
5784
<widget class="GtkSpinButton" id="spin_tab_width">
5785
<property name="visible">True</property>
5786
<property name="tooltip" translatable="yes">The width in chars, which one tab character will take</property>
5787
<property name="can_focus">True</property>
5788
<property name="climb_rate">1</property>
5789
<property name="digits">0</property>
5790
<property name="numeric">True</property>
5791
<property name="update_policy">GTK_UPDATE_IF_VALID</property>
5792
<property name="snap_to_ticks">False</property>
5793
<property name="wrap">True</property>
5794
<property name="adjustment">1 1 99 1 10 10</property>
5797
<property name="left_attach">1</property>
5798
<property name="right_attach">2</property>
5799
<property name="top_attach">2</property>
5800
<property name="bottom_attach">3</property>
5801
<property name="x_options">fill</property>
5802
<property name="y_options"></property>
5807
<widget class="GtkLabel" id="label116">
5808
<property name="visible">True</property>
5809
<property name="label" translatable="yes">Tab width:</property>
5810
<property name="use_underline">False</property>
5811
<property name="use_markup">False</property>
5812
<property name="justify">GTK_JUSTIFY_LEFT</property>
5813
<property name="wrap">False</property>
5814
<property name="selectable">False</property>
5815
<property name="xalign">0</property>
5816
<property name="yalign">0.5</property>
5817
<property name="xpad">0</property>
5818
<property name="ypad">0</property>
5819
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5820
<property name="width_chars">-1</property>
5821
<property name="single_line_mode">False</property>
5822
<property name="angle">0</property>
5825
<property name="left_attach">0</property>
5826
<property name="right_attach">1</property>
5827
<property name="top_attach">2</property>
5828
<property name="bottom_attach">3</property>
5829
<property name="x_options">fill</property>
5830
<property name="y_options"></property>
5835
<widget class="GtkHBox" id="hbox8">
5836
<property name="visible">True</property>
5837
<property name="homogeneous">False</property>
5838
<property name="spacing">12</property>
5841
<widget class="GtkRadioButton" id="radio_indent_tabs">
5842
<property name="visible">True</property>
5843
<property name="tooltip" translatable="yes">Whether to use tabs or spaces when indentation is inserted.</property>
5844
<property name="can_focus">True</property>
5845
<property name="label" translatable="yes">_Tabs</property>
5846
<property name="use_underline">True</property>
5847
<property name="relief">GTK_RELIEF_NORMAL</property>
5848
<property name="focus_on_click">True</property>
5849
<property name="active">False</property>
5850
<property name="inconsistent">False</property>
5851
<property name="draw_indicator">True</property>
5854
<property name="padding">0</property>
5855
<property name="expand">False</property>
5856
<property name="fill">False</property>
5861
<widget class="GtkRadioButton" id="radio_indent_spaces">
5862
<property name="visible">True</property>
5863
<property name="tooltip" translatable="yes">Whether to use tabs or spaces when indentation is inserted.</property>
5864
<property name="can_focus">True</property>
5865
<property name="label" translatable="yes">_Spaces</property>
5866
<property name="use_underline">True</property>
5867
<property name="relief">GTK_RELIEF_NORMAL</property>
5868
<property name="focus_on_click">True</property>
5869
<property name="active">False</property>
5870
<property name="inconsistent">False</property>
5871
<property name="draw_indicator">True</property>
5872
<property name="group">radio_indent_tabs</property>
5875
<property name="padding">0</property>
5876
<property name="expand">False</property>
5877
<property name="fill">False</property>
5882
<property name="left_attach">1</property>
5883
<property name="right_attach">2</property>
5884
<property name="top_attach">0</property>
5885
<property name="bottom_attach">1</property>
5886
<property name="x_options">fill</property>
5891
<widget class="GtkLabel" id="label200">
5892
<property name="visible">True</property>
5893
<property name="label" translatable="yes">Type:</property>
5894
<property name="use_underline">False</property>
5895
<property name="use_markup">False</property>
5896
<property name="justify">GTK_JUSTIFY_LEFT</property>
5897
<property name="wrap">False</property>
5898
<property name="selectable">False</property>
5899
<property name="xalign">0</property>
5900
<property name="yalign">0.5</property>
5901
<property name="xpad">0</property>
5902
<property name="ypad">0</property>
5903
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5904
<property name="width_chars">-1</property>
5905
<property name="single_line_mode">False</property>
5906
<property name="angle">0</property>
5909
<property name="left_attach">0</property>
5910
<property name="right_attach">1</property>
5911
<property name="top_attach">0</property>
5912
<property name="bottom_attach">1</property>
5913
<property name="x_options">fill</property>
5914
<property name="y_options"></property>
5919
<widget class="GtkCheckButton" id="check_detect_indent">
5920
<property name="visible">True</property>
5921
<property name="tooltip" translatable="yes">Whether to detect the indentation type from file contents when a file is opened.</property>
5922
<property name="can_focus">True</property>
5923
<property name="label" translatable="yes">Detect from file</property>
5924
<property name="use_underline">True</property>
5925
<property name="relief">GTK_RELIEF_NORMAL</property>
5926
<property name="focus_on_click">True</property>
5927
<property name="active">False</property>
5928
<property name="inconsistent">False</property>
5929
<property name="draw_indicator">True</property>
5932
<property name="left_attach">1</property>
5933
<property name="right_attach">2</property>
5934
<property name="top_attach">1</property>
5935
<property name="bottom_attach">2</property>
5936
<property name="x_options">fill</property>
5937
<property name="y_options"></property>
5942
<property name="padding">0</property>
5943
<property name="expand">False</property>
5944
<property name="fill">True</property>
5953
<widget class="GtkLabel" id="label195">
5954
<property name="visible">True</property>
5955
<property name="label" translatable="yes"><b>Indentation</b></property>
5956
<property name="use_underline">False</property>
5957
<property name="use_markup">True</property>
5958
<property name="justify">GTK_JUSTIFY_LEFT</property>
5959
<property name="wrap">False</property>
5960
<property name="selectable">False</property>
5961
<property name="xalign">0.5</property>
5962
<property name="yalign">0.5</property>
5963
<property name="xpad">0</property>
5964
<property name="ypad">0</property>
5965
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5966
<property name="width_chars">-1</property>
5967
<property name="single_line_mode">False</property>
5968
<property name="angle">0</property>
5971
<property name="type">label_item</property>
5976
<property name="padding">0</property>
5977
<property name="expand">False</property>
5978
<property name="fill">True</property>
4803
5983
<widget class="GtkFrame" id="frame14">
5069
<widget class="GtkVBox" id="vbox2">
5070
<property name="visible">True</property>
5071
<property name="homogeneous">False</property>
5072
<property name="spacing">0</property>
5075
<widget class="GtkLabel" id="label17">
5076
<property name="visible">True</property>
5077
<property name="label" translatable="yes">Enter here the paths to the make tool and the compiler
5078
(tools you do not need can be let blank)</property>
5079
<property name="use_underline">False</property>
5080
<property name="use_markup">False</property>
5081
<property name="justify">GTK_JUSTIFY_LEFT</property>
5082
<property name="wrap">False</property>
5083
<property name="selectable">False</property>
5084
<property name="xalign">0.5</property>
5085
<property name="yalign">0.5</property>
5086
<property name="xpad">0</property>
5087
<property name="ypad">6</property>
5088
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5089
<property name="width_chars">-1</property>
5090
<property name="single_line_mode">False</property>
5091
<property name="angle">0</property>
5094
<property name="padding">0</property>
5095
<property name="expand">False</property>
5096
<property name="fill">False</property>
5101
<widget class="GtkTable" id="table1">
5102
<property name="visible">True</property>
5103
<property name="n_rows">5</property>
5104
<property name="n_columns">3</property>
5105
<property name="homogeneous">False</property>
5106
<property name="row_spacing">7</property>
5107
<property name="column_spacing">5</property>
5110
<widget class="GtkLabel" id="label11">
5111
<property name="visible">True</property>
5112
<property name="label" translatable="yes">Make</property>
5113
<property name="use_underline">False</property>
5114
<property name="use_markup">False</property>
5115
<property name="justify">GTK_JUSTIFY_LEFT</property>
5116
<property name="wrap">False</property>
5117
<property name="selectable">False</property>
5118
<property name="xalign">0</property>
5119
<property name="yalign">0.5</property>
5120
<property name="xpad">0</property>
5121
<property name="ypad">0</property>
5122
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5123
<property name="width_chars">-1</property>
5124
<property name="single_line_mode">False</property>
5125
<property name="angle">0</property>
5128
<property name="left_attach">0</property>
5129
<property name="right_attach">1</property>
5130
<property name="top_attach">0</property>
5131
<property name="bottom_attach">1</property>
5132
<property name="x_options">fill</property>
5133
<property name="y_options"></property>
5138
<widget class="GtkLabel" id="label97">
5139
<property name="visible">True</property>
5140
<property name="label" translatable="yes">Terminal</property>
5141
<property name="use_underline">False</property>
5142
<property name="use_markup">False</property>
5143
<property name="justify">GTK_JUSTIFY_LEFT</property>
5144
<property name="wrap">False</property>
5145
<property name="selectable">False</property>
5146
<property name="xalign">0</property>
5147
<property name="yalign">0.5</property>
5148
<property name="xpad">0</property>
5149
<property name="ypad">0</property>
5150
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5151
<property name="width_chars">-1</property>
5152
<property name="single_line_mode">False</property>
5153
<property name="angle">0</property>
5156
<property name="left_attach">0</property>
5157
<property name="right_attach">1</property>
5158
<property name="top_attach">1</property>
5159
<property name="bottom_attach">2</property>
5160
<property name="x_options">fill</property>
5161
<property name="y_options"></property>
5166
<widget class="GtkLabel" id="label117">
5167
<property name="visible">True</property>
5168
<property name="label" translatable="yes">Browser</property>
5169
<property name="use_underline">False</property>
5170
<property name="use_markup">False</property>
5171
<property name="justify">GTK_JUSTIFY_LEFT</property>
5172
<property name="wrap">False</property>
5173
<property name="selectable">False</property>
5174
<property name="xalign">0</property>
5175
<property name="yalign">0.5</property>
5176
<property name="xpad">0</property>
5177
<property name="ypad">0</property>
5178
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5179
<property name="width_chars">-1</property>
5180
<property name="single_line_mode">False</property>
5181
<property name="angle">0</property>
5184
<property name="left_attach">0</property>
5185
<property name="right_attach">1</property>
5186
<property name="top_attach">2</property>
5187
<property name="bottom_attach">3</property>
5188
<property name="x_options">fill</property>
5189
<property name="y_options"></property>
5194
<widget class="GtkEntry" id="entry_com_make">
5195
<property name="visible">True</property>
5196
<property name="tooltip" translatable="yes">Path and options for the make tool</property>
5197
<property name="can_focus">True</property>
5198
<property name="editable">True</property>
5199
<property name="visibility">True</property>
5200
<property name="max_length">0</property>
5201
<property name="text" translatable="yes"></property>
5202
<property name="has_frame">True</property>
5203
<property name="invisible_char">*</property>
5204
<property name="activates_default">False</property>
5207
<property name="left_attach">1</property>
5208
<property name="right_attach">2</property>
5209
<property name="top_attach">0</property>
5210
<property name="bottom_attach">1</property>
5211
<property name="y_options"></property>
5216
<widget class="GtkEntry" id="entry_com_term">
5217
<property name="visible">True</property>
5218
<property name="tooltip" translatable="yes">A terminal emulator like xterm, gnome-terminal or konsole (should accept the -e argument)</property>
5219
<property name="can_focus">True</property>
5220
<property name="editable">True</property>
5221
<property name="visibility">True</property>
5222
<property name="max_length">0</property>
5223
<property name="text" translatable="yes"></property>
5224
<property name="has_frame">True</property>
5225
<property name="invisible_char">*</property>
5226
<property name="activates_default">False</property>
5229
<property name="left_attach">1</property>
5230
<property name="right_attach">2</property>
5231
<property name="top_attach">1</property>
5232
<property name="bottom_attach">2</property>
5233
<property name="y_options"></property>
5238
<widget class="GtkEntry" id="entry_browser">
5239
<property name="visible">True</property>
5240
<property name="tooltip" translatable="yes">Path (and possibly additional arguments) to your favorite browser</property>
5241
<property name="can_focus">True</property>
5242
<property name="editable">True</property>
5243
<property name="visibility">True</property>
5244
<property name="max_length">0</property>
5245
<property name="text" translatable="yes"></property>
5246
<property name="has_frame">True</property>
5247
<property name="invisible_char">*</property>
5248
<property name="activates_default">False</property>
5251
<property name="left_attach">1</property>
5252
<property name="right_attach">2</property>
5253
<property name="top_attach">2</property>
5254
<property name="bottom_attach">3</property>
5255
<property name="y_options"></property>
5260
<widget class="GtkButton" id="button_make">
5261
<property name="visible">True</property>
5262
<property name="can_focus">True</property>
5263
<property name="relief">GTK_RELIEF_NORMAL</property>
5264
<property name="focus_on_click">True</property>
5267
<widget class="GtkImage" id="image285">
5268
<property name="visible">True</property>
5269
<property name="stock">gtk-open</property>
5270
<property name="icon_size">4</property>
5271
<property name="xalign">0.5</property>
5272
<property name="yalign">0.5</property>
5273
<property name="xpad">0</property>
5274
<property name="ypad">0</property>
5279
<property name="left_attach">2</property>
5280
<property name="right_attach">3</property>
5281
<property name="top_attach">0</property>
5282
<property name="bottom_attach">1</property>
5283
<property name="x_options">fill</property>
5284
<property name="y_options"></property>
5289
<widget class="GtkButton" id="button_term">
5290
<property name="visible">True</property>
5291
<property name="can_focus">True</property>
5292
<property name="relief">GTK_RELIEF_NORMAL</property>
5293
<property name="focus_on_click">True</property>
5296
<widget class="GtkImage" id="image286">
5297
<property name="visible">True</property>
5298
<property name="stock">gtk-open</property>
5299
<property name="icon_size">4</property>
5300
<property name="xalign">0.5</property>
5301
<property name="yalign">0.5</property>
5302
<property name="xpad">0</property>
5303
<property name="ypad">0</property>
5308
<property name="left_attach">2</property>
5309
<property name="right_attach">3</property>
5310
<property name="top_attach">1</property>
5311
<property name="bottom_attach">2</property>
5312
<property name="x_options">fill</property>
5313
<property name="y_options"></property>
5318
<widget class="GtkButton" id="button_browser">
5319
<property name="visible">True</property>
5320
<property name="can_focus">True</property>
5321
<property name="relief">GTK_RELIEF_NORMAL</property>
5322
<property name="focus_on_click">True</property>
5325
<widget class="GtkImage" id="image287">
5326
<property name="visible">True</property>
5327
<property name="stock">gtk-open</property>
5328
<property name="icon_size">4</property>
5329
<property name="xalign">0.5</property>
5330
<property name="yalign">0.5</property>
5331
<property name="xpad">0</property>
5332
<property name="ypad">0</property>
5337
<property name="left_attach">2</property>
5338
<property name="right_attach">3</property>
5339
<property name="top_attach">2</property>
5340
<property name="bottom_attach">3</property>
5341
<property name="x_options">fill</property>
5342
<property name="y_options"></property>
5347
<widget class="GtkLabel" id="label154">
5348
<property name="visible">True</property>
5349
<property name="label" translatable="yes">Print command</property>
5350
<property name="use_underline">False</property>
5351
<property name="use_markup">False</property>
5352
<property name="justify">GTK_JUSTIFY_LEFT</property>
5353
<property name="wrap">False</property>
5354
<property name="selectable">False</property>
5355
<property name="xalign">0</property>
5356
<property name="yalign">0.5</property>
5357
<property name="xpad">0</property>
5358
<property name="ypad">0</property>
5359
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5360
<property name="width_chars">-1</property>
5361
<property name="single_line_mode">False</property>
5362
<property name="angle">0</property>
5365
<property name="left_attach">0</property>
5366
<property name="right_attach">1</property>
5367
<property name="top_attach">3</property>
5368
<property name="bottom_attach">4</property>
5369
<property name="x_options">fill</property>
5370
<property name="y_options"></property>
5375
<widget class="GtkEntry" id="entry_print">
5376
<property name="visible">True</property>
5377
<property name="tooltip" translatable="yes">Path to the command for printing files (use %f for the filename).</property>
5378
<property name="can_focus">True</property>
5379
<property name="editable">True</property>
5380
<property name="visibility">True</property>
5381
<property name="max_length">0</property>
5382
<property name="text" translatable="yes"></property>
5383
<property name="has_frame">True</property>
5384
<property name="invisible_char">*</property>
5385
<property name="activates_default">False</property>
5388
<property name="left_attach">1</property>
5389
<property name="right_attach">2</property>
5390
<property name="top_attach">3</property>
5391
<property name="bottom_attach">4</property>
5392
<property name="y_options"></property>
5397
<widget class="GtkButton" id="button_print">
5398
<property name="visible">True</property>
5399
<property name="can_focus">True</property>
5400
<property name="relief">GTK_RELIEF_NORMAL</property>
5401
<property name="focus_on_click">True</property>
5404
<widget class="GtkImage" id="image763">
5405
<property name="visible">True</property>
5406
<property name="stock">gtk-open</property>
5407
<property name="icon_size">4</property>
5408
<property name="xalign">0.5</property>
5409
<property name="yalign">0.5</property>
5410
<property name="xpad">0</property>
5411
<property name="ypad">0</property>
5416
<property name="left_attach">2</property>
5417
<property name="right_attach">3</property>
5418
<property name="top_attach">3</property>
5419
<property name="bottom_attach">4</property>
5420
<property name="x_options">fill</property>
5421
<property name="y_options"></property>
5426
<widget class="GtkLabel" id="label171">
5427
<property name="visible">True</property>
5428
<property name="label" translatable="yes">Grep</property>
5429
<property name="use_underline">False</property>
5430
<property name="use_markup">False</property>
5431
<property name="justify">GTK_JUSTIFY_LEFT</property>
5432
<property name="wrap">False</property>
5433
<property name="selectable">False</property>
5434
<property name="xalign">0</property>
5435
<property name="yalign">0.5</property>
5436
<property name="xpad">0</property>
5437
<property name="ypad">0</property>
5438
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5439
<property name="width_chars">-1</property>
5440
<property name="single_line_mode">False</property>
5441
<property name="angle">0</property>
5444
<property name="left_attach">0</property>
5445
<property name="right_attach">1</property>
5446
<property name="top_attach">4</property>
5447
<property name="bottom_attach">5</property>
5448
<property name="x_options">fill</property>
5449
<property name="y_options"></property>
5454
<widget class="GtkEntry" id="entry_grep">
5455
<property name="visible">True</property>
5456
<property name="can_focus">True</property>
5457
<property name="editable">True</property>
5458
<property name="visibility">True</property>
5459
<property name="max_length">0</property>
5460
<property name="text" translatable="yes"></property>
5461
<property name="has_frame">True</property>
5462
<property name="invisible_char">*</property>
5463
<property name="activates_default">False</property>
5466
<property name="left_attach">1</property>
5467
<property name="right_attach">2</property>
5468
<property name="top_attach">4</property>
5469
<property name="bottom_attach">5</property>
5470
<property name="y_options"></property>
5475
<widget class="GtkButton" id="button_grep">
5476
<property name="visible">True</property>
5477
<property name="can_focus">True</property>
5478
<property name="relief">GTK_RELIEF_NORMAL</property>
5479
<property name="focus_on_click">True</property>
5482
<widget class="GtkImage" id="image808">
5483
<property name="visible">True</property>
5484
<property name="stock">gtk-open</property>
5485
<property name="icon_size">4</property>
5486
<property name="xalign">0.5</property>
5487
<property name="yalign">0.5</property>
5488
<property name="xpad">0</property>
5489
<property name="ypad">0</property>
5494
<property name="left_attach">2</property>
5495
<property name="right_attach">3</property>
5496
<property name="top_attach">4</property>
5497
<property name="bottom_attach">5</property>
5498
<property name="x_options">fill</property>
5499
<property name="y_options"></property>
6446
<widget class="GtkVBox" id="vbox18">
6447
<property name="visible">True</property>
6448
<property name="homogeneous">False</property>
6449
<property name="spacing">10</property>
6452
<widget class="GtkFrame" id="frame6">
6453
<property name="visible">True</property>
6454
<property name="label_xalign">0</property>
6455
<property name="label_yalign">0.5</property>
6456
<property name="shadow_type">GTK_SHADOW_NONE</property>
6459
<widget class="GtkAlignment" id="alignment7">
6460
<property name="visible">True</property>
6461
<property name="xalign">0.5</property>
6462
<property name="yalign">0.5</property>
6463
<property name="xscale">1</property>
6464
<property name="yscale">1</property>
6465
<property name="top_padding">0</property>
6466
<property name="bottom_padding">0</property>
6467
<property name="left_padding">12</property>
6468
<property name="right_padding">0</property>
6471
<widget class="GtkVBox" id="vbox8">
6472
<property name="visible">True</property>
6473
<property name="homogeneous">False</property>
6474
<property name="spacing">3</property>
6477
<widget class="GtkTable" id="table5">
6478
<property name="visible">True</property>
6479
<property name="n_rows">3</property>
6480
<property name="n_columns">2</property>
6481
<property name="homogeneous">False</property>
6482
<property name="row_spacing">3</property>
6483
<property name="column_spacing">0</property>
6486
<widget class="GtkEventBox" id="eventbox1">
6487
<property name="visible">True</property>
6488
<property name="tooltip" translatable="yes">Sets the default encoding for newly created files.</property>
6489
<property name="visible_window">True</property>
6490
<property name="above_child">False</property>
6493
<widget class="GtkComboBox" id="combo_new_encoding">
6494
<property name="visible">True</property>
6495
<property name="add_tearoffs">False</property>
6496
<property name="focus_on_click">True</property>
6501
<property name="left_attach">1</property>
6502
<property name="right_attach">2</property>
6503
<property name="top_attach">0</property>
6504
<property name="bottom_attach">1</property>
6505
<property name="x_options">fill</property>
6506
<property name="y_options">fill</property>
6511
<widget class="GtkLabel" id="label153">
6512
<property name="visible">True</property>
6513
<property name="label" translatable="yes">Default encoding (new files):</property>
6514
<property name="use_underline">False</property>
6515
<property name="use_markup">False</property>
6516
<property name="justify">GTK_JUSTIFY_LEFT</property>
6517
<property name="wrap">False</property>
6518
<property name="selectable">False</property>
6519
<property name="xalign">0</property>
6520
<property name="yalign">0.5</property>
6521
<property name="xpad">0</property>
6522
<property name="ypad">0</property>
6523
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6524
<property name="width_chars">-1</property>
6525
<property name="single_line_mode">False</property>
6526
<property name="angle">0</property>
6529
<property name="left_attach">0</property>
6530
<property name="right_attach">1</property>
6531
<property name="top_attach">0</property>
6532
<property name="bottom_attach">1</property>
6533
<property name="x_options">fill</property>
6534
<property name="y_options"></property>
6539
<widget class="GtkLabel" id="label_open_encoding">
6540
<property name="visible">True</property>
6541
<property name="label" translatable="yes">Default encoding (existing files):</property>
6542
<property name="use_underline">False</property>
6543
<property name="use_markup">False</property>
6544
<property name="justify">GTK_JUSTIFY_LEFT</property>
6545
<property name="wrap">False</property>
6546
<property name="selectable">False</property>
6547
<property name="xalign">0</property>
6548
<property name="yalign">0.5</property>
6549
<property name="xpad">0</property>
6550
<property name="ypad">0</property>
6551
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6552
<property name="width_chars">-1</property>
6553
<property name="single_line_mode">False</property>
6554
<property name="angle">0</property>
6557
<property name="left_attach">0</property>
6558
<property name="right_attach">1</property>
6559
<property name="top_attach">2</property>
6560
<property name="bottom_attach">3</property>
6561
<property name="x_options">fill</property>
6562
<property name="y_options"></property>
6567
<widget class="GtkEventBox" id="eventbox3">
6568
<property name="visible">True</property>
6569
<property name="tooltip" translatable="yes">Sets the default encoding for opening existing files.</property>
6570
<property name="visible_window">True</property>
6571
<property name="above_child">False</property>
6574
<widget class="GtkComboBox" id="combo_open_encoding">
6575
<property name="visible">True</property>
6576
<property name="add_tearoffs">False</property>
6577
<property name="focus_on_click">True</property>
6582
<property name="left_attach">1</property>
6583
<property name="right_attach">2</property>
6584
<property name="top_attach">2</property>
6585
<property name="bottom_attach">3</property>
6586
<property name="x_options">fill</property>
6587
<property name="y_options">fill</property>
6592
<widget class="GtkCheckButton" id="check_open_encoding">
6593
<property name="visible">True</property>
6594
<property name="tooltip" translatable="yes">This option disables the automatic detection of the file encoding when opening files and opens the file with the specified encoding (usually not needed).</property>
6595
<property name="can_focus">True</property>
6596
<property name="label" translatable="yes">Use fixed encoding when opening files</property>
6597
<property name="use_underline">True</property>
6598
<property name="relief">GTK_RELIEF_NORMAL</property>
6599
<property name="focus_on_click">False</property>
6600
<property name="active">False</property>
6601
<property name="inconsistent">False</property>
6602
<property name="draw_indicator">True</property>
6605
<property name="left_attach">0</property>
6606
<property name="right_attach">2</property>
6607
<property name="top_attach">1</property>
6608
<property name="bottom_attach">2</property>
6609
<property name="y_options"></property>
6614
<property name="padding">0</property>
6615
<property name="expand">False</property>
6616
<property name="fill">True</property>
6625
<widget class="GtkLabel" id="label109">
6626
<property name="visible">True</property>
6627
<property name="label" translatable="yes"><b>New files</b></property>
6628
<property name="use_underline">False</property>
6629
<property name="use_markup">True</property>
6630
<property name="justify">GTK_JUSTIFY_LEFT</property>
6631
<property name="wrap">False</property>
6632
<property name="selectable">False</property>
6633
<property name="xalign">0.5</property>
6634
<property name="yalign">0.5</property>
6635
<property name="xpad">0</property>
6636
<property name="ypad">0</property>
6637
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6638
<property name="width_chars">-1</property>
6639
<property name="single_line_mode">False</property>
6640
<property name="angle">0</property>
6643
<property name="type">label_item</property>
6648
<property name="padding">0</property>
6649
<property name="expand">False</property>
6650
<property name="fill">True</property>
6655
<widget class="GtkFrame" id="frame2">
6656
<property name="visible">True</property>
6657
<property name="label_xalign">0</property>
6658
<property name="label_yalign">0.5</property>
6659
<property name="shadow_type">GTK_SHADOW_NONE</property>
6662
<widget class="GtkAlignment" id="alignment3">
6663
<property name="visible">True</property>
6664
<property name="xalign">0.5</property>
6665
<property name="yalign">0.5</property>
6666
<property name="xscale">1</property>
6667
<property name="yscale">1</property>
6668
<property name="top_padding">0</property>
6669
<property name="bottom_padding">0</property>
6670
<property name="left_padding">12</property>
6671
<property name="right_padding">0</property>
6674
<widget class="GtkVBox" id="vbox6">
6675
<property name="visible">True</property>
6676
<property name="homogeneous">False</property>
6677
<property name="spacing">0</property>
6680
<widget class="GtkCheckButton" id="check_new_line">
6681
<property name="visible">True</property>
6682
<property name="tooltip" translatable="yes">Ensures that at the end of the file is a new line</property>
6683
<property name="label" translatable="yes">Ensure new line at file end</property>
6684
<property name="use_underline">True</property>
6685
<property name="relief">GTK_RELIEF_NORMAL</property>
6686
<property name="focus_on_click">False</property>
6687
<property name="active">False</property>
6688
<property name="inconsistent">False</property>
6689
<property name="draw_indicator">True</property>
6692
<property name="padding">0</property>
6693
<property name="expand">False</property>
6694
<property name="fill">False</property>
6699
<widget class="GtkCheckButton" id="check_trailing_spaces">
6700
<property name="visible">True</property>
6701
<property name="tooltip" translatable="yes">Removes trailing spaces and tabs and the end of lines</property>
6702
<property name="label" translatable="yes">Strip trailing spaces</property>
6703
<property name="use_underline">True</property>
6704
<property name="relief">GTK_RELIEF_NORMAL</property>
6705
<property name="focus_on_click">False</property>
6706
<property name="active">False</property>
6707
<property name="inconsistent">False</property>
6708
<property name="draw_indicator">True</property>
6711
<property name="padding">0</property>
6712
<property name="expand">False</property>
6713
<property name="fill">False</property>
6718
<widget class="GtkCheckButton" id="check_replace_tabs">
6719
<property name="visible">True</property>
6720
<property name="tooltip" translatable="yes">Replaces all tabs in document by spaces.</property>
6721
<property name="label" translatable="yes">Replace tabs by space</property>
6722
<property name="use_underline">True</property>
6723
<property name="relief">GTK_RELIEF_NORMAL</property>
6724
<property name="focus_on_click">False</property>
6725
<property name="active">False</property>
6726
<property name="inconsistent">False</property>
6727
<property name="draw_indicator">True</property>
6730
<property name="padding">0</property>
6731
<property name="expand">False</property>
6732
<property name="fill">False</property>
6741
<widget class="GtkLabel" id="label19">
6742
<property name="visible">True</property>
6743
<property name="label" translatable="yes"><b>Saving files</b></property>
6744
<property name="use_underline">False</property>
6745
<property name="use_markup">True</property>
6746
<property name="justify">GTK_JUSTIFY_LEFT</property>
6747
<property name="wrap">False</property>
6748
<property name="selectable">False</property>
6749
<property name="xalign">0.5</property>
6750
<property name="yalign">0.5</property>
6751
<property name="xpad">0</property>
6752
<property name="ypad">0</property>
6753
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6754
<property name="width_chars">-1</property>
6755
<property name="single_line_mode">False</property>
6756
<property name="angle">0</property>
6759
<property name="type">label_item</property>
6764
<property name="padding">0</property>
6765
<property name="expand">False</property>
6766
<property name="fill">True</property>
6771
<widget class="GtkFrame" id="frame17">
6772
<property name="visible">True</property>
6773
<property name="label_xalign">0</property>
6774
<property name="label_yalign">0.5</property>
6775
<property name="shadow_type">GTK_SHADOW_NONE</property>
6778
<widget class="GtkAlignment" id="alignment20">
6779
<property name="visible">True</property>
6780
<property name="xalign">0.5</property>
6781
<property name="yalign">0.5</property>
6782
<property name="xscale">1</property>
6783
<property name="yscale">1</property>
6784
<property name="top_padding">0</property>
6785
<property name="bottom_padding">0</property>
6786
<property name="left_padding">12</property>
6787
<property name="right_padding">0</property>
6790
<widget class="GtkTable" id="table10">
6791
<property name="visible">True</property>
6792
<property name="n_rows">2</property>
6793
<property name="n_columns">2</property>
6794
<property name="homogeneous">False</property>
6795
<property name="row_spacing">3</property>
6796
<property name="column_spacing">24</property>
6799
<widget class="GtkLabel" id="label147">
6800
<property name="visible">True</property>
6801
<property name="label" translatable="yes">Recent files list length:</property>
6802
<property name="use_underline">False</property>
6803
<property name="use_markup">False</property>
6804
<property name="justify">GTK_JUSTIFY_LEFT</property>
6805
<property name="wrap">False</property>
6806
<property name="selectable">False</property>
6807
<property name="xalign">0</property>
6808
<property name="yalign">0.5</property>
6809
<property name="xpad">0</property>
6810
<property name="ypad">7</property>
6811
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6812
<property name="width_chars">-1</property>
6813
<property name="single_line_mode">False</property>
6814
<property name="angle">0</property>
6817
<property name="left_attach">0</property>
6818
<property name="right_attach">1</property>
6819
<property name="top_attach">0</property>
6820
<property name="bottom_attach">1</property>
6821
<property name="x_options">fill</property>
6822
<property name="y_options"></property>
6827
<widget class="GtkSpinButton" id="spin_mru">
6828
<property name="visible">True</property>
6829
<property name="tooltip" translatable="yes">Specifies the number of files which are stored in the Recent files list.</property>
6830
<property name="can_focus">True</property>
6831
<property name="climb_rate">1</property>
6832
<property name="digits">0</property>
6833
<property name="numeric">True</property>
6834
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
6835
<property name="snap_to_ticks">False</property>
6836
<property name="wrap">True</property>
6837
<property name="adjustment">4 1 50 1 10 10</property>
6840
<property name="left_attach">1</property>
6841
<property name="right_attach">2</property>
6842
<property name="top_attach">0</property>
6843
<property name="bottom_attach">1</property>
6844
<property name="x_options">fill</property>
6845
<property name="y_options"></property>
6854
<widget class="GtkLabel" id="label198">
6855
<property name="visible">True</property>
6856
<property name="label" translatable="yes"><b>Miscellaneous</b></property>
6857
<property name="use_underline">False</property>
6858
<property name="use_markup">True</property>
6859
<property name="justify">GTK_JUSTIFY_LEFT</property>
6860
<property name="wrap">False</property>
6861
<property name="selectable">False</property>
6862
<property name="xalign">0.5</property>
6863
<property name="yalign">0.5</property>
6864
<property name="xpad">0</property>
6865
<property name="ypad">0</property>
6866
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6867
<property name="width_chars">-1</property>
6868
<property name="single_line_mode">False</property>
6869
<property name="angle">0</property>
6872
<property name="type">label_item</property>
6877
<property name="padding">0</property>
6878
<property name="expand">False</property>
6879
<property name="fill">True</property>
6884
<property name="tab_expand">False</property>
6885
<property name="tab_fill">True</property>
6890
<widget class="GtkLabel" id="label174">
6891
<property name="visible">True</property>
6892
<property name="label" translatable="yes">Files</property>
6893
<property name="use_underline">False</property>
6894
<property name="use_markup">False</property>
6895
<property name="justify">GTK_JUSTIFY_LEFT</property>
6896
<property name="wrap">False</property>
6897
<property name="selectable">False</property>
6898
<property name="xalign">0.5</property>
6899
<property name="yalign">0.5</property>
6900
<property name="xpad">0</property>
6901
<property name="ypad">0</property>
6902
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6903
<property name="width_chars">-1</property>
6904
<property name="single_line_mode">False</property>
6905
<property name="angle">0</property>
6908
<property name="type">tab</property>
6913
<widget class="GtkVBox" id="vbox23">
6914
<property name="visible">True</property>
6915
<property name="homogeneous">False</property>
6916
<property name="spacing">10</property>
6919
<widget class="GtkFrame" id="frame20">
6920
<property name="visible">True</property>
6921
<property name="label_xalign">0</property>
6922
<property name="label_yalign">0.5</property>
6923
<property name="shadow_type">GTK_SHADOW_NONE</property>
6926
<widget class="GtkAlignment" id="alignment23">
6927
<property name="visible">True</property>
6928
<property name="xalign">0.5</property>
6929
<property name="yalign">0.5</property>
6930
<property name="xscale">1</property>
6931
<property name="yscale">1</property>
6932
<property name="top_padding">0</property>
6933
<property name="bottom_padding">0</property>
6934
<property name="left_padding">12</property>
6935
<property name="right_padding">0</property>
6938
<widget class="GtkVBox" id="vbox2">
6939
<property name="visible">True</property>
6940
<property name="homogeneous">False</property>
6941
<property name="spacing">12</property>
6944
<widget class="GtkVBox" id="vbox33">
6945
<property name="visible">True</property>
6946
<property name="homogeneous">False</property>
6947
<property name="spacing">0</property>
6954
<property name="padding">0</property>
6955
<property name="expand">False</property>
6956
<property name="fill">False</property>
6961
<widget class="GtkTable" id="table1">
6962
<property name="visible">True</property>
6963
<property name="n_rows">4</property>
6964
<property name="n_columns">3</property>
6965
<property name="homogeneous">False</property>
6966
<property name="row_spacing">3</property>
6967
<property name="column_spacing">6</property>
6970
<widget class="GtkLabel" id="label11">
6971
<property name="visible">True</property>
6972
<property name="label" translatable="yes">Make:</property>
6973
<property name="use_underline">False</property>
6974
<property name="use_markup">False</property>
6975
<property name="justify">GTK_JUSTIFY_LEFT</property>
6976
<property name="wrap">False</property>
6977
<property name="selectable">False</property>
6978
<property name="xalign">0</property>
6979
<property name="yalign">0.5</property>
6980
<property name="xpad">0</property>
6981
<property name="ypad">0</property>
6982
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6983
<property name="width_chars">-1</property>
6984
<property name="single_line_mode">False</property>
6985
<property name="angle">0</property>
6988
<property name="left_attach">0</property>
6989
<property name="right_attach">1</property>
6990
<property name="top_attach">0</property>
6991
<property name="bottom_attach">1</property>
6992
<property name="x_options">fill</property>
6993
<property name="y_options"></property>
6998
<widget class="GtkLabel" id="label97">
6999
<property name="visible">True</property>
7000
<property name="label" translatable="yes">Terminal:</property>
7001
<property name="use_underline">False</property>
7002
<property name="use_markup">False</property>
7003
<property name="justify">GTK_JUSTIFY_LEFT</property>
7004
<property name="wrap">False</property>
7005
<property name="selectable">False</property>
7006
<property name="xalign">0</property>
7007
<property name="yalign">0.5</property>
7008
<property name="xpad">0</property>
7009
<property name="ypad">0</property>
7010
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7011
<property name="width_chars">-1</property>
7012
<property name="single_line_mode">False</property>
7013
<property name="angle">0</property>
7016
<property name="left_attach">0</property>
7017
<property name="right_attach">1</property>
7018
<property name="top_attach">1</property>
7019
<property name="bottom_attach">2</property>
7020
<property name="x_options">fill</property>
7021
<property name="y_options"></property>
7026
<widget class="GtkLabel" id="label117">
7027
<property name="visible">True</property>
7028
<property name="label" translatable="yes">Browser:</property>
7029
<property name="use_underline">False</property>
7030
<property name="use_markup">False</property>
7031
<property name="justify">GTK_JUSTIFY_LEFT</property>
7032
<property name="wrap">False</property>
7033
<property name="selectable">False</property>
7034
<property name="xalign">0</property>
7035
<property name="yalign">0.5</property>
7036
<property name="xpad">0</property>
7037
<property name="ypad">0</property>
7038
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7039
<property name="width_chars">-1</property>
7040
<property name="single_line_mode">False</property>
7041
<property name="angle">0</property>
7044
<property name="left_attach">0</property>
7045
<property name="right_attach">1</property>
7046
<property name="top_attach">2</property>
7047
<property name="bottom_attach">3</property>
7048
<property name="x_options">fill</property>
7049
<property name="y_options"></property>
7054
<widget class="GtkEntry" id="entry_com_make">
7055
<property name="visible">True</property>
7056
<property name="tooltip" translatable="yes">Path and options for the make tool</property>
7057
<property name="can_focus">True</property>
7058
<property name="editable">True</property>
7059
<property name="visibility">True</property>
7060
<property name="max_length">0</property>
7061
<property name="text" translatable="yes"></property>
7062
<property name="has_frame">True</property>
7063
<property name="invisible_char">*</property>
7064
<property name="activates_default">False</property>
7067
<property name="left_attach">1</property>
7068
<property name="right_attach">2</property>
7069
<property name="top_attach">0</property>
7070
<property name="bottom_attach">1</property>
7071
<property name="y_options"></property>
7076
<widget class="GtkEntry" id="entry_com_term">
7077
<property name="visible">True</property>
7078
<property name="tooltip" translatable="yes">A terminal emulator like xterm, gnome-terminal or konsole (should accept the -e argument)</property>
7079
<property name="can_focus">True</property>
7080
<property name="editable">True</property>
7081
<property name="visibility">True</property>
7082
<property name="max_length">0</property>
7083
<property name="text" translatable="yes"></property>
7084
<property name="has_frame">True</property>
7085
<property name="invisible_char">*</property>
7086
<property name="activates_default">False</property>
7089
<property name="left_attach">1</property>
7090
<property name="right_attach">2</property>
7091
<property name="top_attach">1</property>
7092
<property name="bottom_attach">2</property>
7093
<property name="y_options"></property>
7098
<widget class="GtkEntry" id="entry_browser">
7099
<property name="visible">True</property>
7100
<property name="tooltip" translatable="yes">Path (and possibly additional arguments) to your favorite browser</property>
7101
<property name="can_focus">True</property>
7102
<property name="editable">True</property>
7103
<property name="visibility">True</property>
7104
<property name="max_length">0</property>
7105
<property name="text" translatable="yes"></property>
7106
<property name="has_frame">True</property>
7107
<property name="invisible_char">*</property>
7108
<property name="activates_default">False</property>
7111
<property name="left_attach">1</property>
7112
<property name="right_attach">2</property>
7113
<property name="top_attach">2</property>
7114
<property name="bottom_attach">3</property>
7115
<property name="y_options"></property>
7120
<widget class="GtkButton" id="button_make">
7121
<property name="visible">True</property>
7122
<property name="can_focus">True</property>
7123
<property name="relief">GTK_RELIEF_NORMAL</property>
7124
<property name="focus_on_click">True</property>
7127
<widget class="GtkImage" id="image285">
7128
<property name="visible">True</property>
7129
<property name="stock">gtk-open</property>
7130
<property name="icon_size">4</property>
7131
<property name="xalign">0.5</property>
7132
<property name="yalign">0.5</property>
7133
<property name="xpad">0</property>
7134
<property name="ypad">0</property>
7139
<property name="left_attach">2</property>
7140
<property name="right_attach">3</property>
7141
<property name="top_attach">0</property>
7142
<property name="bottom_attach">1</property>
7143
<property name="x_options">fill</property>
7144
<property name="y_options"></property>
7149
<widget class="GtkButton" id="button_term">
7150
<property name="visible">True</property>
7151
<property name="can_focus">True</property>
7152
<property name="relief">GTK_RELIEF_NORMAL</property>
7153
<property name="focus_on_click">True</property>
7156
<widget class="GtkImage" id="image286">
7157
<property name="visible">True</property>
7158
<property name="stock">gtk-open</property>
7159
<property name="icon_size">4</property>
7160
<property name="xalign">0.5</property>
7161
<property name="yalign">0.5</property>
7162
<property name="xpad">0</property>
7163
<property name="ypad">0</property>
7168
<property name="left_attach">2</property>
7169
<property name="right_attach">3</property>
7170
<property name="top_attach">1</property>
7171
<property name="bottom_attach">2</property>
7172
<property name="x_options">fill</property>
7173
<property name="y_options"></property>
7178
<widget class="GtkButton" id="button_browser">
7179
<property name="visible">True</property>
7180
<property name="can_focus">True</property>
7181
<property name="relief">GTK_RELIEF_NORMAL</property>
7182
<property name="focus_on_click">True</property>
7185
<widget class="GtkImage" id="image287">
7186
<property name="visible">True</property>
7187
<property name="stock">gtk-open</property>
7188
<property name="icon_size">4</property>
7189
<property name="xalign">0.5</property>
7190
<property name="yalign">0.5</property>
7191
<property name="xpad">0</property>
7192
<property name="ypad">0</property>
7197
<property name="left_attach">2</property>
7198
<property name="right_attach">3</property>
7199
<property name="top_attach">2</property>
7200
<property name="bottom_attach">3</property>
7201
<property name="x_options">fill</property>
7202
<property name="y_options"></property>
7207
<widget class="GtkLabel" id="label171">
7208
<property name="visible">True</property>
7209
<property name="label" translatable="yes">Grep:</property>
7210
<property name="use_underline">False</property>
7211
<property name="use_markup">False</property>
7212
<property name="justify">GTK_JUSTIFY_LEFT</property>
7213
<property name="wrap">False</property>
7214
<property name="selectable">False</property>
7215
<property name="xalign">0</property>
7216
<property name="yalign">0.5</property>
7217
<property name="xpad">0</property>
7218
<property name="ypad">0</property>
7219
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7220
<property name="width_chars">-1</property>
7221
<property name="single_line_mode">False</property>
7222
<property name="angle">0</property>
7225
<property name="left_attach">0</property>
7226
<property name="right_attach">1</property>
7227
<property name="top_attach">3</property>
7228
<property name="bottom_attach">4</property>
7229
<property name="x_options">fill</property>
7230
<property name="y_options"></property>
7235
<widget class="GtkEntry" id="entry_grep">
7236
<property name="visible">True</property>
7237
<property name="can_focus">True</property>
7238
<property name="editable">True</property>
7239
<property name="visibility">True</property>
7240
<property name="max_length">0</property>
7241
<property name="text" translatable="yes"></property>
7242
<property name="has_frame">True</property>
7243
<property name="invisible_char">*</property>
7244
<property name="activates_default">False</property>
7247
<property name="left_attach">1</property>
7248
<property name="right_attach">2</property>
7249
<property name="top_attach">3</property>
7250
<property name="bottom_attach">4</property>
7251
<property name="y_options"></property>
7256
<widget class="GtkButton" id="button_grep">
7257
<property name="visible">True</property>
7258
<property name="can_focus">True</property>
7259
<property name="relief">GTK_RELIEF_NORMAL</property>
7260
<property name="focus_on_click">True</property>
7263
<widget class="GtkImage" id="image808">
7264
<property name="visible">True</property>
7265
<property name="stock">gtk-open</property>
7266
<property name="icon_size">4</property>
7267
<property name="xalign">0.5</property>
7268
<property name="yalign">0.5</property>
7269
<property name="xpad">0</property>
7270
<property name="ypad">0</property>
7275
<property name="left_attach">2</property>
7276
<property name="right_attach">3</property>
7277
<property name="top_attach">3</property>
7278
<property name="bottom_attach">4</property>
7279
<property name="x_options">fill</property>
7280
<property name="y_options"></property>
7285
<property name="padding">0</property>
7286
<property name="expand">False</property>
7287
<property name="fill">True</property>
7296
<widget class="GtkLabel" id="label179">
7297
<property name="visible">True</property>
7298
<property name="label" translatable="yes"><b>Tool paths</b></property>
7299
<property name="use_underline">False</property>
7300
<property name="use_markup">True</property>
7301
<property name="justify">GTK_JUSTIFY_LEFT</property>
7302
<property name="wrap">False</property>
7303
<property name="selectable">False</property>
7304
<property name="xalign">0.5</property>
7305
<property name="yalign">0.5</property>
7306
<property name="xpad">0</property>
7307
<property name="ypad">0</property>
7308
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7309
<property name="width_chars">-1</property>
7310
<property name="single_line_mode">False</property>
7311
<property name="angle">0</property>
7314
<property name="type">label_item</property>
7319
<property name="padding">0</property>
7320
<property name="expand">False</property>
7321
<property name="fill">True</property>
7326
<widget class="GtkFrame" id="frame26">
7327
<property name="visible">True</property>
7328
<property name="label_xalign">0</property>
7329
<property name="label_yalign">0.5</property>
7330
<property name="shadow_type">GTK_SHADOW_NONE</property>
7333
<widget class="GtkAlignment" id="alignment29">
7334
<property name="visible">True</property>
7335
<property name="xalign">0.5</property>
7336
<property name="yalign">0.5</property>
7337
<property name="xscale">1</property>
7338
<property name="yscale">1</property>
7339
<property name="top_padding">0</property>
7340
<property name="bottom_padding">0</property>
7341
<property name="left_padding">12</property>
7342
<property name="right_padding">0</property>
7345
<widget class="GtkTable" id="table12">
7346
<property name="visible">True</property>
7347
<property name="n_rows">2</property>
7348
<property name="n_columns">3</property>
7349
<property name="homogeneous">False</property>
7350
<property name="row_spacing">3</property>
7351
<property name="column_spacing">6</property>
7354
<widget class="GtkLabel" id="label189">
7355
<property name="visible">True</property>
7356
<property name="label" translatable="yes">Context action:</property>
7357
<property name="use_underline">False</property>
7358
<property name="use_markup">False</property>
7359
<property name="justify">GTK_JUSTIFY_LEFT</property>
7360
<property name="wrap">False</property>
7361
<property name="selectable">False</property>
7362
<property name="xalign">0.5</property>
7363
<property name="yalign">0.5</property>
7364
<property name="xpad">0</property>
7365
<property name="ypad">0</property>
7366
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7367
<property name="width_chars">-1</property>
7368
<property name="single_line_mode">False</property>
7369
<property name="angle">0</property>
7372
<property name="left_attach">0</property>
7373
<property name="right_attach">1</property>
7374
<property name="top_attach">0</property>
7375
<property name="bottom_attach">1</property>
7376
<property name="x_options">fill</property>
7377
<property name="y_options"></property>
7382
<widget class="GtkEntry" id="entry_contextaction">
7383
<property name="visible">True</property>
7384
<property name="tooltip" translatable="yes">Context action command. The currently selected word can be used with %s. It can appear anywhere in the given command and will be replaced before execution.</property>
7385
<property name="can_focus">True</property>
7386
<property name="editable">True</property>
7387
<property name="visibility">True</property>
7388
<property name="max_length">0</property>
7389
<property name="text" translatable="yes"></property>
7390
<property name="has_frame">True</property>
7391
<property name="invisible_char">●</property>
7392
<property name="activates_default">False</property>
7395
<property name="left_attach">1</property>
7396
<property name="right_attach">2</property>
7397
<property name="top_attach">0</property>
7398
<property name="bottom_attach">1</property>
7399
<property name="y_options"></property>
7404
<widget class="GtkButton" id="button_contextaction">
7405
<property name="visible">True</property>
7406
<property name="can_focus">True</property>
7407
<property name="relief">GTK_RELIEF_NORMAL</property>
7408
<property name="focus_on_click">True</property>
7411
<widget class="GtkImage" id="image1919">
7412
<property name="visible">True</property>
7413
<property name="stock">gtk-open</property>
7414
<property name="icon_size">4</property>
7415
<property name="xalign">0.5</property>
7416
<property name="yalign">0.5</property>
7417
<property name="xpad">0</property>
7418
<property name="ypad">0</property>
7423
<property name="left_attach">2</property>
7424
<property name="right_attach">3</property>
7425
<property name="top_attach">0</property>
7426
<property name="bottom_attach">1</property>
7427
<property name="x_options">fill</property>
7428
<property name="y_options"></property>
7437
<widget class="GtkLabel" id="label193">
7438
<property name="visible">True</property>
7439
<property name="label" translatable="yes"><b>Commands</b></property>
7440
<property name="use_underline">False</property>
7441
<property name="use_markup">True</property>
7442
<property name="justify">GTK_JUSTIFY_LEFT</property>
7443
<property name="wrap">False</property>
7444
<property name="selectable">False</property>
7445
<property name="xalign">0.5</property>
7446
<property name="yalign">0.5</property>
7447
<property name="xpad">0</property>
7448
<property name="ypad">0</property>
7449
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7450
<property name="width_chars">-1</property>
7451
<property name="single_line_mode">False</property>
7452
<property name="angle">0</property>
7455
<property name="type">label_item</property>
5540
<widget class="GtkVBox" id="vbox9">
7496
<widget class="GtkFrame" id="frame21">
5541
7497
<property name="visible">True</property>
5542
<property name="homogeneous">False</property>
5543
<property name="spacing">0</property>
7498
<property name="label_xalign">0</property>
7499
<property name="label_yalign">0.5</property>
7500
<property name="shadow_type">GTK_SHADOW_NONE</property>
5546
<widget class="GtkLabel" id="label120">
7503
<widget class="GtkAlignment" id="alignment24">
5547
7504
<property name="visible">True</property>
5548
<property name="label" translatable="yes">Specify here information you want to use in templates.
5549
See documentation if you don't know how templates work.</property>
5550
<property name="use_underline">False</property>
5551
<property name="use_markup">False</property>
5552
<property name="justify">GTK_JUSTIFY_LEFT</property>
5553
<property name="wrap">False</property>
5554
<property name="selectable">False</property>
5555
7505
<property name="xalign">0.5</property>
5556
7506
<property name="yalign">0.5</property>
5557
<property name="xpad">0</property>
5558
<property name="ypad">6</property>
5559
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5560
<property name="width_chars">-1</property>
5561
<property name="single_line_mode">False</property>
5562
<property name="angle">0</property>
5565
<property name="padding">0</property>
5566
<property name="expand">False</property>
5567
<property name="fill">False</property>
5572
<widget class="GtkTable" id="table6">
5573
<property name="visible">True</property>
5574
<property name="n_rows">8</property>
5575
<property name="n_columns">2</property>
5576
<property name="homogeneous">False</property>
5577
<property name="row_spacing">7</property>
5578
<property name="column_spacing">5</property>
5581
<widget class="GtkEntry" id="entry_template_mail">
5582
<property name="visible">True</property>
5583
<property name="tooltip" translatable="yes">email address of the developer</property>
5584
<property name="can_focus">True</property>
5585
<property name="editable">True</property>
5586
<property name="visibility">True</property>
5587
<property name="max_length">0</property>
5588
<property name="text" translatable="yes"></property>
5589
<property name="has_frame">True</property>
5590
<property name="invisible_char">*</property>
5591
<property name="activates_default">False</property>
5594
<property name="left_attach">1</property>
5595
<property name="right_attach">2</property>
5596
<property name="top_attach">2</property>
5597
<property name="bottom_attach">3</property>
5598
<property name="y_options"></property>
5603
<widget class="GtkEntry" id="entry_template_initial">
5604
<property name="visible">True</property>
5605
<property name="tooltip" translatable="yes">Initials of the developer name</property>
5606
<property name="can_focus">True</property>
5607
<property name="editable">True</property>
5608
<property name="visibility">True</property>
5609
<property name="max_length">0</property>
5610
<property name="text" translatable="yes"></property>
5611
<property name="has_frame">True</property>
5612
<property name="invisible_char">*</property>
5613
<property name="activates_default">False</property>
5616
<property name="left_attach">1</property>
5617
<property name="right_attach">2</property>
5618
<property name="top_attach">1</property>
5619
<property name="bottom_attach">2</property>
5620
<property name="y_options"></property>
5625
<widget class="GtkLabel" id="label126">
5626
<property name="visible">True</property>
5627
<property name="label" translatable="yes">Initial Version</property>
5628
<property name="use_underline">False</property>
5629
<property name="use_markup">False</property>
5630
<property name="justify">GTK_JUSTIFY_LEFT</property>
5631
<property name="wrap">False</property>
5632
<property name="selectable">False</property>
5633
<property name="xalign">0</property>
5634
<property name="yalign">0.5</property>
5635
<property name="xpad">0</property>
5636
<property name="ypad">0</property>
5637
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5638
<property name="width_chars">-1</property>
5639
<property name="single_line_mode">False</property>
5640
<property name="angle">0</property>
5643
<property name="left_attach">0</property>
5644
<property name="right_attach">1</property>
5645
<property name="top_attach">4</property>
5646
<property name="bottom_attach">5</property>
5647
<property name="x_options">fill</property>
5648
<property name="y_options"></property>
5653
<widget class="GtkEntry" id="entry_template_version">
5654
<property name="visible">True</property>
5655
<property name="tooltip" translatable="yes">Version number, which a new file initially has</property>
5656
<property name="can_focus">True</property>
5657
<property name="editable">True</property>
5658
<property name="visibility">True</property>
5659
<property name="max_length">0</property>
5660
<property name="text" translatable="yes"></property>
5661
<property name="has_frame">True</property>
5662
<property name="invisible_char">*</property>
5663
<property name="activates_default">False</property>
5666
<property name="left_attach">1</property>
5667
<property name="right_attach">2</property>
5668
<property name="top_attach">4</property>
5669
<property name="bottom_attach">5</property>
5670
<property name="y_options"></property>
5675
<widget class="GtkEntry" id="entry_template_company">
5676
<property name="visible">True</property>
5677
<property name="tooltip" translatable="yes">Company name</property>
5678
<property name="can_focus">True</property>
5679
<property name="editable">True</property>
5680
<property name="visibility">True</property>
5681
<property name="max_length">0</property>
5682
<property name="text" translatable="yes"></property>
5683
<property name="has_frame">True</property>
5684
<property name="invisible_char">*</property>
5685
<property name="activates_default">False</property>
5688
<property name="left_attach">1</property>
5689
<property name="right_attach">2</property>
5690
<property name="top_attach">3</property>
5691
<property name="bottom_attach">4</property>
5692
<property name="y_options"></property>
5697
<widget class="GtkLabel" id="label129">
5698
<property name="visible">True</property>
5699
<property name="label" translatable="yes">Developer</property>
5700
<property name="use_underline">False</property>
5701
<property name="use_markup">False</property>
5702
<property name="justify">GTK_JUSTIFY_LEFT</property>
5703
<property name="wrap">False</property>
5704
<property name="selectable">False</property>
5705
<property name="xalign">0</property>
5706
<property name="yalign">0.5</property>
5707
<property name="xpad">0</property>
5708
<property name="ypad">0</property>
5709
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5710
<property name="width_chars">-1</property>
5711
<property name="single_line_mode">False</property>
5712
<property name="angle">0</property>
5715
<property name="left_attach">0</property>
5716
<property name="right_attach">1</property>
5717
<property name="top_attach">0</property>
5718
<property name="bottom_attach">1</property>
5719
<property name="x_options">fill</property>
5720
<property name="y_options"></property>
5725
<widget class="GtkLabel" id="label123">
5726
<property name="visible">True</property>
5727
<property name="label" translatable="yes">Company</property>
5728
<property name="use_underline">False</property>
5729
<property name="use_markup">False</property>
5730
<property name="justify">GTK_JUSTIFY_LEFT</property>
5731
<property name="wrap">False</property>
5732
<property name="selectable">False</property>
5733
<property name="xalign">0</property>
5734
<property name="yalign">0.5</property>
5735
<property name="xpad">0</property>
5736
<property name="ypad">0</property>
5737
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5738
<property name="width_chars">-1</property>
5739
<property name="single_line_mode">False</property>
5740
<property name="angle">0</property>
5743
<property name="left_attach">0</property>
5744
<property name="right_attach">1</property>
5745
<property name="top_attach">3</property>
5746
<property name="bottom_attach">4</property>
5747
<property name="x_options">fill</property>
5748
<property name="y_options"></property>
5753
<widget class="GtkLabel" id="label130">
5754
<property name="visible">True</property>
5755
<property name="label" translatable="yes">Mail address</property>
5756
<property name="use_underline">False</property>
5757
<property name="use_markup">False</property>
5758
<property name="justify">GTK_JUSTIFY_LEFT</property>
5759
<property name="wrap">False</property>
5760
<property name="selectable">False</property>
5761
<property name="xalign">0</property>
5762
<property name="yalign">0.5</property>
5763
<property name="xpad">0</property>
5764
<property name="ypad">0</property>
5765
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5766
<property name="width_chars">-1</property>
5767
<property name="single_line_mode">False</property>
5768
<property name="angle">0</property>
5771
<property name="left_attach">0</property>
5772
<property name="right_attach">1</property>
5773
<property name="top_attach">2</property>
5774
<property name="bottom_attach">3</property>
5775
<property name="x_options">fill</property>
5776
<property name="y_options"></property>
5781
<widget class="GtkLabel" id="label131">
5782
<property name="visible">True</property>
5783
<property name="label" translatable="yes">Initials</property>
5784
<property name="use_underline">False</property>
5785
<property name="use_markup">False</property>
5786
<property name="justify">GTK_JUSTIFY_LEFT</property>
5787
<property name="wrap">False</property>
5788
<property name="selectable">False</property>
5789
<property name="xalign">0</property>
5790
<property name="yalign">0.5</property>
5791
<property name="xpad">0</property>
5792
<property name="ypad">0</property>
5793
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5794
<property name="width_chars">-1</property>
5795
<property name="single_line_mode">False</property>
5796
<property name="angle">0</property>
5799
<property name="left_attach">0</property>
5800
<property name="right_attach">1</property>
5801
<property name="top_attach">1</property>
5802
<property name="bottom_attach">2</property>
5803
<property name="x_options">fill</property>
5804
<property name="y_options"></property>
5809
<widget class="GtkEntry" id="entry_template_developer">
5810
<property name="visible">True</property>
5811
<property name="tooltip" translatable="yes">The name of the developer</property>
5812
<property name="can_focus">True</property>
5813
<property name="editable">True</property>
5814
<property name="visibility">True</property>
5815
<property name="max_length">0</property>
5816
<property name="text" translatable="yes"></property>
5817
<property name="has_frame">True</property>
5818
<property name="invisible_char">*</property>
5819
<property name="activates_default">False</property>
5822
<property name="left_attach">1</property>
5823
<property name="right_attach">2</property>
5824
<property name="top_attach">0</property>
5825
<property name="bottom_attach">1</property>
5826
<property name="y_options"></property>
5831
<property name="padding">0</property>
5832
<property name="expand">True</property>
5833
<property name="fill">True</property>
5838
<widget class="GtkLabel" id="label132">
5839
<property name="visible">True</property>
5840
<property name="label" translatable="yes">Notice: For all changes you make here,
5841
you need to restart Geany to take effect.</property>
7507
<property name="xscale">1</property>
7508
<property name="yscale">1</property>
7509
<property name="top_padding">0</property>
7510
<property name="bottom_padding">0</property>
7511
<property name="left_padding">12</property>
7512
<property name="right_padding">0</property>
7515
<widget class="GtkVBox" id="vbox9">
7516
<property name="visible">True</property>
7517
<property name="homogeneous">False</property>
7518
<property name="spacing">12</property>
7521
<widget class="GtkVBox" id="vbox31">
7522
<property name="visible">True</property>
7523
<property name="homogeneous">False</property>
7524
<property name="spacing">0</property>
7531
<property name="padding">0</property>
7532
<property name="expand">False</property>
7533
<property name="fill">False</property>
7538
<widget class="GtkTable" id="table6">
7539
<property name="visible">True</property>
7540
<property name="n_rows">5</property>
7541
<property name="n_columns">2</property>
7542
<property name="homogeneous">False</property>
7543
<property name="row_spacing">6</property>
7544
<property name="column_spacing">6</property>
7547
<widget class="GtkEntry" id="entry_template_mail">
7548
<property name="visible">True</property>
7549
<property name="tooltip" translatable="yes">email address of the developer</property>
7550
<property name="can_focus">True</property>
7551
<property name="editable">True</property>
7552
<property name="visibility">True</property>
7553
<property name="max_length">0</property>
7554
<property name="text" translatable="yes"></property>
7555
<property name="has_frame">True</property>
7556
<property name="invisible_char">*</property>
7557
<property name="activates_default">False</property>
7560
<property name="left_attach">1</property>
7561
<property name="right_attach">2</property>
7562
<property name="top_attach">2</property>
7563
<property name="bottom_attach">3</property>
7564
<property name="y_options"></property>
7569
<widget class="GtkEntry" id="entry_template_initial">
7570
<property name="visible">True</property>
7571
<property name="tooltip" translatable="yes">Initials of the developer name</property>
7572
<property name="can_focus">True</property>
7573
<property name="editable">True</property>
7574
<property name="visibility">True</property>
7575
<property name="max_length">0</property>
7576
<property name="text" translatable="yes"></property>
7577
<property name="has_frame">True</property>
7578
<property name="invisible_char">*</property>
7579
<property name="activates_default">False</property>
7582
<property name="left_attach">1</property>
7583
<property name="right_attach">2</property>
7584
<property name="top_attach">1</property>
7585
<property name="bottom_attach">2</property>
7586
<property name="y_options"></property>
7591
<widget class="GtkLabel" id="label126">
7592
<property name="visible">True</property>
7593
<property name="label" translatable="yes">Initial version:</property>
7594
<property name="use_underline">False</property>
7595
<property name="use_markup">False</property>
7596
<property name="justify">GTK_JUSTIFY_LEFT</property>
7597
<property name="wrap">False</property>
7598
<property name="selectable">False</property>
7599
<property name="xalign">0</property>
7600
<property name="yalign">0.5</property>
7601
<property name="xpad">0</property>
7602
<property name="ypad">0</property>
7603
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7604
<property name="width_chars">-1</property>
7605
<property name="single_line_mode">False</property>
7606
<property name="angle">0</property>
7609
<property name="left_attach">0</property>
7610
<property name="right_attach">1</property>
7611
<property name="top_attach">4</property>
7612
<property name="bottom_attach">5</property>
7613
<property name="x_options">fill</property>
7614
<property name="y_options"></property>
7619
<widget class="GtkEntry" id="entry_template_version">
7620
<property name="visible">True</property>
7621
<property name="tooltip" translatable="yes">Version number, which a new file initially has</property>
7622
<property name="can_focus">True</property>
7623
<property name="editable">True</property>
7624
<property name="visibility">True</property>
7625
<property name="max_length">0</property>
7626
<property name="text" translatable="yes"></property>
7627
<property name="has_frame">True</property>
7628
<property name="invisible_char">*</property>
7629
<property name="activates_default">False</property>
7632
<property name="left_attach">1</property>
7633
<property name="right_attach">2</property>
7634
<property name="top_attach">4</property>
7635
<property name="bottom_attach">5</property>
7636
<property name="y_options"></property>
7641
<widget class="GtkEntry" id="entry_template_company">
7642
<property name="visible">True</property>
7643
<property name="tooltip" translatable="yes">Company name</property>
7644
<property name="can_focus">True</property>
7645
<property name="editable">True</property>
7646
<property name="visibility">True</property>
7647
<property name="max_length">0</property>
7648
<property name="text" translatable="yes"></property>
7649
<property name="has_frame">True</property>
7650
<property name="invisible_char">*</property>
7651
<property name="activates_default">False</property>
7654
<property name="left_attach">1</property>
7655
<property name="right_attach">2</property>
7656
<property name="top_attach">3</property>
7657
<property name="bottom_attach">4</property>
7658
<property name="y_options"></property>
7663
<widget class="GtkLabel" id="label129">
7664
<property name="visible">True</property>
7665
<property name="label" translatable="yes">Developer:</property>
7666
<property name="use_underline">False</property>
7667
<property name="use_markup">False</property>
7668
<property name="justify">GTK_JUSTIFY_LEFT</property>
7669
<property name="wrap">False</property>
7670
<property name="selectable">False</property>
7671
<property name="xalign">0</property>
7672
<property name="yalign">0.5</property>
7673
<property name="xpad">0</property>
7674
<property name="ypad">0</property>
7675
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7676
<property name="width_chars">-1</property>
7677
<property name="single_line_mode">False</property>
7678
<property name="angle">0</property>
7681
<property name="left_attach">0</property>
7682
<property name="right_attach">1</property>
7683
<property name="top_attach">0</property>
7684
<property name="bottom_attach">1</property>
7685
<property name="x_options">fill</property>
7686
<property name="y_options"></property>
7691
<widget class="GtkLabel" id="label123">
7692
<property name="visible">True</property>
7693
<property name="label" translatable="yes">Company:</property>
7694
<property name="use_underline">False</property>
7695
<property name="use_markup">False</property>
7696
<property name="justify">GTK_JUSTIFY_LEFT</property>
7697
<property name="wrap">False</property>
7698
<property name="selectable">False</property>
7699
<property name="xalign">0</property>
7700
<property name="yalign">0.5</property>
7701
<property name="xpad">0</property>
7702
<property name="ypad">0</property>
7703
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7704
<property name="width_chars">-1</property>
7705
<property name="single_line_mode">False</property>
7706
<property name="angle">0</property>
7709
<property name="left_attach">0</property>
7710
<property name="right_attach">1</property>
7711
<property name="top_attach">3</property>
7712
<property name="bottom_attach">4</property>
7713
<property name="x_options">fill</property>
7714
<property name="y_options"></property>
7719
<widget class="GtkLabel" id="label130">
7720
<property name="visible">True</property>
7721
<property name="label" translatable="yes">Mail address:</property>
7722
<property name="use_underline">False</property>
7723
<property name="use_markup">False</property>
7724
<property name="justify">GTK_JUSTIFY_LEFT</property>
7725
<property name="wrap">False</property>
7726
<property name="selectable">False</property>
7727
<property name="xalign">0</property>
7728
<property name="yalign">0.5</property>
7729
<property name="xpad">0</property>
7730
<property name="ypad">0</property>
7731
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7732
<property name="width_chars">-1</property>
7733
<property name="single_line_mode">False</property>
7734
<property name="angle">0</property>
7737
<property name="left_attach">0</property>
7738
<property name="right_attach">1</property>
7739
<property name="top_attach">2</property>
7740
<property name="bottom_attach">3</property>
7741
<property name="x_options">fill</property>
7742
<property name="y_options"></property>
7747
<widget class="GtkLabel" id="label131">
7748
<property name="visible">True</property>
7749
<property name="label" translatable="yes">Initials:</property>
7750
<property name="use_underline">False</property>
7751
<property name="use_markup">False</property>
7752
<property name="justify">GTK_JUSTIFY_LEFT</property>
7753
<property name="wrap">False</property>
7754
<property name="selectable">False</property>
7755
<property name="xalign">0</property>
7756
<property name="yalign">0.5</property>
7757
<property name="xpad">0</property>
7758
<property name="ypad">0</property>
7759
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7760
<property name="width_chars">-1</property>
7761
<property name="single_line_mode">False</property>
7762
<property name="angle">0</property>
7765
<property name="left_attach">0</property>
7766
<property name="right_attach">1</property>
7767
<property name="top_attach">1</property>
7768
<property name="bottom_attach">2</property>
7769
<property name="x_options">fill</property>
7770
<property name="y_options"></property>
7775
<widget class="GtkEntry" id="entry_template_developer">
7776
<property name="visible">True</property>
7777
<property name="tooltip" translatable="yes">The name of the developer</property>
7778
<property name="can_focus">True</property>
7779
<property name="editable">True</property>
7780
<property name="visibility">True</property>
7781
<property name="max_length">0</property>
7782
<property name="text" translatable="yes"></property>
7783
<property name="has_frame">True</property>
7784
<property name="invisible_char">*</property>
7785
<property name="activates_default">False</property>
7788
<property name="left_attach">1</property>
7789
<property name="right_attach">2</property>
7790
<property name="top_attach">0</property>
7791
<property name="bottom_attach">1</property>
7792
<property name="y_options"></property>
7797
<property name="padding">0</property>
7798
<property name="expand">False</property>
7799
<property name="fill">True</property>
7808
<widget class="GtkLabel" id="label180">
7809
<property name="visible">True</property>
7810
<property name="label" translatable="yes"><b>Template data</b></property>
5842
7811
<property name="use_underline">False</property>
5843
<property name="use_markup">False</property>
7812
<property name="use_markup">True</property>
5844
7813
<property name="justify">GTK_JUSTIFY_LEFT</property>
5845
7814
<property name="wrap">False</property>
5846
7815
<property name="selectable">False</property>
6008
8013
<property name="type">tab</property>
8018
<widget class="GtkVBox" id="vbox27">
8019
<property name="visible">True</property>
8020
<property name="homogeneous">False</property>
8021
<property name="spacing">0</property>
8024
<widget class="GtkFrame" id="frame32">
8025
<property name="visible">True</property>
8026
<property name="label_xalign">0</property>
8027
<property name="label_yalign">0.5</property>
8028
<property name="shadow_type">GTK_SHADOW_NONE</property>
8031
<widget class="GtkAlignment" id="alignment35">
8032
<property name="visible">True</property>
8033
<property name="xalign">0.5</property>
8034
<property name="yalign">0.5</property>
8035
<property name="xscale">1</property>
8036
<property name="yscale">1</property>
8037
<property name="top_padding">0</property>
8038
<property name="bottom_padding">0</property>
8039
<property name="left_padding">12</property>
8040
<property name="right_padding">0</property>
8043
<widget class="GtkHBox" id="hbox9">
8044
<property name="visible">True</property>
8045
<property name="homogeneous">False</property>
8046
<property name="spacing">5</property>
8049
<widget class="GtkLabel" id="label202">
8050
<property name="visible">True</property>
8051
<property name="label" translatable="yes">Command:</property>
8052
<property name="use_underline">False</property>
8053
<property name="use_markup">False</property>
8054
<property name="justify">GTK_JUSTIFY_LEFT</property>
8055
<property name="wrap">False</property>
8056
<property name="selectable">False</property>
8057
<property name="xalign">0.5</property>
8058
<property name="yalign">0.5</property>
8059
<property name="xpad">0</property>
8060
<property name="ypad">0</property>
8061
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8062
<property name="width_chars">-1</property>
8063
<property name="single_line_mode">False</property>
8064
<property name="angle">0</property>
8067
<property name="padding">0</property>
8068
<property name="expand">False</property>
8069
<property name="fill">False</property>
8074
<widget class="GtkEntry" id="entry_print_external_cmd">
8075
<property name="visible">True</property>
8076
<property name="tooltip" translatable="yes">Path to the command for printing files (use %f for the filename).</property>
8077
<property name="can_focus">True</property>
8078
<property name="editable">True</property>
8079
<property name="visibility">True</property>
8080
<property name="max_length">0</property>
8081
<property name="text" translatable="yes"></property>
8082
<property name="has_frame">True</property>
8083
<property name="invisible_char">*</property>
8084
<property name="activates_default">False</property>
8087
<property name="padding">0</property>
8088
<property name="expand">True</property>
8089
<property name="fill">True</property>
8094
<widget class="GtkButton" id="button_print_external_cmd">
8095
<property name="visible">True</property>
8096
<property name="can_focus">True</property>
8097
<property name="relief">GTK_RELIEF_NORMAL</property>
8098
<property name="focus_on_click">True</property>
8101
<widget class="GtkImage" id="image763">
8102
<property name="visible">True</property>
8103
<property name="stock">gtk-open</property>
8104
<property name="icon_size">4</property>
8105
<property name="xalign">0.5</property>
8106
<property name="yalign">0.5</property>
8107
<property name="xpad">0</property>
8108
<property name="ypad">0</property>
8113
<property name="padding">0</property>
8114
<property name="expand">False</property>
8115
<property name="fill">False</property>
8124
<widget class="GtkRadioButton" id="radio_print_external">
8125
<property name="visible">True</property>
8126
<property name="can_focus">True</property>
8127
<property name="label" translatable="yes">Use an external command for printing</property>
8128
<property name="use_underline">True</property>
8129
<property name="relief">GTK_RELIEF_NORMAL</property>
8130
<property name="focus_on_click">False</property>
8131
<property name="active">False</property>
8132
<property name="inconsistent">False</property>
8133
<property name="draw_indicator">True</property>
8136
<property name="type">label_item</property>
8141
<property name="padding">0</property>
8142
<property name="expand">False</property>
8143
<property name="fill">False</property>
8148
<widget class="GtkFrame" id="frame31">
8149
<property name="visible">True</property>
8150
<property name="label_xalign">0</property>
8151
<property name="label_yalign">0.5</property>
8152
<property name="shadow_type">GTK_SHADOW_NONE</property>
8155
<widget class="GtkAlignment" id="alignment34">
8156
<property name="visible">True</property>
8157
<property name="xalign">0.5</property>
8158
<property name="yalign">0.5</property>
8159
<property name="xscale">1</property>
8160
<property name="yscale">1</property>
8161
<property name="top_padding">0</property>
8162
<property name="bottom_padding">0</property>
8163
<property name="left_padding">12</property>
8164
<property name="right_padding">0</property>
8167
<widget class="GtkVBox" id="vbox29">
8168
<property name="visible">True</property>
8169
<property name="homogeneous">False</property>
8170
<property name="spacing">0</property>
8173
<widget class="GtkCheckButton" id="check_print_linenumbers">
8174
<property name="visible">True</property>
8175
<property name="tooltip" translatable="yes">Add line numbers to the printed page.</property>
8176
<property name="can_focus">True</property>
8177
<property name="label" translatable="yes">Print line numbers</property>
8178
<property name="use_underline">True</property>
8179
<property name="relief">GTK_RELIEF_NORMAL</property>
8180
<property name="focus_on_click">False</property>
8181
<property name="active">False</property>
8182
<property name="inconsistent">False</property>
8183
<property name="draw_indicator">True</property>
8186
<property name="padding">0</property>
8187
<property name="expand">False</property>
8188
<property name="fill">False</property>
8193
<widget class="GtkCheckButton" id="check_print_pagenumbers">
8194
<property name="visible">True</property>
8195
<property name="tooltip" translatable="yes">Add page numbers at the bottom of each page. It takes 2 lines of the page.</property>
8196
<property name="can_focus">True</property>
8197
<property name="label" translatable="yes">Print page numbers</property>
8198
<property name="use_underline">True</property>
8199
<property name="relief">GTK_RELIEF_NORMAL</property>
8200
<property name="focus_on_click">False</property>
8201
<property name="active">False</property>
8202
<property name="inconsistent">False</property>
8203
<property name="draw_indicator">True</property>
8206
<property name="padding">0</property>
8207
<property name="expand">False</property>
8208
<property name="fill">False</property>
8213
<widget class="GtkCheckButton" id="check_print_pageheader">
8214
<property name="visible">True</property>
8215
<property name="tooltip" translatable="yes">Adds a little header to every page containing the page number, the filename and the current date(see below). It takes 3 lines of the page.</property>
8216
<property name="can_focus">True</property>
8217
<property name="label" translatable="yes">Print page header</property>
8218
<property name="use_underline">True</property>
8219
<property name="relief">GTK_RELIEF_NORMAL</property>
8220
<property name="focus_on_click">False</property>
8221
<property name="active">False</property>
8222
<property name="inconsistent">False</property>
8223
<property name="draw_indicator">True</property>
8226
<property name="padding">0</property>
8227
<property name="expand">False</property>
8228
<property name="fill">False</property>
8233
<widget class="GtkFrame" id="frame33">
8234
<property name="visible">True</property>
8235
<property name="label_xalign">0</property>
8236
<property name="label_yalign">0</property>
8237
<property name="shadow_type">GTK_SHADOW_NONE</property>
8240
<widget class="GtkAlignment" id="alignment36">
8241
<property name="visible">True</property>
8242
<property name="xalign">0</property>
8243
<property name="yalign">0.5</property>
8244
<property name="xscale">1</property>
8245
<property name="yscale">1</property>
8246
<property name="top_padding">0</property>
8247
<property name="bottom_padding">0</property>
8248
<property name="left_padding">12</property>
8249
<property name="right_padding">0</property>
8252
<widget class="GtkVBox" id="vbox30">
8253
<property name="visible">True</property>
8254
<property name="homogeneous">False</property>
8255
<property name="spacing">1</property>
8258
<widget class="GtkCheckButton" id="check_print_basename">
8259
<property name="visible">True</property>
8260
<property name="tooltip" translatable="yes">Print only the basename(without the path) of the printed file.</property>
8261
<property name="can_focus">True</property>
8262
<property name="label" translatable="yes">Use the basename of the printed file</property>
8263
<property name="use_underline">True</property>
8264
<property name="relief">GTK_RELIEF_NORMAL</property>
8265
<property name="focus_on_click">False</property>
8266
<property name="active">False</property>
8267
<property name="inconsistent">False</property>
8268
<property name="draw_indicator">True</property>
8271
<property name="padding">0</property>
8272
<property name="expand">False</property>
8273
<property name="fill">False</property>
8278
<widget class="GtkHBox" id="hbox10">
8279
<property name="visible">True</property>
8280
<property name="homogeneous">False</property>
8281
<property name="spacing">5</property>
8284
<widget class="GtkLabel" id="label203">
8285
<property name="visible">True</property>
8286
<property name="label" translatable="yes">Date format:</property>
8287
<property name="use_underline">False</property>
8288
<property name="use_markup">False</property>
8289
<property name="justify">GTK_JUSTIFY_LEFT</property>
8290
<property name="wrap">False</property>
8291
<property name="selectable">False</property>
8292
<property name="xalign">0.5</property>
8293
<property name="yalign">0.5</property>
8294
<property name="xpad">0</property>
8295
<property name="ypad">0</property>
8296
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8297
<property name="width_chars">-1</property>
8298
<property name="single_line_mode">False</property>
8299
<property name="angle">0</property>
8302
<property name="padding">0</property>
8303
<property name="expand">False</property>
8304
<property name="fill">False</property>
8309
<widget class="GtkEntry" id="entry_print_dateformat">
8310
<property name="visible">True</property>
8311
<property name="tooltip" translatable="yes">Specify a format for the date and time stamp which is added to the page header on each page. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
8312
<property name="can_focus">True</property>
8313
<property name="editable">True</property>
8314
<property name="visibility">True</property>
8315
<property name="max_length">0</property>
8316
<property name="text" translatable="yes"></property>
8317
<property name="has_frame">True</property>
8318
<property name="invisible_char">●</property>
8319
<property name="activates_default">False</property>
8322
<property name="padding">0</property>
8323
<property name="expand">True</property>
8324
<property name="fill">True</property>
8329
<property name="padding">0</property>
8330
<property name="expand">True</property>
8331
<property name="fill">True</property>
8340
<property name="padding">0</property>
8341
<property name="expand">True</property>
8342
<property name="fill">True</property>
8351
<widget class="GtkRadioButton" id="radio_print_gtk">
8352
<property name="visible">True</property>
8353
<property name="can_focus">True</property>
8354
<property name="label" translatable="yes">Use native GTK printing</property>
8355
<property name="use_underline">True</property>
8356
<property name="relief">GTK_RELIEF_NORMAL</property>
8357
<property name="focus_on_click">False</property>
8358
<property name="active">False</property>
8359
<property name="inconsistent">False</property>
8360
<property name="draw_indicator">True</property>
8361
<property name="group">radio_print_external</property>
8364
<property name="type">label_item</property>
8369
<property name="padding">0</property>
8370
<property name="expand">False</property>
8371
<property name="fill">True</property>
8376
<property name="tab_expand">False</property>
8377
<property name="tab_fill">True</property>
8382
<widget class="GtkLabel" id="label201">
8383
<property name="visible">True</property>
8384
<property name="label" translatable="yes">Printing</property>
8385
<property name="use_underline">False</property>
8386
<property name="use_markup">False</property>
8387
<property name="justify">GTK_JUSTIFY_LEFT</property>
8388
<property name="wrap">False</property>
8389
<property name="selectable">False</property>
8390
<property name="xalign">0.5</property>
8391
<property name="yalign">0.5</property>
8392
<property name="xpad">0</property>
8393
<property name="ypad">0</property>
8394
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8395
<property name="width_chars">-1</property>
8396
<property name="single_line_mode">False</property>
8397
<property name="angle">0</property>
8400
<property name="type">tab</property>
6013
8405
<property name="padding">6</property>