[Libreoffice-commits] core.git: officecfg/registry starmath/inc starmath/sdi starmath/source starmath/uiconfig starmath/UIConfig_smath.mk

Maxim Monastirsky momonasmon at gmail.com
Sun May 7 22:32:49 UTC 2017


 officecfg/registry/data/org/openoffice/Office/UI/MathCommands.xcu    |   63 
 officecfg/registry/data/org/openoffice/Office/UI/MathWindowState.xcu |    7 
 starmath/UIConfig_smath.mk                                           |    2 
 starmath/inc/edit.hxx                                                |    1 
 starmath/sdi/smath.sdi                                               |    2 
 starmath/source/edit.cxx                                             |   36 
 starmath/uiconfig/smath/popupmenu/edit.xml                           |  265 +
 starmath/uiconfig/smath/ui/commandmenu.ui                            | 1586 ----------
 8 files changed, 338 insertions(+), 1624 deletions(-)

New commits:
commit 8da106529e85981ce37fbbd18160023c26cc7129
Author: Maxim Monastirsky <momonasmon at gmail.com>
Date:   Sun May 7 03:32:25 2017 +0300

    tdf#106479 Make edit context menu dispatcher based
    
    This allows us to add there any .uno command and
    also get the icon and keyboard shortcut for it.
    Use this to add clipboard commands.
    
    Change-Id: Ic42c28add7771f322491e8e7d6df052e3c2c8d75
    Reviewed-on: https://gerrit.libreoffice.org/37353
    Reviewed-by: Maxim Monastirsky <momonasmon at gmail.com>
    Tested-by: Maxim Monastirsky <momonasmon at gmail.com>

diff --git a/officecfg/registry/data/org/openoffice/Office/UI/MathCommands.xcu b/officecfg/registry/data/org/openoffice/Office/UI/MathCommands.xcu
index 1fe747ff5d64..8adebca5535a 100644
--- a/officecfg/registry/data/org/openoffice/Office/UI/MathCommands.xcu
+++ b/officecfg/registry/data/org/openoffice/Office/UI/MathCommands.xcu
@@ -141,7 +141,68 @@
           <value>9</value>
         </prop>
       </node>
+      <node oor:name=".uno:InsertCommandText?Text:string=newline " oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">New Line</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:InsertCommandText?Text:string=`" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">Small Gap</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:InsertCommandText?Text:string=~" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">Gap</value>
+        </prop>
+      </node>
+    </node>
+    <node oor:name="Popups">
+      <node oor:name=".uno:UnaryBinaryMenu" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">~Unary/Binary Operators</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:RelationsMenu" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">~Relations</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:SetOperationsMenu" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">~Set Operations</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:FunctionsMenu" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">~Functions</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:OperatorsMenu" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">O~perators</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:AttributesMenu" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">~Attributes</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:BracketsMenu" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">~Brackets</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:FormatsMenu" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">For~mats</value>
+        </prop>
+      </node>
+      <node oor:name=".uno:OthersMenu" oor:op="replace">
+        <prop oor:name="Label" oor:type="xs:string">
+          <value xml:lang="en-US">~Others</value>
+        </prop>
+      </node>
     </node>
-    <node oor:name="Popups"/>
   </node>
 </oor:component-data>
diff --git a/officecfg/registry/data/org/openoffice/Office/UI/MathWindowState.xcu b/officecfg/registry/data/org/openoffice/Office/UI/MathWindowState.xcu
index bd679f723693..386dc8d39ac1 100644
--- a/officecfg/registry/data/org/openoffice/Office/UI/MathWindowState.xcu
+++ b/officecfg/registry/data/org/openoffice/Office/UI/MathWindowState.xcu
@@ -20,9 +20,14 @@
 <oor:component-data xmlns:install="http://openoffice.org/2004/installation" xmlns:oor="http://openoffice.org/2001/registry" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" oor:name="MathWindowState" oor:package="org.openoffice.Office.UI">
   <node oor:name="UIElements">
     <node oor:name="States">
+      <node oor:name="private:resource/popupmenu/edit" oor:op="replace">
+        <prop oor:name="UIName" oor:type="xs:string">
+          <value xml:lang="en-US">Edit Panel</value>
+        </prop>
+      </node>
       <node oor:name="private:resource/popupmenu/view" oor:op="replace">
         <prop oor:name="UIName" oor:type="xs:string">
-          <value xml:lang="en-US">Work Area</value>
+          <value xml:lang="en-US">View Panel</value>
         </prop>
       </node>
       <node oor:name="private:resource/toolbar/standardbar" oor:op="replace">
diff --git a/starmath/UIConfig_smath.mk b/starmath/UIConfig_smath.mk
index 52babf47879c..5aa6e4cfbb06 100644
--- a/starmath/UIConfig_smath.mk
+++ b/starmath/UIConfig_smath.mk
@@ -14,6 +14,7 @@ $(eval $(call gb_UIConfig_add_menubarfiles,modules/smath,\
 ))
 
 $(eval $(call gb_UIConfig_add_popupmenufiles,modules/smath,\
+	starmath/uiconfig/smath/popupmenu/edit \
 	starmath/uiconfig/smath/popupmenu/view \
 ))
 
@@ -30,7 +31,6 @@ $(eval $(call gb_UIConfig_add_toolbarfiles,modules/smath,\
 $(eval $(call gb_UIConfig_add_uifiles,modules/smath,\
 	starmath/uiconfig/smath/ui/alignmentdialog \
 	starmath/uiconfig/smath/ui/catalogdialog \
-	starmath/uiconfig/smath/ui/commandmenu \
 	starmath/uiconfig/smath/ui/dockingelements \
 	starmath/uiconfig/smath/ui/fontdialog \
 	starmath/uiconfig/smath/ui/fontsizedialog \
diff --git a/starmath/inc/edit.hxx b/starmath/inc/edit.hxx
index 173ccba43a1d..54bfdbce5cb9 100644
--- a/starmath/inc/edit.hxx
+++ b/starmath/inc/edit.hxx
@@ -58,7 +58,6 @@ class SmEditWindow : public vcl::Window, public DropTargetHelper
     virtual void KeyInput(const KeyEvent& rKEvt) override;
     virtual void Command(const CommandEvent& rCEvt) override;
 
-    DECL_LINK(MenuSelectHdl, Menu *, bool);
     DECL_LINK(ModifyTimerHdl, Timer *, void);
     DECL_LINK(CursorMoveTimerHdl, Timer *, void);
 
diff --git a/starmath/sdi/smath.sdi b/starmath/sdi/smath.sdi
index 3c2a7ebacced..4f479193ee4e 100644
--- a/starmath/sdi/smath.sdi
+++ b/starmath/sdi/smath.sdi
@@ -217,7 +217,7 @@ SfxInt16Item Graphic SID_GAPHIC_SM
 
 
 SfxVoidItem InsertCommandText SID_INSERTCOMMANDTEXT
-()
+(SfxStringItem Text SID_INSERTCOMMANDTEXT)
 [
     AutoUpdate = FALSE,
     FastCall = FALSE,
diff --git a/starmath/source/edit.cxx b/starmath/source/edit.cxx
index df8816aff0f8..b2e41cd36d3d 100644
--- a/starmath/source/edit.cxx
+++ b/starmath/source/edit.cxx
@@ -341,29 +341,9 @@ void SmEditWindow::Command(const CommandEvent& rCEvt)
         GetParent()->ToTop();
 
         Point aPoint = rCEvt.GetMousePosPixel();
-
-        VclBuilder aBuilder(nullptr, VclBuilderContainer::getUIRootDir(), "modules/smath/ui/commandmenu.ui", "");
-        VclPtr<PopupMenu> xPopupMenu(aBuilder.get_menu("menu"));
-
-        // added for replaceability of context menus
-        VclPtr<Menu> pMenu;
-        css::ui::ContextMenuExecuteEvent aEvent;
-        aEvent.SourceWindow = VCLUnoHelper::GetInterface( this );
-        aEvent.ExecutePosition.X = aPoint.X();
-        aEvent.ExecutePosition.Y = aPoint.Y();
-        OUString sDummy;
-        if ( GetView()->TryContextMenuInterception( *xPopupMenu, sDummy, pMenu, aEvent ) )
-        {
-            if ( pMenu )
-            {
-                xPopupMenu.disposeAndClear();
-                xPopupMenu = static_cast<PopupMenu*>(pMenu.get());
-            }
-        }
-
-        xPopupMenu->SetSelectHdl(LINK(this, SmEditWindow, MenuSelectHdl));
-
-        xPopupMenu->Execute( this, aPoint );
+        SmViewShell* pViewSh = rCmdBox.GetView();
+        if (pViewSh)
+            pViewSh->GetViewFrame()->GetDispatcher()->ExecutePopup("edit", this, &aPoint);
         bForwardEvt = false;
     }
     else if (rCEvt.GetCommand() == CommandEventId::Wheel)
@@ -397,16 +377,6 @@ bool SmEditWindow::HandleWheelCommands( const CommandEvent &rCEvt )
     return bCommandHandled;
 }
 
-IMPL_LINK( SmEditWindow, MenuSelectHdl, Menu *, pMenu, bool )
-{
-    SmViewShell *pViewSh = rCmdBox.GetView();
-    if (pViewSh)
-        pViewSh->GetViewFrame()->GetDispatcher()->ExecuteList(
-                SID_INSERTCOMMANDTEXT, SfxCallMode::RECORD,
-                { new SfxStringItem(SID_INSERTCOMMANDTEXT, OUString::fromUtf8(pMenu->GetCurItemIdent())) });
-    return false;
-}
-
 void SmEditWindow::KeyInput(const KeyEvent& rKEvt)
 {
     if (rKEvt.GetKeyCode().GetCode() == KEY_ESCAPE)
diff --git a/starmath/uiconfig/smath/popupmenu/edit.xml b/starmath/uiconfig/smath/popupmenu/edit.xml
new file mode 100644
index 000000000000..211776eea9a8
--- /dev/null
+++ b/starmath/uiconfig/smath/popupmenu/edit.xml
@@ -0,0 +1,265 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+-->
+<!-- BEWARE: We store most labels here because they are not translatable.
+     Labels that are supposed to be translatable should be added to
+     officecfg/.../MathCommands.xcu instead.
+-->
+<menu:menupopup xmlns:menu="http://openoffice.org/2001/menu">
+  <menu:menuitem menu:id=".uno:Cut"/>
+  <menu:menuitem menu:id=".uno:Copy"/>
+  <menu:menuitem menu:id=".uno:Paste"/>
+  <menu:menuseparator/>
+  <menu:menu menu:id=".uno:UnaryBinaryMenu">
+    <menu:menupopup>
+      <menu:menuitem menu:label="+a" menu:id=".uno:InsertCommandText?Text:string=+<?> "/>
+      <menu:menuitem menu:label="-a" menu:id=".uno:InsertCommandText?Text:string=-<?> "/>
+      <menu:menuitem menu:label="+-a" menu:id=".uno:InsertCommandText?Text:string=+-<?> "/>
+      <menu:menuitem menu:label="-+a" menu:id=".uno:InsertCommandText?Text:string=-+<?> "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="a + b" menu:id=".uno:InsertCommandText?Text:string=<?> + <?> "/>
+      <menu:menuitem menu:label="a - b" menu:id=".uno:InsertCommandText?Text:string=<?> - <?> "/>
+      <menu:menuitem menu:label="a cdot b" menu:id=".uno:InsertCommandText?Text:string=<?> cdot <?> "/>
+      <menu:menuitem menu:label="a times b" menu:id=".uno:InsertCommandText?Text:string=<?> times <?> "/>
+      <menu:menuitem menu:label="a * b" menu:id=".uno:InsertCommandText?Text:string=<?> * <?> "/>
+      <menu:menuitem menu:label="a over b" menu:id=".uno:InsertCommandText?Text:string={<?>} over {<?>} "/>
+      <menu:menuitem menu:label="a div b" menu:id=".uno:InsertCommandText?Text:string=<?> div <?> "/>
+      <menu:menuitem menu:label="a / b" menu:id=".uno:InsertCommandText?Text:string=<?> / <?> "/>
+      <menu:menuitem menu:label="a circ b" menu:id=".uno:InsertCommandText?Text:string=<?> circ <?> "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="a wideslash b" menu:id=".uno:InsertCommandText?Text:string={<?>} wideslash {<?>} "/>
+      <menu:menuitem menu:label="a widebslash b" menu:id=".uno:InsertCommandText?Text:string={<?>} widebslash {<?>} "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="neg a" menu:id=".uno:InsertCommandText?Text:string=neg <?> "/>
+      <menu:menuitem menu:label="a and b" menu:id=".uno:InsertCommandText?Text:string=<?> and <?> "/>
+      <menu:menuitem menu:label="a or b" menu:id=".uno:InsertCommandText?Text:string=<?> or <?> "/>
+    </menu:menupopup>
+  </menu:menu>
+  <menu:menu menu:id=".uno:RelationsMenu">
+    <menu:menupopup>
+      <menu:menuitem menu:label="a = b" menu:id=".uno:InsertCommandText?Text:string=<?> %3D <?> "/>
+      <menu:menuitem menu:label="a <> b" menu:id=".uno:InsertCommandText?Text:string=<?> <> <?> "/>
+      <menu:menuitem menu:label="a < b" menu:id=".uno:InsertCommandText?Text:string=<?> < <?> "/>
+      <menu:menuitem menu:label="a <= b" menu:id=".uno:InsertCommandText?Text:string=<?> <%3D <?> "/>
+      <menu:menuitem menu:label="a leslant b" menu:id=".uno:InsertCommandText?Text:string=<?> leslant <?> "/>
+      <menu:menuitem menu:label="a > b" menu:id=".uno:InsertCommandText?Text:string=<?> > <?> "/>
+      <menu:menuitem menu:label="a >= b" menu:id=".uno:InsertCommandText?Text:string=<?> >%3D <?> "/>
+      <menu:menuitem menu:label="a geslant b" menu:id=".uno:InsertCommandText?Text:string=<?> geslant <?> "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="a approx b" menu:id=".uno:InsertCommandText?Text:string=<?> approx <?> "/>
+      <menu:menuitem menu:label="a sim b" menu:id=".uno:InsertCommandText?Text:string=<?> sim <?> "/>
+      <menu:menuitem menu:label="a simeq b" menu:id=".uno:InsertCommandText?Text:string=<?> simeq <?> "/>
+      <menu:menuitem menu:label="a equiv b" menu:id=".uno:InsertCommandText?Text:string=<?> equiv <?> "/>
+      <menu:menuitem menu:label="a prop b" menu:id=".uno:InsertCommandText?Text:string=<?> prop <?> "/>
+      <menu:menuitem menu:label="a parallel b" menu:id=".uno:InsertCommandText?Text:string=<?> parallel <?> "/>
+      <menu:menuitem menu:label="a ortho b" menu:id=".uno:InsertCommandText?Text:string=<?> ortho <?> "/>
+      <menu:menuitem menu:label="a divides b" menu:id=".uno:InsertCommandText?Text:string=<?> divides <?> "/>
+      <menu:menuitem menu:label="a ndivides b" menu:id=".uno:InsertCommandText?Text:string=<?> ndivides <?> "/>
+      <menu:menuitem menu:label="a toward b" menu:id=".uno:InsertCommandText?Text:string=<?> toward <?> "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="a dlarrow b" menu:id=".uno:InsertCommandText?Text:string=<?> dlarrow <?> "/>
+      <menu:menuitem menu:label="a dlrarrow b" menu:id=".uno:InsertCommandText?Text:string=<?> dlrarrow <?> "/>
+      <menu:menuitem menu:label="a drarrow b" menu:id=".uno:InsertCommandText?Text:string=<?> drarrow <?> "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="a prec b" menu:id=".uno:InsertCommandText?Text:string=<?> prec <?> "/>
+      <menu:menuitem menu:label="a succ b" menu:id=".uno:InsertCommandText?Text:string=<?> succ <?> "/>
+      <menu:menuitem menu:label="a preccurlyeq b" menu:id=".uno:InsertCommandText?Text:string=<?> preccurlyeq <?> "/>
+      <menu:menuitem menu:label="a succcurlyeq b" menu:id=".uno:InsertCommandText?Text:string=<?> succcurlyeq <?> "/>
+      <menu:menuitem menu:label="a precsim b" menu:id=".uno:InsertCommandText?Text:string=<?> precsim <?> "/>
+      <menu:menuitem menu:label="a succsim b" menu:id=".uno:InsertCommandText?Text:string=<?> succsim <?> "/>
+      <menu:menuitem menu:label="a nprec b" menu:id=".uno:InsertCommandText?Text:string=<?> nprec <?> "/>
+      <menu:menuitem menu:label="a nsucc b" menu:id=".uno:InsertCommandText?Text:string=<?> nsucc <?> "/>
+    </menu:menupopup>
+  </menu:menu>
+  <menu:menu menu:id=".uno:SetOperationsMenu">
+    <menu:menupopup>
+      <menu:menuitem menu:label="a in A" menu:id=".uno:InsertCommandText?Text:string=<?> in <?> "/>
+      <menu:menuitem menu:label="a notin A" menu:id=".uno:InsertCommandText?Text:string=<?> notin <?> "/>
+      <menu:menuitem menu:label="A owns a" menu:id=".uno:InsertCommandText?Text:string=<?> owns <?> "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="A intersection B" menu:id=".uno:InsertCommandText?Text:string=<?> intersection <?> "/>
+      <menu:menuitem menu:label="A union B" menu:id=".uno:InsertCommandText?Text:string=<?> union <?> "/>
+      <menu:menuitem menu:label="A \ B" menu:id=".uno:InsertCommandText?Text:string=<?> setminus <?> "/>
+      <menu:menuitem menu:label="A / B" menu:id=".uno:InsertCommandText?Text:string=<?> slash <?> "/>
+      <menu:menuitem menu:label="A subset B" menu:id=".uno:InsertCommandText?Text:string=<?> subset <?> "/>
+      <menu:menuitem menu:label="A subseteq B" menu:id=".uno:InsertCommandText?Text:string=<?> subseteq <?> "/>
+      <menu:menuitem menu:label="A supset B" menu:id=".uno:InsertCommandText?Text:string=<?> supset <?> "/>
+      <menu:menuitem menu:label="A supseteq B" menu:id=".uno:InsertCommandText?Text:string=<?> supseteq <?> "/>
+      <menu:menuitem menu:label="A nsubset B" menu:id=".uno:InsertCommandText?Text:string=<?> nsubset <?> "/>
+      <menu:menuitem menu:label="A nsubseteq B" menu:id=".uno:InsertCommandText?Text:string=<?> nsubseteq <?> "/>
+      <menu:menuitem menu:label="A nsupset B" menu:id=".uno:InsertCommandText?Text:string=<?> nsupset <?> "/>
+      <menu:menuitem menu:label="A nsupseteq B" menu:id=".uno:InsertCommandText?Text:string=<?> nsupseteq <?> "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="emptyset" menu:id=".uno:InsertCommandText?Text:string=emptyset "/>
+      <menu:menuitem menu:label="aleph" menu:id=".uno:InsertCommandText?Text:string=aleph "/>
+      <menu:menuitem menu:label="setN" menu:id=".uno:InsertCommandText?Text:string=setN "/>
+      <menu:menuitem menu:label="setZ" menu:id=".uno:InsertCommandText?Text:string=setZ "/>
+      <menu:menuitem menu:label="setQ" menu:id=".uno:InsertCommandText?Text:string=setQ "/>
+      <menu:menuitem menu:label="setR" menu:id=".uno:InsertCommandText?Text:string=setR "/>
+      <menu:menuitem menu:label="setC" menu:id=".uno:InsertCommandText?Text:string=setC "/>
+    </menu:menupopup>
+  </menu:menu>
+  <menu:menu menu:id=".uno:FunctionsMenu">
+    <menu:menupopup>
+      <menu:menuitem menu:label="|x|" menu:id=".uno:InsertCommandText?Text:string=abs{<?>} "/>
+      <menu:menuitem menu:label="x!" menu:id=".uno:InsertCommandText?Text:string=fact{<?>} "/>
+      <menu:menuitem menu:label="sqrt x" menu:id=".uno:InsertCommandText?Text:string=sqrt{<?>} "/>
+      <menu:menuitem menu:label="nroot x y" menu:id=".uno:InsertCommandText?Text:string=nroot{<?>}{<?>} "/>
+      <menu:menuitem menu:label="x^y" menu:id=".uno:InsertCommandText?Text:string=<?>^{<?>}"/>
+      <menu:menuitem menu:label="e^x" menu:id=".uno:InsertCommandText?Text:string=func e^{<?>} "/>
+      <menu:menuitem menu:label="ln(x)" menu:id=".uno:InsertCommandText?Text:string=ln(<?>) "/>
+      <menu:menuitem menu:label="exp(x)" menu:id=".uno:InsertCommandText?Text:string=exp(<?>) "/>
+      <menu:menuitem menu:label="log(x)" menu:id=".uno:InsertCommandText?Text:string=log(<?>) "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="sin(x)" menu:id=".uno:InsertCommandText?Text:string=sin(<?>) "/>
+      <menu:menuitem menu:label="cos(x)" menu:id=".uno:InsertCommandText?Text:string=cos(<?>) "/>
+      <menu:menuitem menu:label="tan(x)" menu:id=".uno:InsertCommandText?Text:string=tan(<?>) "/>
+      <menu:menuitem menu:label="cot(x)" menu:id=".uno:InsertCommandText?Text:string=cot(<?>) "/>
+      <menu:menuitem menu:label="sinh(x)" menu:id=".uno:InsertCommandText?Text:string=sinh(<?>) "/>
+      <menu:menuitem menu:label="cosh(x)" menu:id=".uno:InsertCommandText?Text:string=cosh(<?>) "/>
+      <menu:menuitem menu:label="tanh(x)" menu:id=".uno:InsertCommandText?Text:string=tanh(<?>) "/>
+      <menu:menuitem menu:label="coth(x)" menu:id=".uno:InsertCommandText?Text:string=coth(<?>) "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="arcsin(x)" menu:id=".uno:InsertCommandText?Text:string=arcsin(<?>) "/>
+      <menu:menuitem menu:label="arccos(x)" menu:id=".uno:InsertCommandText?Text:string=arccos(<?>) "/>
+      <menu:menuitem menu:label="arctan(x)" menu:id=".uno:InsertCommandText?Text:string=arctan(<?>) "/>
+      <menu:menuitem menu:label="arccot(x)" menu:id=".uno:InsertCommandText?Text:string=arccot(<?>) "/>
+      <menu:menuitem menu:label="arsinh(x)" menu:id=".uno:InsertCommandText?Text:string=arsinh(<?>) "/>
+      <menu:menuitem menu:label="arcosh(x)" menu:id=".uno:InsertCommandText?Text:string=arcosh(<?>) "/>
+      <menu:menuitem menu:label="artanh(x)" menu:id=".uno:InsertCommandText?Text:string=artanh(<?>) "/>
+      <menu:menuitem menu:label="arcoth(x)" menu:id=".uno:InsertCommandText?Text:string=arcoth(<?>) "/>
+    </menu:menupopup>
+  </menu:menu>
+  <menu:menu menu:id=".uno:OperatorsMenu">
+    <menu:menupopup>
+      <menu:menuitem menu:label="lim x" menu:id=".uno:InsertCommandText?Text:string=lim <?> "/>
+      <menu:menuitem menu:label="sum x" menu:id=".uno:InsertCommandText?Text:string=sum <?> "/>
+      <menu:menuitem menu:label="prod x" menu:id=".uno:InsertCommandText?Text:string=prod <?> "/>
+      <menu:menuitem menu:label="coprod x" menu:id=".uno:InsertCommandText?Text:string=coprod <?> "/>
+      <menu:menuitem menu:label="int x" menu:id=".uno:InsertCommandText?Text:string=int <?> "/>
+      <menu:menuitem menu:label="iint x" menu:id=".uno:InsertCommandText?Text:string=iint <?> "/>
+      <menu:menuitem menu:label="iiint x" menu:id=".uno:InsertCommandText?Text:string=iiint <?> "/>
+      <menu:menuitem menu:label="lint x" menu:id=".uno:InsertCommandText?Text:string=lint <?> "/>
+      <menu:menuitem menu:label="llint x" menu:id=".uno:InsertCommandText?Text:string=llint <?> "/>
+      <menu:menuitem menu:label="lllint x" menu:id=".uno:InsertCommandText?Text:string=lllint <?> "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="... from a to b" menu:id=".uno:InsertCommandText?Text:string=from{<?>} to{<?>} <?> "/>
+      <menu:menuitem menu:label="... from a" menu:id=".uno:InsertCommandText?Text:string=from{<?>} <?> "/>
+      <menu:menuitem menu:label="... to b" menu:id=".uno:InsertCommandText?Text:string=to{<?>} <?> "/>
+    </menu:menupopup>
+  </menu:menu>
+  <menu:menu menu:id=".uno:AttributesMenu">
+    <menu:menupopup>
+      <menu:menuitem menu:label="acute a" menu:id=".uno:InsertCommandText?Text:string=acute <?> "/>
+      <menu:menuitem menu:label="grave a" menu:id=".uno:InsertCommandText?Text:string=grave <?> "/>
+      <menu:menuitem menu:label="check a" menu:id=".uno:InsertCommandText?Text:string=check <?> "/>
+      <menu:menuitem menu:label="breve a" menu:id=".uno:InsertCommandText?Text:string=breve <?> "/>
+      <menu:menuitem menu:label="circle a" menu:id=".uno:InsertCommandText?Text:string=circle <?> "/>
+      <menu:menuitem menu:label="dot a" menu:id=".uno:InsertCommandText?Text:string=dot <?> "/>
+      <menu:menuitem menu:label="ddot a" menu:id=".uno:InsertCommandText?Text:string=ddot <?> "/>
+      <menu:menuitem menu:label="dddot a" menu:id=".uno:InsertCommandText?Text:string=dddot <?> "/>
+      <menu:menuitem menu:label="bar a" menu:id=".uno:InsertCommandText?Text:string=bar <?> "/>
+      <menu:menuitem menu:label="vec a" menu:id=".uno:InsertCommandText?Text:string=vec <?> "/>
+      <menu:menuitem menu:label="tilde a" menu:id=".uno:InsertCommandText?Text:string=tilde <?> "/>
+      <menu:menuitem menu:label="hat a" menu:id=".uno:InsertCommandText?Text:string=hat <?> "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="widevec abc" menu:id=".uno:InsertCommandText?Text:string=widevec {<?>} "/>
+      <menu:menuitem menu:label="widetilde abc" menu:id=".uno:InsertCommandText?Text:string=widetilde {<?>} "/>
+      <menu:menuitem menu:label="widehat abc" menu:id=".uno:InsertCommandText?Text:string=widehat {<?>} "/>
+      <menu:menuitem menu:label="overline abc" menu:id=".uno:InsertCommandText?Text:string=overline {<?>} "/>
+      <menu:menuitem menu:label="underline abc" menu:id=".uno:InsertCommandText?Text:string=underline {<?>} "/>
+      <menu:menuitem menu:label="overstrike abc" menu:id=".uno:InsertCommandText?Text:string=overstrike {<?>} "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="phantom b" menu:id=".uno:InsertCommandText?Text:string=phantom {<?>} "/>
+      <menu:menuitem menu:label="bold b" menu:id=".uno:InsertCommandText?Text:string=bold <?> "/>
+      <menu:menuitem menu:label="ital b" menu:id=".uno:InsertCommandText?Text:string=ital <?> "/>
+      <menu:menuitem menu:label="size s b" menu:id=".uno:InsertCommandText?Text:string=size <?> {<?>} "/>
+      <menu:menuitem menu:label="font f b" menu:id=".uno:InsertCommandText?Text:string=font <?> {<?>} "/>
+    </menu:menupopup>
+  </menu:menu>
+  <menu:menu menu:id=".uno:BracketsMenu">
+    <menu:menupopup>
+      <menu:menuitem menu:label="{...}" menu:id=".uno:InsertCommandText?Text:string={<?>} "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="(x)" menu:id=".uno:InsertCommandText?Text:string=(<?>) "/>
+      <menu:menuitem menu:label="[x]" menu:id=".uno:InsertCommandText?Text:string=[<?>] "/>
+      <menu:menuitem menu:label="ldbracket x rdbracket " menu:id=".uno:InsertCommandText?Text:string=ldbracket <?> rdbracket "/>
+      <menu:menuitem menu:label="{x}" menu:id=".uno:InsertCommandText?Text:string=lbrace <?> rbrace "/>
+      <menu:menuitem menu:label="langle x rangle" menu:id=".uno:InsertCommandText?Text:string=langle <?> rangle "/>
+      <menu:menuitem menu:label="langle x mline y rangle" menu:id=".uno:InsertCommandText?Text:string=langle <?> mline <?> rangle "/>
+      <menu:menuitem menu:label="lceil x rceil" menu:id=".uno:InsertCommandText?Text:string=lceil <?> rceil "/>
+      <menu:menuitem menu:label="lfloor x rfloor" menu:id=".uno:InsertCommandText?Text:string=lfloor <?> rfloor "/>
+      <menu:menuitem menu:label="lline x rline" menu:id=".uno:InsertCommandText?Text:string=lline <?> rline "/>
+      <menu:menuitem menu:label="ldline x rdline" menu:id=".uno:InsertCommandText?Text:string=ldline <?> rdline "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="left ( x right )" menu:id=".uno:InsertCommandText?Text:string=left ( <?> right ) "/>
+      <menu:menuitem menu:label="left [ x right ]" menu:id=".uno:InsertCommandText?Text:string=left [ <?> right ] "/>
+      <menu:menuitem menu:label="left ldbracket x right rdbracket " menu:id=".uno:InsertCommandText?Text:string=left ldbracket <?> right rdbracket "/>
+      <menu:menuitem menu:label="left { x right }" menu:id=".uno:InsertCommandText?Text:string=left lbrace <?> right rbrace "/>
+      <menu:menuitem menu:label="left langle x right rangle" menu:id=".uno:InsertCommandText?Text:string=left langle <?> right rangle "/>
+      <menu:menuitem menu:label="left langle x mline y right rangle" menu:id=".uno:InsertCommandText?Text:string=left langle <?> mline <?> right rangle "/>
+      <menu:menuitem menu:label="left lceil x right rceil" menu:id=".uno:InsertCommandText?Text:string=left lceil <?> right rceil "/>
+      <menu:menuitem menu:label="left lfloor x right rfloor" menu:id=".uno:InsertCommandText?Text:string=left lfloor <?> right rfloor "/>
+      <menu:menuitem menu:label="left lline x right rline" menu:id=".uno:InsertCommandText?Text:string=left lline <?> right rline "/>
+      <menu:menuitem menu:label="left ldline x right rdline" menu:id=".uno:InsertCommandText?Text:string=left ldline <?> right rdline "/>
+      <menu:menuitem menu:label="left none x right rline_y" menu:id=".uno:InsertCommandText?Text:string=left none {<?>} right rline_{<?>} "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="x overbrace y" menu:id=".uno:InsertCommandText?Text:string={<?>} overbrace {<?>} "/>
+      <menu:menuitem menu:label="x underbrace y" menu:id=".uno:InsertCommandText?Text:string={<?>} underbrace {<?>} "/>
+    </menu:menupopup>
+  </menu:menu>
+  <menu:menu menu:id=".uno:FormatsMenu">
+    <menu:menupopup>
+      <menu:menuitem menu:label="^x" menu:id=".uno:InsertCommandText?Text:string=<?>^{<?>} "/>
+      <menu:menuitem menu:label="_x" menu:id=".uno:InsertCommandText?Text:string=<?>_{<?>} "/>
+      <menu:menuitem menu:label="lsup x" menu:id=".uno:InsertCommandText?Text:string=<?> lsup{<?>} "/>
+      <menu:menuitem menu:label="lsub x" menu:id=".uno:InsertCommandText?Text:string=<?> lsub{<?>} "/>
+      <menu:menuitem menu:label="csup x" menu:id=".uno:InsertCommandText?Text:string=<?> csup{<?>} "/>
+      <menu:menuitem menu:label="csub x" menu:id=".uno:InsertCommandText?Text:string=<?> csub{<?>} "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:id=".uno:InsertCommandText?Text:string=newline "/>
+      <menu:menuitem menu:id=".uno:InsertCommandText?Text:string=`"/>
+      <menu:menuitem menu:id=".uno:InsertCommandText?Text:string=~"/>
+      <menu:menuitem menu:label="nospace {...}" menu:id=".uno:InsertCommandText?Text:string=nospace {<?>} "/>
+      <menu:menuitem menu:label="binom x y" menu:id=".uno:InsertCommandText?Text:string=binom{<?>}{<?>} "/>
+      <menu:menuitem menu:label="stack {...}" menu:id=".uno:InsertCommandText?Text:string=stack{<?> # <?> # <?>} "/>
+      <menu:menuitem menu:label="matrix {...}" menu:id=".uno:InsertCommandText?Text:string=matrix{<?> # <?> ## <?> # <?>} "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="alignl x" menu:id=".uno:InsertCommandText?Text:string=alignl <?> "/>
+      <menu:menuitem menu:label="alignc x" menu:id=".uno:InsertCommandText?Text:string=alignc <?> "/>
+      <menu:menuitem menu:label="alignr x" menu:id=".uno:InsertCommandText?Text:string=alignr <?> "/>
+    </menu:menupopup>
+  </menu:menu>
+  <menu:menu menu:id=".uno:OthersMenu">
+    <menu:menupopup>
+      <menu:menuitem menu:label="infinity" menu:id=".uno:InsertCommandText?Text:string=infinity "/>
+      <menu:menuitem menu:label="partial" menu:id=".uno:InsertCommandText?Text:string=partial "/>
+      <menu:menuitem menu:label="nabla" menu:id=".uno:InsertCommandText?Text:string=nabla "/>
+      <menu:menuitem menu:label="exists" menu:id=".uno:InsertCommandText?Text:string=exists "/>
+      <menu:menuitem menu:label="not exists" menu:id=".uno:InsertCommandText?Text:string=notexists "/>
+      <menu:menuitem menu:label="forall" menu:id=".uno:InsertCommandText?Text:string=forall "/>
+      <menu:menuitem menu:label="hbar" menu:id=".uno:InsertCommandText?Text:string=hbar "/>
+      <menu:menuitem menu:label="lambdabar" menu:id=".uno:InsertCommandText?Text:string=lambdabar "/>
+      <menu:menuitem menu:label="Re" menu:id=".uno:InsertCommandText?Text:string=Re "/>
+      <menu:menuitem menu:label="Im" menu:id=".uno:InsertCommandText?Text:string=Im "/>
+      <menu:menuitem menu:label="wp" menu:id=".uno:InsertCommandText?Text:string=wp "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="leftarrow" menu:id=".uno:InsertCommandText?Text:string=leftarrow "/>
+      <menu:menuitem menu:label="rightarrow" menu:id=".uno:InsertCommandText?Text:string=rightarrow "/>
+      <menu:menuitem menu:label="uparrow" menu:id=".uno:InsertCommandText?Text:string=uparrow "/>
+      <menu:menuitem menu:label="downarrow" menu:id=".uno:InsertCommandText?Text:string=downarrow "/>
+      <menu:menuseparator/>
+      <menu:menuitem menu:label="dotslow" menu:id=".uno:InsertCommandText?Text:string=dotslow "/>
+      <menu:menuitem menu:label="dotsaxis" menu:id=".uno:InsertCommandText?Text:string=dotsaxis "/>
+      <menu:menuitem menu:label="dotsvert" menu:id=".uno:InsertCommandText?Text:string=dotsvert "/>
+      <menu:menuitem menu:label="dotsup" menu:id=".uno:InsertCommandText?Text:string=dotsup "/>
+      <menu:menuitem menu:label="dotsdown" menu:id=".uno:InsertCommandText?Text:string=dotsdown "/>
+    </menu:menupopup>
+  </menu:menu>
+</menu:menupopup>
diff --git a/starmath/uiconfig/smath/ui/commandmenu.ui b/starmath/uiconfig/smath/ui/commandmenu.ui
deleted file mode 100644
index 194b06f24226..000000000000
--- a/starmath/uiconfig/smath/ui/commandmenu.ui
+++ /dev/null
@@ -1,1586 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!-- Generated with glade 3.20.0 -->
-<interface>
-  <requires lib="gtk+" version="3.10"/>
-  <object class="GtkMenu" id="menu">
-    <property name="visible">True</property>
-    <property name="can_focus">False</property>
-    <child>
-      <object class="GtkMenuItem" id="item1">
-        <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="label" translatable="yes">_Unary/Binary Operators</property>
-        <property name="use_underline">True</property>
-        <child type="submenu">
-          <object class="GtkMenu">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <child>
-              <object class="GtkMenuItem" id="+<?> +<?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">+a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="-<?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">-a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="+-<?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">+-a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="-+<?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">-+a</property>
-                <property name="use_underline">True</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem1">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> + <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a + b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> - <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a - b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> cdot <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a cdot b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> times <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a times b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> * <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a * b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="{<?>} over {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a over b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> div <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a div b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> / <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a / b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> circ <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a circ b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem2">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="{<?>} wideslash {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a wideslash b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="{<?>} widebslash {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a widebslash b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem3">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="neg <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">neg a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> and <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a and b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> or <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a or b</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-    </child>
-    <child>
-      <object class="GtkMenuItem" id="item20">
-        <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="label" translatable="yes">_Relations</property>
-        <property name="use_underline">True</property>
-        <child type="submenu">
-          <object class="GtkMenu">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <child>
-              <object class="GtkMenuItem" id="<?> = <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a = b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> <> <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a <> b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> < <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a < b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> <= <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a <= b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> leslant <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a leslant b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> > <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a > b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> >= <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a >= b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> geslant <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a geslant b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem5">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> approx <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a approx b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> sim <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a sim b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> simeq <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a simeq b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> equiv <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a equiv b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> prop <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a prop b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> parallel <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a parallel b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> ortho <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a ortho b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> divides <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a divides b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> ndivides <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a ndivides b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> toward <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a toward b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem4">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> dlarrow <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a dlarrow b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> dlrarrow <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a dlrarrow b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> drarrow <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a drarrow b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem6">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> prec <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a prec b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> succ <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a succ b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> preccurlyeq <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a preccurlyeq b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> succcurlyeq <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a succcurlyeq b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> precsim <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a precsim b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> succsim <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a succsim b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> nprec <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a nprec b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> nsucc <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a nsucc b</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-    </child>
-    <child>
-      <object class="GtkMenuItem" id="item50">
-        <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="label" translatable="yes">_Set Operations</property>
-        <property name="use_underline">True</property>
-        <child type="submenu">
-          <object class="GtkMenu">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <child>
-              <object class="GtkMenuItem" id="<?> in <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a in A</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> notin <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">a notin A</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> owns <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A owns a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem7">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> intersection <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A intersection B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> union <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A union B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> setminus <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A \ B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> slash <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A / B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> subset <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A subset B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> subseteq <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A subseteq B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> supset <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A supset B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> supseteq <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A supseteq B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> nsubset <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A nsubset B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> nsubseteq <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A nsubseteq B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> nsupset <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A nsupset B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> nsupseteq <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">A nsupseteq B</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem9">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="emptyset ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">emptyset</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="aleph ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">aleph</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="setN ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">setN</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="setZ ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">setZ</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="setQ ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">setQ</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="setR ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">setR</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="setC ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">setC</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-    </child>
-    <child>
-      <object class="GtkMenuItem" id="item54">
-        <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="label" translatable="yes">_Functions</property>
-        <property name="use_underline">True</property>
-        <child type="submenu">
-          <object class="GtkMenu">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <child>
-              <object class="GtkMenuItem" id="abs{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">|x|</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="fact{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">x!</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="sqrt{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">sqrt x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="nroot{<?>}{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">nroot x y</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?>^{<?>}">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">x^y</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="func e^{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">e^x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="ln(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">ln(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="exp(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">exp(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="log(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">log(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem10">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="sin(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">sin(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="cos(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">cos(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="tan(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">tan(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="cot(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">cot(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="sinh(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">sinh(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="cosh(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">cosh(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="tanh(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">tanh(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="coth(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">coth(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem8">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="arcsin(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">arcsin(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="arccos(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">arccos(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="arctan(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">arctan(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="arccot(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">arccot(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="arsinh(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">arsinh(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="arcosh(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">arcosh(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="artanh(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">artanh(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="arcoth(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">arcoth(x)</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-    </child>
-    <child>
-      <object class="GtkMenuItem" id="item84">
-        <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="label" translatable="yes">O_perators</property>
-        <property name="use_underline">True</property>
-        <child type="submenu">
-          <object class="GtkMenu">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <child>
-              <object class="GtkMenuItem" id="lim <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">lim x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="sum <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">sum x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="prod <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">prod x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="coprod <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">coprod x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="int <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">int x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="iint <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">iint x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="iiint <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">iiint x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="lint <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">lint x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="llint <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">llint x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="lllint <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">lllint x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem12">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="from{<?>} to{<?>} <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">... from a to b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="from{<?>} <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">... from a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="to{<?>} <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">... to b</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-    </child>
-    <child>
-      <object class="GtkMenuItem" id="item110">
-        <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="label" translatable="yes">_Attributes</property>
-        <property name="use_underline">True</property>
-        <child type="submenu">
-          <object class="GtkMenu">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <child>
-              <object class="GtkMenuItem" id="acute <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">acute a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="grave <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">grave a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="check <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">check a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="breve <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">breve a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="circle <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">circle a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="dot <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">dot a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="ddot <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">ddot a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="dddot <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">dddot a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="bar <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">bar a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="vec <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">vec a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="tilde <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">tilde a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="hat <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">hat a</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem13">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="widevec {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">widevec abc</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="widetilde {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">widetilde abc</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="widehat {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">widehat abc</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="overline {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">overline abc</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="underline {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">underline abc</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="overstrike {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">overstrike abc</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem11">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="phantom {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">phantom b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="bold <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">bold b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="ital <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">ital b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="size <?> {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">size s b</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="font <?> {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">font f b</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-    </child>
-    <child>
-      <object class="GtkMenuItem" id="item137">
-        <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="label" translatable="yes">_Brackets</property>
-        <property name="use_underline">True</property>
-        <child type="submenu">
-          <object class="GtkMenu">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <child>
-              <object class="GtkMenuItem" id="{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">{...}</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem14">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="(<?>) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">(x)</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="[<?>] ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">[x]</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="ldbracket <?> rdbracket ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">ldbracket x rdbracket </property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="lbrace <?> rbrace ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">{x}</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="langle <?> rangle ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">langle x rangle</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="langle <?> mline <?> rangle ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">langle x mline y rangle</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="lceil <?> rceil ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">lceil x rceil</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="lfloor <?> rfloor ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">lfloor x rfloor</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="lline <?> rline ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">lline x rline</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="ldline <?> rdline ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">ldline x rdline</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem15">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left ( <?> right ) ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left ( x right )</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left [ <?> right ] ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left [ x right ]</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left ldbracket <?> right rdbracket ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left ldbracket x right rdbracket </property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left lbrace <?> right rbrace ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left { x right }</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left langle <?> right rangle ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left langle x right rangle</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left langle <?> mline <?> right rangle ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left langle x mline y right rangle</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left lceil <?> right rceil ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left lceil x right rceil</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left lfloor <?> right rfloor ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left lfloor x right rfloor</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left lline <?> right rline ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left lline x right rline</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left ldline <?> right rdline ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left ldline x right rdline</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="left none {<?>} right rline_{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">left none x right rline_y</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem16">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="{<?>} overbrace {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">x overbrace y</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="{<?>} underbrace {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">x underbrace y</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-    </child>
-    <child>
-      <object class="GtkMenuItem" id="item162">
-        <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="label" translatable="yes">For_mats</property>
-        <property name="use_underline">True</property>
-        <child type="submenu">
-          <object class="GtkMenu">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <child>
-              <object class="GtkMenuItem" id="<?>^{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">^x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?>_{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">__x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> lsup{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">lsup x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> lsub{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">lsub x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> csup{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">csup x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="<?> csub{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">csub x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem18">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="newline ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label" translatable="yes">New Line</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="`">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label" translatable="yes">Small Gap</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="~">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label" translatable="yes">Gap</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="nospace {<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">nospace {...}</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="binom{<?>}{<?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">binom x y</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="stack{<?> # <?> # <?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">stack {...}</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="matrix{<?> # <?> ## <?> # <?>} ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">matrix {...}</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparatorMenuItem" id="menuitem19">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="alignl <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">alignl x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="alignc <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">alignc x</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="alignr <?> ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">alignr x</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-    </child>
-    <child>
-      <object class="GtkMenuItem" id="item170">
-        <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="label" translatable="yes">_Others</property>
-        <property name="use_underline">True</property>
-        <child type="submenu">
-          <object class="GtkMenu">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <child>
-              <object class="GtkMenuItem" id="infinity ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">infinity</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="partial ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">partial</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="nabla ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">nabla</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="exists ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">exists</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="notexists ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">not exists</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="forall ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">forall</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="hbar ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">hbar</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="lambdabar ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">lambdabar</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkMenuItem" id="Re ">
-                <property name="visible">True</property>
-                <property name="can_focus">False</property>
-                <property name="label">Re</property>
-              </object>
-            </child>

... etc. - the rest is truncated


More information about the Libreoffice-commits mailing list