[ocrfeeder] Reset the mouse cursor (to be the normal one) when deleting areas

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

commit 849a079923b6c1e1c502b6d27169c99e2c3b496b
Author: Joaquim Rocha <jrocha igalia com>
Date:   Sat Nov 12 18:13:54 2011 +0100

    Reset the mouse cursor (to be the normal one) when deleting areas
    
    This needs to be done because if the current cursor was not the normal
    one (i.e. the mouse if over the edges of the area) and the area was
    deleted, the cursor would stay that way until it was over the edges of
    an area again.

 src/ocrfeeder/studio/customWidgets.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/ocrfeeder/studio/customWidgets.py b/src/ocrfeeder/studio/customWidgets.py
index b137619..9ec80bf 100644
--- a/src/ocrfeeder/studio/customWidgets.py
+++ b/src/ocrfeeder/studio/customWidgets.py
@@ -174,6 +174,7 @@ class SelectableBoxesArea(goocanvas.Canvas):
             selected_area = self.selected_areas.pop(0)
             selected_area.remove()
             areas_to_remove.append(selected_area)
+        self.get_window().set_cursor(None)
         for area in areas_to_remove:
             self.emit('removed_box', area)