From 2d5c2b933f8e720ecdc7de2de3b36d8865e6988f Mon Sep 17 00:00:00 2001
From: heckflosse <heckflosse67@gmx.de>
Date: Sat, 17 Nov 2018 23:56:57 +0100
Subject: [PATCH] Fix another coverity issue

---
 rtgui/filepanel.cc | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/rtgui/filepanel.cc b/rtgui/filepanel.cc
index f75983ac0..23b7c3983 100644
--- a/rtgui/filepanel.cc
+++ b/rtgui/filepanel.cc
@@ -384,16 +384,6 @@ void FilePanel::optionsChanged ()
 bool FilePanel::handleShortcutKey (GdkEventKey* event)
 {
 
-    bool ctrl = event->state & GDK_CONTROL_MASK;
-
-    if (!ctrl) {
-        switch(event->keyval) {
-        }
-    } else {
-        switch (event->keyval) {
-        }
-    }
-
     if(tpc->getToolBar() && tpc->getToolBar()->handleShortcutKey(event)) {
         return true;
     }