498 lines
26 KiB
Plaintext
498 lines
26 KiB
Plaintext
|
<?xml version="1.0"?>
|
||
|
|
<interface>
|
||
|
|
<requires lib="gtk+" version="2.16"/>
|
||
|
|
<!-- interface-naming-policy toplevel-contextual -->
|
||
|
|
<object class="GtkAdjustment" id="adjustment1">
|
||
|
|
<property name="value">1</property>
|
||
|
|
<property name="lower">1</property>
|
||
|
|
<property name="upper">100</property>
|
||
|
|
<property name="step_increment">1</property>
|
||
|
|
<property name="page_increment">10</property>
|
||
|
|
</object>
|
||
|
|
<object class="GtkWindow" id="window1">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="title" translatable="yes">window1</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="contents">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="border_width">12</property>
|
||
|
|
<property name="spacing">18</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox20">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">18</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox26">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label33">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Syntax Highlighting</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkAlignment" id="alignment1">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
||
|
|
<property name="left_padding">12</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="syntax_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Print synta_x highlighting</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox22">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label27">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Line Numbers</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkAlignment" id="alignment2">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
||
|
|
<property name="left_padding">12</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox2">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="line_numbers_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Print line nu_mbers</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="line_numbers_hbox">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label3">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.47999998927116394</property>
|
||
|
|
<property name="label" translatable="yes" comments="'Number every' from 'Number every 3 lines' in the 'Text Editor' tab of the print preferences.">_Number every</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="mnemonic_widget">line_numbers_spinbutton</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkSpinButton" id="line_numbers_spinbutton">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="adjustment">adjustment1</property>
|
||
|
|
<property name="climb_rate">1</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label4">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes" comments="'lines' from 'Number every 3 lines' in the 'Text Editor' tab of the print preferences.">lines</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">2</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox24">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label31">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Text Wrapping</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkAlignment" id="alignment3">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
||
|
|
<property name="left_padding">12</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox25">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="text_wrapping_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Enable text _wrapping</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox20">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="do_not_split_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Do not _split words over two lines</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">2</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox39">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label45">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Page header</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkAlignment" id="alignment4">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
||
|
|
<property name="left_padding">12</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="page_header_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Print page _headers</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">3</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox36">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">18</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox37">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label43">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Fonts</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkAlignment" id="alignment5">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
||
|
|
<property name="left_padding">12</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox4">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">12</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkTable" id="fonts_table">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="n_rows">3</property>
|
||
|
|
<property name="n_columns">2</property>
|
||
|
|
<property name="column_spacing">12</property>
|
||
|
|
<property name="row_spacing">12</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="body_font_label">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">_Body:</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="mnemonic_widget">body_fontbutton</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="x_options">GTK_FILL</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="numbers_font_label">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">_Line numbers:</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="mnemonic_widget">numbers_fontbutton</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options">GTK_FILL</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="headers_font_label">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">He_aders and footers:</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="mnemonic_widget">headers_fontbutton</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="top_attach">2</property>
|
||
|
|
<property name="bottom_attach">3</property>
|
||
|
|
<property name="x_options">GTK_FILL</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkFontButton" id="body_fontbutton">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_font">True</property>
|
||
|
|
<property name="show_style">False</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">1</property>
|
||
|
|
<property name="right_attach">2</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkFontButton" id="numbers_fontbutton">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_font">True</property>
|
||
|
|
<property name="show_style">False</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">1</property>
|
||
|
|
<property name="right_attach">2</property>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options">GTK_FILL</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkFontButton" id="headers_fontbutton">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_font">True</property>
|
||
|
|
<property name="show_style">False</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">1</property>
|
||
|
|
<property name="right_attach">2</property>
|
||
|
|
<property name="top_attach">2</property>
|
||
|
|
<property name="bottom_attach">3</property>
|
||
|
|
<property name="x_options">GTK_FILL</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHButtonBox" id="hbuttonbox1">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
||
|
|
<property name="layout_style">end</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkButton" id="restore_button">
|
||
|
|
<property name="label" translatable="yes">_Restore Default Fonts</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
</interface>
|