X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=56423ea70b6857c3bd4339d19ab54b3ea615d1f4;hb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;hp=4e388f02befb9f878ea2504c38625683ed121adc;hpb=3083d35230ebac09d4a13a5a68a6e7e04dc7a55a;p=pspp

diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui
index 4e388f02be..56423ea70b 100644
--- a/src/ui/gui/syntax-editor.ui
+++ b/src/ui/gui/syntax-editor.ui
@@ -1,211 +1,151 @@
-<?xml version="1.0"?>
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- PSPP - a program for statistical analysis. -->
+<!-- Copyright (C) 2017 Free Software Foundation, Inc. -->
+
+<!-- This program is free software: you can redistribute it and/or modify -->
+<!-- it under the terms of the GNU General Public License as published by -->
+<!-- the Free Software Foundation, either version 3 of the License, or -->
+<!-- (at your option) any later version. -->
+
+<!-- This program is distributed in the hope that it will be useful, -->
+<!-- but WITHOUT ANY WARRANTY; without even the implied warranty of -->
+<!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the -->
+<!-- GNU General Public License for more details. -->
+
+<!-- You should have received a copy of the GNU General Public License -->
+<!-- along with this program.  If not, see <http://www.gnu.org/licenses/>. -->
+
 <!--*- mode: xml -*-->
 <interface>
-  <object class="GtkUIManager" id="uimanager1">
-    <child>
-      <object class="GtkActionGroup" id="actiongroup1">
-        <child>
-          <object class="GtkAction" id="menu_syntax_file">
-            <property name="name">menu_syntax_file</property>
-            <property name="label" translatable="yes">_File</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="new2">
-            <property name="stock-id">gtk-new</property>
-            <property name="name">new2</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="file_new_syntax">
-            <property name="name">file_new_syntax</property>
-            <property name="label" translatable="yes">_Syntax</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="file_new_data">
-            <property name="name">file_new_data</property>
-            <property name="label" translatable="yes">_Data</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="open2">
-            <property name="stock-id">gtk-open</property>
-            <property name="name">open2</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="file_open_syntax">
-            <property name="name">file_open_syntax</property>
-            <property name="label" translatable="yes">_Syntax</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="file_open_data">
-            <property name="name">file_open_data</property>
-            <property name="label" translatable="yes">_Data</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="file_save">
-            <property name="stock-id">gtk-save</property>
-            <property name="name">file_save</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="file_save_as">
-            <property name="stock-id">gtk-save-as</property>
-            <property name="name">file_save_as</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="file_quit">
-            <property name="stock-id">gtk-quit</property>
-            <property name="name">file_quit</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="menuitem7">
-            <property name="name">menuitem7</property>
-            <property name="label" translatable="yes">_Edit</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="cut2">
-            <property name="stock-id">gtk-cut</property>
-            <property name="name">cut2</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="copy2">
-            <property name="stock-id">gtk-copy</property>
-            <property name="name">copy2</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="paste2">
-            <property name="stock-id">gtk-paste</property>
-            <property name="name">paste2</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="delete1">
-            <property name="stock-id">gtk-delete</property>
-            <property name="name">delete1</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="run1">
-            <property name="name">run1</property>
-            <property name="label" translatable="yes">_Run</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="run_all">
-            <property name="name">run_all</property>
-            <property name="label" translatable="yes">All</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="run_selection">
-            <property name="name">run_selection</property>
-            <property name="label" translatable="yes">Selection</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="run_current_line">
-            <property name="name">run_current_line</property>
-            <property name="label" translatable="yes">Current Line</property>
-          </object>
-          <accelerator key="R" modifiers="GDK_CONTROL_MASK"/>
-        </child>
-        <child>
-          <object class="GtkAction" id="run_to_end">
-            <property name="name">run_to_end</property>
-            <property name="label" translatable="yes">To End</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="windows">
-            <property name="name">windows</property>
-            <property name="label" translatable="yes">_Windows</property>
-          </object>
-        </child>
-        <child>
-          <object class="GtkAction" id="windows_minimise_all">
-            <property name="name">windows_minimise_all</property>
-            <property name="label" translatable="yes">_Minimize All Windows</property>
-          </object>
-        </child>
-      </object>
-    </child>
-    <ui>
-      <menubar name="menubar">
-        <menu action="menu_syntax_file">
-          <menu action="new2">
-            <menuitem action="file_new_syntax"/>
-            <menuitem action="file_new_data"/>
-          </menu>
-          <menu action="open2">
-            <menuitem action="file_open_syntax"/>
-            <menuitem action="file_open_data"/>
-          </menu>
-          <menuitem action="file_save"/>
-          <menuitem action="file_save_as"/>
-          <separator/>
-          <menuitem action="file_quit"/>
-        </menu>
-        <menu action="menuitem7">
-          <menuitem action="cut2"/>
-          <menuitem action="copy2"/>
-          <menuitem action="paste2"/>
-          <menuitem action="delete1"/>
-        </menu>
-        <menu action="run1">
-          <menuitem action="run_all"/>
-          <menuitem action="run_selection"/>
-          <menuitem action="run_current_line"/>
-          <menuitem action="run_to_end"/>
-        </menu>
-        <menu action="windows">
-          <menuitem action="windows_minimise_all"/>
-        </menu>
-      </menubar>
-    </ui>
-  </object>
-  <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
-    <property name="visible">True</property>
-    <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
-    <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
-  </object>
-  <object class="GtkScrolledWindow" id="scrolledwindow8">
-    <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>
-    <property name="shadow_type">GTK_SHADOW_IN</property>
-    <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
-    <child>
-      <object class="GtkSourceView" id="syntax_text_view">
-        <property name="visible">True</property>
-        <property name="can_focus">True</property>
-        <property name="editable">True</property>
-        <property name="overwrite">False</property>
-        <property name="accepts_tab">True</property>
-        <property name="justification">GTK_JUSTIFY_LEFT</property>
-        <property name="wrap_mode">GTK_WRAP_NONE</property>
-        <property name="cursor_visible">True</property>
-        <property name="pixels_above_lines">0</property>
-        <property name="pixels_below_lines">0</property>
-        <property name="pixels_inside_wrap">0</property>
-        <property name="left_margin">0</property>
-        <property name="right_margin">0</property>
-        <property name="indent">0</property>
-      </object>
-    </child>
-  </object>
-  <object class="GtkStatusbar" id="statusbar2">
-    <property name="visible">True</property>
-    <property name="has_resize_grip">True</property>
-  </object>
+  <menu id="syntax-window-menu">
+    <submenu>
+      <attribute name="label" translatable="yes">_File</attribute>
+      <section>
+	<submenu>
+	  <attribute name="label" translatable="yes">_New</attribute>
+	  <item>
+	    <attribute name="label" translatable="yes">Syntax</attribute>
+	  <attribute name="action">app.new-syntax</attribute>
+	  </item>
+	  <item>
+	    <attribute name="label" translatable="yes">Data</attribute>
+	    <attribute name="action">app.new-data</attribute>
+	  </item>
+	</submenu>
+	<item>
+	  <attribute name="label" translatable="yes">_Open</attribute>
+	  <attribute name="action">win.open</attribute>
+	  <attribute name="accel">&lt;Primary&gt;o</attribute>
+	</item>
+	<item>
+	  <attribute name="label" translatable="yes">_Save</attribute>
+	  <attribute name="action">win.save</attribute>
+	  <attribute name="accel">&lt;Primary&gt;s</attribute>
+	</item>
+	<item>
+	  <attribute name="label" translatable="yes">Save _As</attribute>
+	  <attribute name="action">win.save_as</attribute>
+	  <attribute name="accel">&lt;Primary&gt;&lt;Shift&gt;s</attribute>
+	</item>
+      </section>
+      <section>
+	<item>
+	  <attribute name="label" translatable="yes">_Print</attribute>
+	  <attribute name="action">win.print</attribute>
+	</item>
+      </section>
+      <section>
+	<item>
+	  <attribute name="label" translatable="yes">_Quit</attribute>
+	  <attribute name="accel">&lt;Primary&gt;q</attribute>
+	  <attribute name="action">app.quit</attribute>
+	</item>
+      </section>
+    </submenu>
+    <submenu>
+    <attribute name="label" translatable="yes">_Edit</attribute>
+    <section>
+      <item>
+	<attribute name="label" translatable="yes">Cu_t</attribute>
+	<attribute name="action">win.cut</attribute>
+	<attribute name="accel">&lt;Primary&gt;x</attribute>
+      </item>
+      <item>
+	<attribute name="label" translatable="yes">_Copy</attribute>
+	<attribute name="action">win.copy</attribute>
+	<attribute name="accel">&lt;Primary&gt;c</attribute>
+      </item>
+      <item>
+	<attribute name="label" translatable="yes">_Paste</attribute>
+	<attribute name="action">win.paste</attribute>
+	<attribute name="accel">&lt;Primary&gt;v</attribute>
+      </item>
+      <item>
+	<attribute name="label" translatable="yes">_Delete</attribute>
+	<attribute name="action">win.delete</attribute>
+      </item>
+    </section>
+    <section>
+      <item>
+	<attribute name="label" translatable="yes">_Undo</attribute>
+	<attribute name="action">win.undo</attribute>
+      </item>
+      <item>
+	<attribute name="label" translatable="yes">_Redo</attribute>
+	<attribute name="action">win.redo</attribute>
+      </item>
+    </section>
+  </submenu>
+  <submenu>
+    <attribute name="label" translatable="yes">_Run</attribute>
+    <section>
+      <item>
+	<attribute name="label" translatable="yes">_All</attribute>
+	<attribute name="action">win.run-all</attribute>
+      </item>
+      <item>
+	<attribute name="label" translatable="yes">_Selection</attribute>
+	<attribute name="action">win.run-selection</attribute>
+      </item>
+      <item>
+	<attribute name="label" translatable="yes">_Current Line</attribute>
+	<attribute name="action">win.run-current-line</attribute>
+	<attribute name="accel">&lt;Primary&gt;r</attribute>
+      </item>
+      <item>
+	<attribute name="label" translatable="yes">_To End</attribute>
+	<attribute name="action">win.run-to-end</attribute>
+      </item>
+    </section>
+  </submenu>
+</menu>
+<object class="GtkScrolledWindow" id="scrolledwindow8">
+  <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>
+  <property name="shadow_type">GTK_SHADOW_IN</property>
+  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
+  <child>
+    <object class="GtkSourceView" id="syntax_text_view">
+      <property name="visible">True</property>
+      <property name="can_focus">True</property>
+      <property name="editable">True</property>
+      <property name="overwrite">False</property>
+      <property name="accepts_tab">True</property>
+      <property name="justification">GTK_JUSTIFY_LEFT</property>
+      <property name="wrap_mode">GTK_WRAP_NONE</property>
+      <property name="cursor_visible">True</property>
+      <property name="pixels_above_lines">0</property>
+      <property name="pixels_below_lines">0</property>
+      <property name="pixels_inside_wrap">0</property>
+      <property name="left_margin">0</property>
+      <property name="right_margin">0</property>
+      <property name="indent">0</property>
+    </object>
+  </child>
+</object>
+<object class="GtkStatusbar" id="statusbar2">
+  <property name="visible">True</property>
+</object>
 </interface>