From 2a4bcd2a8b7d2d196a803b19dcd5bbfbe44e390e Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Sat, 2 Jan 2016 15:34:56 +0100
Subject: [PATCH] New shortcuts for optimization

---
 relational_gui/maingui.ui | 9 +++++++++
 1 file changed, 9 insertions(+)

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 @@
              <property name="text">
               <string>Optimize</string>
              </property>
+             <property name="shortcut">
+              <string>Ctrl+Shift+O</string>
+             </property>
             </widget>
            </item>
            <item>
@@ -245,6 +248,9 @@
              <property name="text">
               <string>Undo optimize</string>
              </property>
+             <property name="shortcut">
+              <string>Ctrl+Shift+U</string>
+             </property>
             </widget>
            </item>
            <item>
@@ -252,6 +258,9 @@
              <property name="text">
               <string>Clear history</string>
              </property>
+             <property name="shortcut">
+              <string>Ctrl+Shift+C</string>
+             </property>
             </widget>
            </item>
           </layout>