diff --git a/relational_gui/maingui.ui b/relational_gui/maingui.ui index e89a429..9a68cf9 100644 --- a/relational_gui/maingui.ui +++ b/relational_gui/maingui.ui @@ -238,6 +238,9 @@ Optimize + + Ctrl+Shift+O + @@ -245,6 +248,9 @@ Undo optimize + + Ctrl+Shift+U + @@ -252,6 +258,9 @@ Clear history + + Ctrl+Shift+C +