[ocrfeeder] customWidgets: Remove the keyboard shortcut for selecting all areas

[Joaquim Manuel Pereira Rocha <jrocha src gnome org>]

commit a32b9f531f042fd8df496cd74a2fc3defc4494dd
Author: Joaquim Rocha <jrocha igalia com>
Date:   Mon Jul 5 17:29:50 2010 +0200

    customWidgets: Remove the keyboard shortcut for selecting all areas
    
    This is because this shortcut is already accomplished by the
    respective action in the main window.

 studio/customWidgets.py |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/studio/customWidgets.py b/studio/customWidgets.py
index 73126c0..c6fa15e 100644
--- a/studio/customWidgets.py
+++ b/studio/customWidgets.py
@@ -298,8 +298,6 @@ class SelectableBoxesArea(goocanvas.Canvas):
             if key_name == 'down':
                 self.zoom(-0.2)
                 return True
-        elif key_name == 'a' and event.state == gtk.gdk.CONTROL_MASK:
-            self.selectAllAreas()
 
     def pressedWithinArea(self, item, target, event):
         deselected = False