4 <menu id="syntax-window-menu">
6 <attribute name="label" translatable="yes">_File</attribute>
9 <attribute name="label" translatable="yes">_New</attribute>
11 <attribute name="label" translatable="yes">Syntax</attribute>
12 <attribute name="action">app.new-syntax</attribute>
15 <attribute name="label" translatable="yes">Data</attribute>
16 <attribute name="action">app.new-data</attribute>
20 <attribute name="label" translatable="yes">_Open</attribute>
21 <attribute name="action">win.open</attribute>
22 <attribute name="accel"><Primary>o</attribute>
25 <attribute name="label" translatable="yes">_Save</attribute>
26 <attribute name="action">win.save</attribute>
27 <attribute name="accel"><Primary>s</attribute>
30 <attribute name="label" translatable="yes">Save _As</attribute>
31 <attribute name="action">win.save_as</attribute>
32 <attribute name="accel"><Primary><Shift>s</attribute>
37 <attribute name="label" translatable="yes">_Print</attribute>
38 <attribute name="action">win.print</attribute>
43 <attribute name="label" translatable="yes">_Quit</attribute>
44 <attribute name="accel"><Primary>q</attribute>
45 <attribute name="action">app.quit</attribute>
50 <attribute name="label" translatable="yes">_Edit</attribute>
53 <attribute name="label" translatable="yes">Cu_t</attribute>
54 <attribute name="action">win.cut</attribute>
55 <attribute name="accel"><Primary>x</attribute>
58 <attribute name="label" translatable="yes">_Copy</attribute>
59 <attribute name="action">win.copy</attribute>
60 <attribute name="accel"><Primary>c</attribute>
63 <attribute name="label" translatable="yes">_Paste</attribute>
64 <attribute name="action">win.paste</attribute>
65 <attribute name="accel"><Primary>v</attribute>
68 <attribute name="label" translatable="yes">_Delete</attribute>
69 <attribute name="action">win.delete</attribute>
74 <attribute name="label" translatable="yes">_Undo</attribute>
75 <attribute name="action">win.undo</attribute>
78 <attribute name="label" translatable="yes">_Redo</attribute>
79 <attribute name="action">win.redo</attribute>
84 <attribute name="label" translatable="yes">_Run</attribute>
87 <attribute name="label" translatable="yes">_All</attribute>
88 <attribute name="action">win.run-all</attribute>
91 <attribute name="label" translatable="yes">_Selection</attribute>
92 <attribute name="action">win.run-selection</attribute>
95 <attribute name="label" translatable="yes">_Current Line</attribute>
96 <attribute name="action">win.run-current-line</attribute>
97 <attribute name="accel"><Primary>r</attribute>
100 <attribute name="label" translatable="yes">_To End</attribute>
101 <attribute name="action">win.run-to-end</attribute>
106 <object class="GtkScrolledWindow" id="scrolledwindow8">
107 <property name="visible">True</property>
108 <property name="can_focus">True</property>
109 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
110 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
111 <property name="shadow_type">GTK_SHADOW_IN</property>
112 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
114 <object class="GtkSourceView" id="syntax_text_view">
115 <property name="visible">True</property>
116 <property name="can_focus">True</property>
117 <property name="editable">True</property>
118 <property name="overwrite">False</property>
119 <property name="accepts_tab">True</property>
120 <property name="justification">GTK_JUSTIFY_LEFT</property>
121 <property name="wrap_mode">GTK_WRAP_NONE</property>
122 <property name="cursor_visible">True</property>
123 <property name="pixels_above_lines">0</property>
124 <property name="pixels_below_lines">0</property>
125 <property name="pixels_inside_wrap">0</property>
126 <property name="left_margin">0</property>
127 <property name="right_margin">0</property>
128 <property name="indent">0</property>
132 <object class="GtkStatusbar" id="statusbar2">
133 <property name="visible">True</property>