[ocrfeeder] Fix the switching of the mouse cursor on the page's right border
- From: Joaquim Manuel Pereira Rocha <jrocha src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [ocrfeeder] Fix the switching of the mouse cursor on the page's right border
- Date: Wed, 3 Aug 2011 21:51:02 +0000 (UTC)
commit 50bbf2bee670828ce4fc5fac4aa8e267b07af3a3
Author: Joaquim Rocha <jrocha igalia com>
Date: Wed Aug 3 23:45:49 2011 +0200
Fix the switching of the mouse cursor on the page's right border
It was being changed to the "left side" cursor.
src/ocrfeeder/studio/customWidgets.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/ocrfeeder/studio/customWidgets.py b/src/ocrfeeder/studio/customWidgets.py
index 26e1719..7f989f6 100644
--- a/src/ocrfeeder/studio/customWidgets.py
+++ b/src/ocrfeeder/studio/customWidgets.py
@@ -104,7 +104,7 @@ class SelectableBoxesArea(goocanvas.Canvas):
self.get_root_item().add_child(line, -1)
def __createFrame(self):
- line = Box(fill_color = self.IMAGE_FRAME_COLOR, line_width = 0)
+ line = goocanvas.Rect(fill_color = self.IMAGE_FRAME_COLOR, line_width = 0)
line.props.x = self.image.props.x + self.image.props.width
line.props.y = self.image.props.y
line.props.width = self.IMAGE_FRAME_THICKNESS
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]