diff --git a/relational_gui/maingui.ui b/relational_gui/maingui.ui index 1c4e684..2ffaa2a 100644 --- a/relational_gui/maingui.ui +++ b/relational_gui/maingui.ui @@ -85,7 +85,7 @@ 0 - 0 + 1 @@ -336,7 +336,7 @@ 0 0 - 644 + 637 27 @@ -349,9 +349,8 @@ - &Help + Help - @@ -384,7 +383,7 @@ Qt::LeftDockWidgetArea|Qt::RightDockWidgetArea - &Operators + Operators 1 @@ -465,6 +464,9 @@ + + Alt+J, Alt+L + true @@ -487,6 +489,9 @@ + + Alt+A + true @@ -512,6 +517,9 @@ + + Alt+U + true @@ -562,6 +570,9 @@ ρ + + Alt+R + true @@ -587,6 +598,9 @@ ÷ + + Alt+D + true @@ -612,6 +626,9 @@ + + Alt+J, Alt+O + true @@ -637,6 +654,9 @@ + + Alt+I + true @@ -687,6 +707,9 @@ + + Alt+J, Alt+R + true @@ -712,6 +735,9 @@ π + + Alt+P + true @@ -737,6 +763,9 @@ σ + + Alt+S + true @@ -762,6 +791,9 @@ + + Alt+J, Alt+J + true @@ -897,7 +929,7 @@ - + 2 @@ -971,7 +1003,7 @@ Qt::LeftDockWidgetArea|Qt::RightDockWidgetArea - &Menu + Menu 1 @@ -1066,24 +1098,6 @@ Ctrl+E - - - New session - - - - - Save session as - - - Save session as - - - - - Manage sessions - - &Unload relation