Added shortcuts for the operators

relational_gui/maingui.ui

@@ -85,7 +85,7 @@
         <number>0</number>
        </property>
        <property name="currentIndex">
-        <number>0</number>
+        <number>1</number>
        </property>
        <widget class="QWidget" name="multiline">
         <layout class="QHBoxLayout" name="horizontalLayout">
@@ -336,7 +336,7 @@
     <rect>
      <x>0</x>
      <y>0</y>
-     <width>644</width>
+     <width>637</width>
      <height>27</height>
     </rect>
    </property>
@@ -349,9 +349,8 @@
    </widget>
    <widget class="QMenu" name="menuAbout">
     <property name="title">
-     <string>&amp;Help</string>
+     <string>Help</string>
     </property>
-    <action name=""/>
     <addaction name="actionAbout"/>
     <addaction name="actionCheck_for_new_versions"/>
    </widget>
@@ -384,7 +383,7 @@
     <set>Qt::LeftDockWidgetArea|Qt::RightDockWidgetArea</set>
    </property>
    <property name="windowTitle">
-    <string>&amp;Operators</string>
+    <string>Operators</string>
    </property>
    <attribute name="dockWidgetArea">
     <number>1</number>
@@ -465,6 +464,9 @@
           <property name="text">
            <string notr="true">⧑</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+J, Alt+L</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -487,6 +489,9 @@
           <property name="text">
            <string notr="true">➡</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+A</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -512,6 +517,9 @@
           <property name="text">
            <string notr="true">∪</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+U</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -562,6 +570,9 @@
           <property name="text">
            <string notr="true">ρ</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+R</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -587,6 +598,9 @@
           <property name="text">
            <string notr="true">÷</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+D</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -612,6 +626,9 @@
           <property name="text">
            <string notr="true">⧓</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+J, Alt+O</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -637,6 +654,9 @@
           <property name="text">
            <string notr="true">∩</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+I</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -687,6 +707,9 @@
           <property name="text">
            <string notr="true">⧒</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+J, Alt+R</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -712,6 +735,9 @@
           <property name="text">
            <string notr="true">π</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+P</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -737,6 +763,9 @@
           <property name="text">
            <string notr="true">σ</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+S</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -762,6 +791,9 @@
           <property name="text">
            <string notr="true">⋈</string>
           </property>
+          <property name="shortcut">
+           <string>Alt+J, Alt+J</string>
+          </property>
           <property name="flat">
            <bool>true</bool>
           </property>
@@ -897,7 +929,7 @@
       </widget>
      </item>
      <item>
-      <layout class="QGridLayout" name="gridLayout_4" rowminimumheight="0,0,0">
+      <layout class="QGridLayout" name="gridLayout_4">
        <property name="leftMargin">
         <number>2</number>
        </property>
@@ -971,7 +1003,7 @@
     <set>Qt::LeftDockWidgetArea|Qt::RightDockWidgetArea</set>
    </property>
    <property name="windowTitle">
-    <string>&amp;Menu</string>
+    <string>Menu</string>
    </property>
    <attribute name="dockWidgetArea">
     <number>1</number>
@@ -1066,24 +1098,6 @@
     <string>Ctrl+E</string>
    </property>
   </action>
-  <action name="actionNew_session">
-   <property name="text">
-    <string>New session</string>
-   </property>
-  </action>
-  <action name="actionSave_session_as">
-   <property name="text">
-    <string>Save session as</string>
-   </property>
-   <property name="toolTip">
-    <string>Save session as</string>
-   </property>
-  </action>
-  <action name="actionManage_sessions">
-   <property name="text">
-    <string>Manage sessions</string>
-   </property>
-  </action>
   <action name="actionUnload_relation">
    <property name="text">
     <string>&amp;Unload relation</string>