summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--officecfg/registry/data/org/openoffice/Office/UI/MathCommands.xcu63
-rw-r--r--officecfg/registry/data/org/openoffice/Office/UI/MathWindowState.xcu7
-rw-r--r--starmath/UIConfig_smath.mk2
-rw-r--r--starmath/inc/edit.hxx1
-rw-r--r--starmath/sdi/smath.sdi2
-rw-r--r--starmath/source/edit.cxx36
-rw-r--r--starmath/uiconfig/smath/popupmenu/edit.xml265
-rw-r--r--starmath/uiconfig/smath/ui/commandmenu.ui1586
8 files changed, 338 insertions, 1624 deletions
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=+&lt;?&gt; "/>
+ <menu:menuitem menu:label="-a" menu:id=".uno:InsertCommandText?Text:string=-&lt;?&gt; "/>
+ <menu:menuitem menu:label="+-a" menu:id=".uno:InsertCommandText?Text:string=+-&lt;?&gt; "/>
+ <menu:menuitem menu:label="-+a" menu:id=".uno:InsertCommandText?Text:string=-+&lt;?&gt; "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="a + b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; + &lt;?&gt; "/>
+ <menu:menuitem menu:label="a - b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; - &lt;?&gt; "/>
+ <menu:menuitem menu:label="a cdot b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; cdot &lt;?&gt; "/>
+ <menu:menuitem menu:label="a times b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; times &lt;?&gt; "/>
+ <menu:menuitem menu:label="a * b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; * &lt;?&gt; "/>
+ <menu:menuitem menu:label="a over b" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} over {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="a div b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; div &lt;?&gt; "/>
+ <menu:menuitem menu:label="a / b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; / &lt;?&gt; "/>
+ <menu:menuitem menu:label="a circ b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; circ &lt;?&gt; "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="a wideslash b" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} wideslash {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="a widebslash b" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} widebslash {&lt;?&gt;} "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="neg a" menu:id=".uno:InsertCommandText?Text:string=neg &lt;?&gt; "/>
+ <menu:menuitem menu:label="a and b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; and &lt;?&gt; "/>
+ <menu:menuitem menu:label="a or b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; or &lt;?&gt; "/>
+ </menu:menupopup>
+ </menu:menu>
+ <menu:menu menu:id=".uno:RelationsMenu">
+ <menu:menupopup>
+ <menu:menuitem menu:label="a = b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; %3D &lt;?&gt; "/>
+ <menu:menuitem menu:label="a &lt;&gt; b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &lt;&gt; &lt;?&gt; "/>
+ <menu:menuitem menu:label="a &lt; b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &lt; &lt;?&gt; "/>
+ <menu:menuitem menu:label="a &lt;= b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &lt;%3D &lt;?&gt; "/>
+ <menu:menuitem menu:label="a leslant b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; leslant &lt;?&gt; "/>
+ <menu:menuitem menu:label="a &gt; b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &gt; &lt;?&gt; "/>
+ <menu:menuitem menu:label="a &gt;= b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &gt;%3D &lt;?&gt; "/>
+ <menu:menuitem menu:label="a geslant b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; geslant &lt;?&gt; "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="a approx b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; approx &lt;?&gt; "/>
+ <menu:menuitem menu:label="a sim b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; sim &lt;?&gt; "/>
+ <menu:menuitem menu:label="a simeq b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; simeq &lt;?&gt; "/>
+ <menu:menuitem menu:label="a equiv b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; equiv &lt;?&gt; "/>
+ <menu:menuitem menu:label="a prop b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; prop &lt;?&gt; "/>
+ <menu:menuitem menu:label="a parallel b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; parallel &lt;?&gt; "/>
+ <menu:menuitem menu:label="a ortho b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; ortho &lt;?&gt; "/>
+ <menu:menuitem menu:label="a divides b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; divides &lt;?&gt; "/>
+ <menu:menuitem menu:label="a ndivides b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; ndivides &lt;?&gt; "/>
+ <menu:menuitem menu:label="a toward b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; toward &lt;?&gt; "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="a dlarrow b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; dlarrow &lt;?&gt; "/>
+ <menu:menuitem menu:label="a dlrarrow b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; dlrarrow &lt;?&gt; "/>
+ <menu:menuitem menu:label="a drarrow b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; drarrow &lt;?&gt; "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="a prec b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; prec &lt;?&gt; "/>
+ <menu:menuitem menu:label="a succ b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; succ &lt;?&gt; "/>
+ <menu:menuitem menu:label="a preccurlyeq b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; preccurlyeq &lt;?&gt; "/>
+ <menu:menuitem menu:label="a succcurlyeq b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; succcurlyeq &lt;?&gt; "/>
+ <menu:menuitem menu:label="a precsim b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; precsim &lt;?&gt; "/>
+ <menu:menuitem menu:label="a succsim b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; succsim &lt;?&gt; "/>
+ <menu:menuitem menu:label="a nprec b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nprec &lt;?&gt; "/>
+ <menu:menuitem menu:label="a nsucc b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsucc &lt;?&gt; "/>
+ </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=&lt;?&gt; in &lt;?&gt; "/>
+ <menu:menuitem menu:label="a notin A" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; notin &lt;?&gt; "/>
+ <menu:menuitem menu:label="A owns a" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; owns &lt;?&gt; "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="A intersection B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; intersection &lt;?&gt; "/>
+ <menu:menuitem menu:label="A union B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; union &lt;?&gt; "/>
+ <menu:menuitem menu:label="A \ B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; setminus &lt;?&gt; "/>
+ <menu:menuitem menu:label="A / B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; slash &lt;?&gt; "/>
+ <menu:menuitem menu:label="A subset B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; subset &lt;?&gt; "/>
+ <menu:menuitem menu:label="A subseteq B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; subseteq &lt;?&gt; "/>
+ <menu:menuitem menu:label="A supset B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; supset &lt;?&gt; "/>
+ <menu:menuitem menu:label="A supseteq B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; supseteq &lt;?&gt; "/>
+ <menu:menuitem menu:label="A nsubset B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsubset &lt;?&gt; "/>
+ <menu:menuitem menu:label="A nsubseteq B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsubseteq &lt;?&gt; "/>
+ <menu:menuitem menu:label="A nsupset B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsupset &lt;?&gt; "/>
+ <menu:menuitem menu:label="A nsupseteq B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsupseteq &lt;?&gt; "/>
+ <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{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="x!" menu:id=".uno:InsertCommandText?Text:string=fact{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="sqrt x" menu:id=".uno:InsertCommandText?Text:string=sqrt{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="nroot x y" menu:id=".uno:InsertCommandText?Text:string=nroot{&lt;?&gt;}{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="x^y" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt;^{&lt;?&gt;}"/>
+ <menu:menuitem menu:label="e^x" menu:id=".uno:InsertCommandText?Text:string=func e^{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="ln(x)" menu:id=".uno:InsertCommandText?Text:string=ln(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="exp(x)" menu:id=".uno:InsertCommandText?Text:string=exp(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="log(x)" menu:id=".uno:InsertCommandText?Text:string=log(&lt;?&gt;) "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="sin(x)" menu:id=".uno:InsertCommandText?Text:string=sin(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="cos(x)" menu:id=".uno:InsertCommandText?Text:string=cos(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="tan(x)" menu:id=".uno:InsertCommandText?Text:string=tan(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="cot(x)" menu:id=".uno:InsertCommandText?Text:string=cot(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="sinh(x)" menu:id=".uno:InsertCommandText?Text:string=sinh(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="cosh(x)" menu:id=".uno:InsertCommandText?Text:string=cosh(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="tanh(x)" menu:id=".uno:InsertCommandText?Text:string=tanh(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="coth(x)" menu:id=".uno:InsertCommandText?Text:string=coth(&lt;?&gt;) "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="arcsin(x)" menu:id=".uno:InsertCommandText?Text:string=arcsin(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="arccos(x)" menu:id=".uno:InsertCommandText?Text:string=arccos(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="arctan(x)" menu:id=".uno:InsertCommandText?Text:string=arctan(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="arccot(x)" menu:id=".uno:InsertCommandText?Text:string=arccot(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="arsinh(x)" menu:id=".uno:InsertCommandText?Text:string=arsinh(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="arcosh(x)" menu:id=".uno:InsertCommandText?Text:string=arcosh(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="artanh(x)" menu:id=".uno:InsertCommandText?Text:string=artanh(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="arcoth(x)" menu:id=".uno:InsertCommandText?Text:string=arcoth(&lt;?&gt;) "/>
+ </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 &lt;?&gt; "/>
+ <menu:menuitem menu:label="sum x" menu:id=".uno:InsertCommandText?Text:string=sum &lt;?&gt; "/>
+ <menu:menuitem menu:label="prod x" menu:id=".uno:InsertCommandText?Text:string=prod &lt;?&gt; "/>
+ <menu:menuitem menu:label="coprod x" menu:id=".uno:InsertCommandText?Text:string=coprod &lt;?&gt; "/>
+ <menu:menuitem menu:label="int x" menu:id=".uno:InsertCommandText?Text:string=int &lt;?&gt; "/>
+ <menu:menuitem menu:label="iint x" menu:id=".uno:InsertCommandText?Text:string=iint &lt;?&gt; "/>
+ <menu:menuitem menu:label="iiint x" menu:id=".uno:InsertCommandText?Text:string=iiint &lt;?&gt; "/>
+ <menu:menuitem menu:label="lint x" menu:id=".uno:InsertCommandText?Text:string=lint &lt;?&gt; "/>
+ <menu:menuitem menu:label="llint x" menu:id=".uno:InsertCommandText?Text:string=llint &lt;?&gt; "/>
+ <menu:menuitem menu:label="lllint x" menu:id=".uno:InsertCommandText?Text:string=lllint &lt;?&gt; "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="... from a to b" menu:id=".uno:InsertCommandText?Text:string=from{&lt;?&gt;} to{&lt;?&gt;} &lt;?&gt; "/>
+ <menu:menuitem menu:label="... from a" menu:id=".uno:InsertCommandText?Text:string=from{&lt;?&gt;} &lt;?&gt; "/>
+ <menu:menuitem menu:label="... to b" menu:id=".uno:InsertCommandText?Text:string=to{&lt;?&gt;} &lt;?&gt; "/>
+ </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 &lt;?&gt; "/>
+ <menu:menuitem menu:label="grave a" menu:id=".uno:InsertCommandText?Text:string=grave &lt;?&gt; "/>
+ <menu:menuitem menu:label="check a" menu:id=".uno:InsertCommandText?Text:string=check &lt;?&gt; "/>
+ <menu:menuitem menu:label="breve a" menu:id=".uno:InsertCommandText?Text:string=breve &lt;?&gt; "/>
+ <menu:menuitem menu:label="circle a" menu:id=".uno:InsertCommandText?Text:string=circle &lt;?&gt; "/>
+ <menu:menuitem menu:label="dot a" menu:id=".uno:InsertCommandText?Text:string=dot &lt;?&gt; "/>
+ <menu:menuitem menu:label="ddot a" menu:id=".uno:InsertCommandText?Text:string=ddot &lt;?&gt; "/>
+ <menu:menuitem menu:label="dddot a" menu:id=".uno:InsertCommandText?Text:string=dddot &lt;?&gt; "/>
+ <menu:menuitem menu:label="bar a" menu:id=".uno:InsertCommandText?Text:string=bar &lt;?&gt; "/>
+ <menu:menuitem menu:label="vec a" menu:id=".uno:InsertCommandText?Text:string=vec &lt;?&gt; "/>
+ <menu:menuitem menu:label="tilde a" menu:id=".uno:InsertCommandText?Text:string=tilde &lt;?&gt; "/>
+ <menu:menuitem menu:label="hat a" menu:id=".uno:InsertCommandText?Text:string=hat &lt;?&gt; "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="widevec abc" menu:id=".uno:InsertCommandText?Text:string=widevec {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="widetilde abc" menu:id=".uno:InsertCommandText?Text:string=widetilde {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="widehat abc" menu:id=".uno:InsertCommandText?Text:string=widehat {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="overline abc" menu:id=".uno:InsertCommandText?Text:string=overline {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="underline abc" menu:id=".uno:InsertCommandText?Text:string=underline {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="overstrike abc" menu:id=".uno:InsertCommandText?Text:string=overstrike {&lt;?&gt;} "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="phantom b" menu:id=".uno:InsertCommandText?Text:string=phantom {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="bold b" menu:id=".uno:InsertCommandText?Text:string=bold &lt;?&gt; "/>
+ <menu:menuitem menu:label="ital b" menu:id=".uno:InsertCommandText?Text:string=ital &lt;?&gt; "/>
+ <menu:menuitem menu:label="size s b" menu:id=".uno:InsertCommandText?Text:string=size &lt;?&gt; {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="font f b" menu:id=".uno:InsertCommandText?Text:string=font &lt;?&gt; {&lt;?&gt;} "/>
+ </menu:menupopup>
+ </menu:menu>
+ <menu:menu menu:id=".uno:BracketsMenu">
+ <menu:menupopup>
+ <menu:menuitem menu:label="{...}" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="(x)" menu:id=".uno:InsertCommandText?Text:string=(&lt;?&gt;) "/>
+ <menu:menuitem menu:label="[x]" menu:id=".uno:InsertCommandText?Text:string=[&lt;?&gt;] "/>
+ <menu:menuitem menu:label="ldbracket x rdbracket " menu:id=".uno:InsertCommandText?Text:string=ldbracket &lt;?&gt; rdbracket "/>
+ <menu:menuitem menu:label="{x}" menu:id=".uno:InsertCommandText?Text:string=lbrace &lt;?&gt; rbrace "/>
+ <menu:menuitem menu:label="langle x rangle" menu:id=".uno:InsertCommandText?Text:string=langle &lt;?&gt; rangle "/>
+ <menu:menuitem menu:label="langle x mline y rangle" menu:id=".uno:InsertCommandText?Text:string=langle &lt;?&gt; mline &lt;?&gt; rangle "/>
+ <menu:menuitem menu:label="lceil x rceil" menu:id=".uno:InsertCommandText?Text:string=lceil &lt;?&gt; rceil "/>
+ <menu:menuitem menu:label="lfloor x rfloor" menu:id=".uno:InsertCommandText?Text:string=lfloor &lt;?&gt; rfloor "/>
+ <menu:menuitem menu:label="lline x rline" menu:id=".uno:InsertCommandText?Text:string=lline &lt;?&gt; rline "/>
+ <menu:menuitem menu:label="ldline x rdline" menu:id=".uno:InsertCommandText?Text:string=ldline &lt;?&gt; rdline "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="left ( x right )" menu:id=".uno:InsertCommandText?Text:string=left ( &lt;?&gt; right ) "/>
+ <menu:menuitem menu:label="left [ x right ]" menu:id=".uno:InsertCommandText?Text:string=left [ &lt;?&gt; right ] "/>
+ <menu:menuitem menu:label="left ldbracket x right rdbracket " menu:id=".uno:InsertCommandText?Text:string=left ldbracket &lt;?&gt; right rdbracket "/>
+ <menu:menuitem menu:label="left { x right }" menu:id=".uno:InsertCommandText?Text:string=left lbrace &lt;?&gt; right rbrace "/>
+ <menu:menuitem menu:label="left langle x right rangle" menu:id=".uno:InsertCommandText?Text:string=left langle &lt;?&gt; right rangle "/>
+ <menu:menuitem menu:label="left langle x mline y right rangle" menu:id=".uno:InsertCommandText?Text:string=left langle &lt;?&gt; mline &lt;?&gt; right rangle "/>
+ <menu:menuitem menu:label="left lceil x right rceil" menu:id=".uno:InsertCommandText?Text:string=left lceil &lt;?&gt; right rceil "/>
+ <menu:menuitem menu:label="left lfloor x right rfloor" menu:id=".uno:InsertCommandText?Text:string=left lfloor &lt;?&gt; right rfloor "/>
+ <menu:menuitem menu:label="left lline x right rline" menu:id=".uno:InsertCommandText?Text:string=left lline &lt;?&gt; right rline "/>
+ <menu:menuitem menu:label="left ldline x right rdline" menu:id=".uno:InsertCommandText?Text:string=left ldline &lt;?&gt; right rdline "/>
+ <menu:menuitem menu:label="left none x right rline_y" menu:id=".uno:InsertCommandText?Text:string=left none {&lt;?&gt;} right rline_{&lt;?&gt;} "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="x overbrace y" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} overbrace {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="x underbrace y" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} underbrace {&lt;?&gt;} "/>
+ </menu:menupopup>
+ </menu:menu>
+ <menu:menu menu:id=".uno:FormatsMenu">
+ <menu:menupopup>
+ <menu:menuitem menu:label="^x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt;^{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="_x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt;_{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="lsup x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; lsup{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="lsub x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; lsub{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="csup x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; csup{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="csub x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; csub{&lt;?&gt;} "/>
+ <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 {&lt;?&gt;} "/>
+ <menu:menuitem menu:label="binom x y" menu:id=".uno:InsertCommandText?Text:string=binom{&lt;?&gt;}{&lt;?&gt;} "/>
+ <menu:menuitem menu:label="stack {...}" menu:id=".uno:InsertCommandText?Text:string=stack{&lt;?&gt; # &lt;?&gt; # &lt;?&gt;} "/>
+ <menu:menuitem menu:label="matrix {...}" menu:id=".uno:InsertCommandText?Text:string=matrix{&lt;?&gt; # &lt;?&gt; ## &lt;?&gt; # &lt;?&gt;} "/>
+ <menu:menuseparator/>
+ <menu:menuitem menu:label="alignl x" menu:id=".uno:InsertCommandText?Text:string=alignl &lt;?&gt; "/>
+ <menu:menuitem menu:label="alignc x" menu:id=".uno:InsertCommandText?Text:string=alignc &lt;?&gt; "/>
+ <menu:menuitem menu:label="alignr x" menu:id=".uno:InsertCommandText?Text:string=alignr &lt;?&gt; "/>
+ </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="+&lt;?&gt; +&lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">+a</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="-&lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">-a</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="+-&lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">+-a</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="-+&lt;?&gt; ">
- <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="&lt;?&gt; + &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a + b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; - &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a - b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; cdot &lt;?&gt; ">
- <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="&lt;?&gt; times &lt;?&gt; ">
- <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="&lt;?&gt; * &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a * b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="{&lt;?&gt;} over {&lt;?&gt;} ">
- <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="&lt;?&gt; div &lt;?&gt; ">
- <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="&lt;?&gt; / &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a / b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; circ &lt;?&gt; ">
- <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="{&lt;?&gt;} wideslash {&lt;?&gt;} ">
- <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="{&lt;?&gt;} widebslash {&lt;?&gt;} ">
- <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 &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">neg a</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; and &lt;?&gt; ">
- <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="&lt;?&gt; or &lt;?&gt; ">
- <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="&lt;?&gt; = &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a = b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; &lt;&gt; &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a &lt;&gt; b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; &lt; &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a &lt; b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; &lt;= &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a &lt;= b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; leslant &lt;?&gt; ">
- <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="&lt;?&gt; &gt; &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a &gt; b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; &gt;= &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">a &gt;= b</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; geslant &lt;?&gt; ">
- <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="&lt;?&gt; approx &lt;?&gt; ">
- <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="&lt;?&gt; sim &lt;?&gt; ">
- <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="&lt;?&gt; simeq &lt;?&gt; ">
- <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="&lt;?&gt; equiv &lt;?&gt; ">
- <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="&lt;?&gt; prop &lt;?&gt; ">
- <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="&lt;?&gt; parallel &lt;?&gt; ">
- <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="&lt;?&gt; ortho &lt;?&gt; ">
- <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="&lt;?&gt; divides &lt;?&gt; ">
- <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="&lt;?&gt; ndivides &lt;?&gt; ">
- <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="&lt;?&gt; toward &lt;?&gt; ">
- <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="&lt;?&gt; dlarrow &lt;?&gt; ">
- <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="&lt;?&gt; dlrarrow &lt;?&gt; ">
- <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="&lt;?&gt; drarrow &lt;?&gt; ">
- <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="&lt;?&gt; prec &lt;?&gt; ">
- <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="&lt;?&gt; succ &lt;?&gt; ">
- <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="&lt;?&gt; preccurlyeq &lt;?&gt; ">
- <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="&lt;?&gt; succcurlyeq &lt;?&gt; ">
- <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="&lt;?&gt; precsim &lt;?&gt; ">
- <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="&lt;?&gt; succsim &lt;?&gt; ">
- <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="&lt;?&gt; nprec &lt;?&gt; ">
- <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="&lt;?&gt; nsucc &lt;?&gt; ">
- <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="&lt;?&gt; in &lt;?&gt; ">
- <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="&lt;?&gt; notin &lt;?&gt; ">
- <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="&lt;?&gt; owns &lt;?&gt; ">
- <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="&lt;?&gt; intersection &lt;?&gt; ">
- <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="&lt;?&gt; union &lt;?&gt; ">
- <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="&lt;?&gt; setminus &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">A \ B</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; slash &lt;?&gt; ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">A / B</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; subset &lt;?&gt; ">
- <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="&lt;?&gt; subseteq &lt;?&gt; ">
- <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="&lt;?&gt; supset &lt;?&gt; ">
- <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="&lt;?&gt; supseteq &lt;?&gt; ">
- <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="&lt;?&gt; nsubset &lt;?&gt; ">
- <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="&lt;?&gt; nsubseteq &lt;?&gt; ">
- <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="&lt;?&gt; nsupset &lt;?&gt; ">
- <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="&lt;?&gt; nsupseteq &lt;?&gt; ">
- <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{&lt;?&gt;} ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">|x|</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="fact{&lt;?&gt;} ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">x!</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="sqrt{&lt;?&gt;} ">
- <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{&lt;?&gt;}{&lt;?&gt;} ">
- <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="&lt;?&gt;^{&lt;?&gt;}">
- <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^{&lt;?&gt;} ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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(&lt;?&gt;) ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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{&lt;?&gt;} to{&lt;?&gt;} &lt;?&gt; ">
- <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{&lt;?&gt;} &lt;?&gt; ">
- <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{&lt;?&gt;} &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 {&lt;?&gt;} ">
- <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 {&lt;?&gt;} ">
- <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 {&lt;?&gt;} ">
- <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 {&lt;?&gt;} ">
- <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 {&lt;?&gt;} ">
- <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 {&lt;?&gt;} ">
- <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 {&lt;?&gt;} ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; {&lt;?&gt;} ">
- <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 &lt;?&gt; {&lt;?&gt;} ">
- <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="{&lt;?&gt;} ">
- <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="(&lt;?&gt;) ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">(x)</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="[&lt;?&gt;] ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">[x]</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="ldbracket &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; mline &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; 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 ( &lt;?&gt; 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 [ &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; mline &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; 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 &lt;?&gt; 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 {&lt;?&gt;} right rline_{&lt;?&gt;} ">
- <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="{&lt;?&gt;} overbrace {&lt;?&gt;} ">
- <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="{&lt;?&gt;} underbrace {&lt;?&gt;} ">
- <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="&lt;?&gt;^{&lt;?&gt;} ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">^x</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt;_{&lt;?&gt;} ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">__x</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; lsup{&lt;?&gt;} ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">lsup x</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; lsub{&lt;?&gt;} ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">lsub x</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; csup{&lt;?&gt;} ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">csup x</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="&lt;?&gt; csub{&lt;?&gt;} ">
- <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 {&lt;?&gt;} ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">nospace {...}</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="binom{&lt;?&gt;}{&lt;?&gt;} ">
- <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{&lt;?&gt; # &lt;?&gt; # &lt;?&gt;} ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">stack {...}</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="matrix{&lt;?&gt; # &lt;?&gt; ## &lt;?&gt; # &lt;?&gt;} ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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 &lt;?&gt; ">
- <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>
- <child>
- <object class="GtkMenuItem" id="Im ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">Im</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="wp ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">wp</property>
- </object>
- </child>
- <child>
- <object class="GtkSeparatorMenuItem" id="menuitem20">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="leftarrow ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">leftarrow</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="rightarrow ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">rightarrow</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="uparrow ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">uparrow</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="downarrow ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">downarrow</property>
- </object>
- </child>
- <child>
- <object class="GtkSeparatorMenuItem" id="menuitem21">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="dotslow ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">dotslow</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="dotsaxis ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">dotsaxis</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="dotsvert ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">dotsvert</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="dotsup ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">dotsup</property>
- </object>
- </child>
- <child>
- <object class="GtkMenuItem" id="dotsdown ">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="label">dotsdown</property>
- </object>
- </child>
- </object>
- </child>
- </object>
- </child>
- </object>
-</interface>