f4d3c54110
GTK widgets set the default for this as needed, and some incorrect values for this have caused issues with keyboard focus. Fixes #1059
148 lines
5.9 KiB
XML
148 lines
5.9 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<interface>
|
|
<!-- interface-requires gtk+ 3.14 -->
|
|
<object class="GtkImage" id="image1">
|
|
<property name="visible">True</property>
|
|
<property name="icon_name">go-down-symbolic</property>
|
|
</object>
|
|
<object class="GtkImage" id="image2">
|
|
<property name="visible">True</property>
|
|
<property name="icon_name">window-close-symbolic</property>
|
|
<property name="icon-size">1</property>
|
|
</object>
|
|
<object class="GtkImage" id="image3">
|
|
<property name="visible">True</property>
|
|
<property name="icon_name">go-up-symbolic</property>
|
|
</object>
|
|
<object class="GtkBox" id="box: contents">
|
|
<property name="visible">True</property>
|
|
<property name="orientation">vertical</property>
|
|
<child>
|
|
<object class="GtkSeparator" id="separator1">
|
|
<property name="visible">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkBox" id="box: controls">
|
|
<property name="visible">True</property>
|
|
<property name="margin_top">2</property>
|
|
<property name="margin_bottom">2</property>
|
|
<style>
|
|
<class name="toolbar"/>
|
|
</style>
|
|
<child>
|
|
<object class="GtkButton" id="button: close">
|
|
<property name="visible">True</property>
|
|
<property name="receives_default">True</property>
|
|
<property name="margin_end">6</property>
|
|
<property name="image">image2</property>
|
|
<property name="relief">none</property>
|
|
<property name="always_show_image">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkLabel" id="label: find">
|
|
<property name="visible">True</property>
|
|
<property name="margin_end">2</property>
|
|
<property name="yalign">0.4699999988079071</property>
|
|
<property name="label" translatable="yes">Find:</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkEntry" id="entry: find">
|
|
<property name="visible">True</property>
|
|
<property name="invisible_char">●</property>
|
|
<property name="invisible_char_set">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkButton" id="button: previous">
|
|
<property name="label" translatable="yes">_Previous</property>
|
|
<property name="visible">True</property>
|
|
<property name="receives_default">True</property>
|
|
<property name="margin_start">2</property>
|
|
<property name="image">image3</property>
|
|
<property name="relief">none</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="always_show_image">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkButton" id="button: next">
|
|
<property name="label" translatable="yes">_Next</property>
|
|
<property name="visible">True</property>
|
|
<property name="receives_default">True</property>
|
|
<property name="image">image1</property>
|
|
<property name="relief">none</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="image_position">right</property>
|
|
<property name="always_show_image">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">4</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkCheckButton" id="check: case_sensitive">
|
|
<property name="label" translatable="yes">_Case sensitive</property>
|
|
<property name="visible">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="margin_start">8</property>
|
|
<property name="margin_end">8</property>
|
|
<property name="relief">none</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkLabel" id="label: result">
|
|
<property name="label" translatable="yes">label</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">6</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
</interface>
|