mirror of
https://github.com/openmv/openmv.git
synced 2025-11-04 14:49:50 +08:00
408 lines
20 KiB
XML
408 lines
20 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<interface>
|
|
<requires lib="gtk+" version="2.24"/>
|
|
<!-- interface-requires gtksourceview 0.0 -->
|
|
<!-- interface-requires vte 0.0 -->
|
|
<!-- interface-naming-policy project-wide -->
|
|
<object class="GtkWindow" id="top_window">
|
|
<property name="can_focus">False</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_STRUCTURE_MASK</property>
|
|
<property name="title" translatable="yes">OpenMV IDE</property>
|
|
<property name="default_width">800</property>
|
|
<property name="default_height">600</property>
|
|
<signal name="destroy" handler="on_top_window_destroy" swapped="no"/>
|
|
<child>
|
|
<object class="GtkVBox" id="vbox1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<child>
|
|
<object class="GtkMenuBar" id="menubar1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<child>
|
|
<object class="GtkMenuItem" id="menuitem1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="label" translatable="yes">_File</property>
|
|
<property name="use_underline">True</property>
|
|
<child type="submenu">
|
|
<object class="GtkMenu" id="menu1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem1">
|
|
<property name="label">gtk-new</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem2">
|
|
<property name="label">gtk-open</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem3">
|
|
<property name="label">gtk-save</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem4">
|
|
<property name="label">gtk-save-as</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkSeparatorMenuItem" id="separatormenuitem1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem5">
|
|
<property name="label">gtk-quit</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkMenuItem" id="menuitem2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="label" translatable="yes">_Edit</property>
|
|
<property name="use_underline">True</property>
|
|
<child type="submenu">
|
|
<object class="GtkMenu" id="menu2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem6">
|
|
<property name="label">gtk-cut</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem7">
|
|
<property name="label">gtk-copy</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem8">
|
|
<property name="label">gtk-paste</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem9">
|
|
<property name="label">gtk-delete</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkMenuItem" id="menuitem3">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="label" translatable="yes">_View</property>
|
|
<property name="use_underline">True</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkMenuItem" id="menuitem4">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="label" translatable="yes">_Help</property>
|
|
<property name="use_underline">True</property>
|
|
<child type="submenu">
|
|
<object class="GtkMenu" id="menu3">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<child>
|
|
<object class="GtkImageMenuItem" id="imagemenuitem10">
|
|
<property name="label">gtk-about</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="use_stock">True</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkToolbar" id="toolbar1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<child>
|
|
<object class="GtkToolButton" id="toolbutton1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="label" translatable="yes">toolbutton1</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="stock_id">gtk-connect</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkToolButton" id="toolbutton2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="label" translatable="yes">toolbutton2</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="stock_id">gtk-disconnect</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkSeparatorToolItem" id="separator1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkToolButton" id="toolbutton3">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="label" translatable="yes">toolbutton3</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="stock_id">gtk-execute</property>
|
|
<signal name="clicked" handler="on_execute_clicked" swapped="no"/>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkToolButton" id="toolbutton4">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="label" translatable="yes">toolbutton4</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="stock_id">gtk-stop</property>
|
|
<signal name="clicked" handler="on_stop_clicked" swapped="no"/>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkSeparatorToolItem" id="separator2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkToolButton" id="toolbutton5">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="label" translatable="yes">toolbutton5</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="stock_id">gtk-apply</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkVPaned" id="vpaned1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="position">400</property>
|
|
<child>
|
|
<object class="GtkHPaned" id="hpaned1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<child>
|
|
<object class="GtkSourceView" id="gtksourceview">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="left_margin">2</property>
|
|
<property name="right_margin">2</property>
|
|
<property name="show_line_numbers">True</property>
|
|
<property name="tab_width">4</property>
|
|
<property name="auto_indent">True</property>
|
|
<property name="insert_spaces_instead_of_tabs">True</property>
|
|
<property name="highlight_current_line">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="resize">True</property>
|
|
<property name="shrink">True</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkVBox" id="vbox2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="homogeneous">True</property>
|
|
<child>
|
|
<object class="GtkHBox" id="hbox1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<child>
|
|
<object class="GtkEventBox" id="eventbox1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_ENTER_NOTIFY_MASK | GDK_LEAVE_NOTIFY_MASK | GDK_STRUCTURE_MASK</property>
|
|
<signal name="button-press-event" handler="on_button_press" swapped="no"/>
|
|
<signal name="motion-notify-event" handler="on_motion_notify" swapped="no"/>
|
|
<child>
|
|
<object class="GtkImage" id="framebuffer_image">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="stock">gtk-missing-image</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">True</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="resize">True</property>
|
|
<property name="shrink">True</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="resize">True</property>
|
|
<property name="shrink">True</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="VteTerminal" id="terminal">
|
|
<property name="visible">True</property>
|
|
<property name="app_paintable">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="background_tint_color">#00000fa0ffff</property>
|
|
<property name="encoding">UTF-8</property>
|
|
<property name="scroll_on_keystroke">True</property>
|
|
<property name="scroll_on_output">False</property>
|
|
</object>
|
|
<packing>
|
|
<property name="resize">True</property>
|
|
<property name="shrink">True</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkStatusbar" id="statusbar">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="spacing">2</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</interface>
|