mirror of
https://github.com/netsurf-browser/netsurf
synced 2024-12-27 14:29:42 +03:00
203 lines
10 KiB
XML
203 lines
10 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
|
|
<!--Generated with glade3 3.4.5 on Mon Apr 20 21:28:45 2009 -->
|
|
<glade-interface>
|
|
<widget class="GtkWindow" id="wndSource">
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox1">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkMenuBar" id="menubar1">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menuitem1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_File</property>
|
|
<property name="use_underline">True</property>
|
|
<child>
|
|
<widget class="GtkMenu" id="menu1">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_save_as">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-save-as</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
<accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_print">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-print</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
<accelerator key="P" modifiers="GDK_CONTROL_MASK" signal="activate"/>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_close">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-close</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menuitem2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Edit</property>
|
|
<property name="use_underline">True</property>
|
|
<child>
|
|
<widget class="GtkMenu" id="menu2">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_select_all">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-select-all</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
<accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_cut">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-cut</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_copy">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-copy</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_paste">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-paste</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_delete">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-delete</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
<accelerator key="Delete" modifiers="" signal="activate"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menuitem3">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_View</property>
|
|
<property name="use_underline">True</property>
|
|
<child>
|
|
<widget class="GtkMenu" id="menu4">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_zoom_in">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-zoom-in</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
<accelerator key="plus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_zoom_out">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-zoom-out</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
<accelerator key="minus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_zoom_normal">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-zoom-100</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
<accelerator key="0" modifiers="GDK_CONTROL_MASK" signal="activate"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menuitem4">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Help</property>
|
|
<property name="use_underline">True</property>
|
|
<child>
|
|
<widget class="GtkMenu" id="menu3">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="source_about">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">gtk-about</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="sourcescrolled">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
|
|
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
|
|
<child>
|
|
<widget class="GtkTextView" id="source_view">
|
|
<property name="width_request">600</property>
|
|
<property name="height_request">400</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="pixels_above_lines">1</property>
|
|
<property name="pixels_below_lines">1</property>
|
|
<property name="editable">False</property>
|
|
<property name="wrap_mode">GTK_WRAP_WORD</property>
|
|
<property name="left_margin">3</property>
|
|
<property name="right_margin">3</property>
|
|
<property name="accepts_tab">False</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</glade-interface>
|