[ocrfeeder] widgetModeler.py: preventing copy to clipboard menu activation when there are no text. This avoid us

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

commit 7c06c972016375a0acd6d27765d2014f3282a993
Author: David Teyssiere Rubio <dteyssiere emergya es>
Date:   Thu Aug 5 18:57:56 2010 +0200

    widgetModeler.py: preventing copy to clipboard menu activation when there are no text. This avoid user overwrite the clipboard buffer with nothing

 studio/widgetModeler.py |   16 +++++++++++++---
 1 files changed, 13 insertions(+), 3 deletions(-)
---
diff --git a/studio/widgetModeler.py b/studio/widgetModeler.py
index 54d61ff..5aeb7d8 100644
--- a/studio/widgetModeler.py
+++ b/studio/widgetModeler.py
@@ -381,9 +381,12 @@ class ImageReviewer:
 
     def updateMainWindow(self):
         if self.editor_list:
-            self.main_window.copy_to_clipboard_menu.set_sensitive(True)
-        else:
-            self.main_window.copy_to_clipboard_menu.set_sensitive(False)
+            current_box_editor = self.boxeditor_notebook.get_nth_page(\
+                                     self.boxeditor_notebook.get_current_page())
+            if current_box_editor.getText():
+                self.main_window.copy_to_clipboard_menu.set_sensitive(True)
+            else:
+                self.main_window.copy_to_clipboard_menu.set_sensitive(False)
         has_selected_areas = self.selectable_boxes_area.getSelectedAreas()
         has_boxes = self.selectable_boxes_area.getAllAreas()
         self.main_window.setHasSelectedBoxes(bool(has_selected_areas))
@@ -787,6 +790,7 @@ class Editor:
         self.pixbuf = pixbuf
         self.data_box = DataBox()
         self.box_editor = BoxEditor(pixbuf.get_width(), pixbuf.get_height())
+        self.box_editor.connect('text-edited-by-user', self.checkHasText)
         self.reviewer = reviewer
         self.ocr_engines = ocr_engines
         self.updateOcrEngines(self.ocr_engines)
@@ -984,3 +988,9 @@ class Editor:
         self.data_box.connect('changed_height', self.__updateEditorHeight)
         self.data_box.connect('changed_image', self.__updateEditorImage)
         self.data_box.connect('changed_type', self.__updateBoxColor)
+
+    def checkHasText(self, widget, text):
+        if not text:
+            self.reviewer.main_window.copy_to_clipboard_menu.set_sensitive(False)
+        else:
+            self.reviewer.main_window.copy_to_clipboard_menu.set_sensitive(True)