[ocrfeeder] widgetModeler: Update main window when an image reviewer is selected

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

commit e546ecd5f8795d26f4fb535456f60f9a009f26c0
Author: Joaquim Rocha <jrocha igalia com>
Date:   Mon Jun 28 11:33:00 2010 +0200

    widgetModeler: Update main window when an image reviewer is selected
    
    This will make the window's menus enabled according to the status of
    the current reviewer.

 studio/widgetModeler.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/studio/widgetModeler.py b/studio/widgetModeler.py
index ba934dc..34493a8 100644
--- a/studio/widgetModeler.py
+++ b/studio/widgetModeler.py
@@ -400,6 +400,7 @@ class ImageReviewer_Controler:
             self.__setZoomStatus(None, reviewer.selectable_boxes_area.get_scale())
             self.tripple_statusbar.center_statusbar.insert((_('Page size') + ': %.2f x %.2f') % (reviewer.getPageData().width, reviewer.getPageData().height))
             self.tripple_statusbar.right_statusbar.insert((_('Resolution') + ': %i x %i') % (reviewer.getPageData().resolution[0], reviewer.getPageData().resolution[1]))
+            reviewer.updateMainWindow()
     
     def __setZoomStatus(self, widget, zoom):
         self.tripple_statusbar.left_statusbar.insert(_('Zoom') + ': ' + str(int(zoom * 100)) + '%')