[ocrfeeder] Set the wide_handle in the Gtk.Paned widgets

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

commit 5247d23153e41fbcd582cf063d8d623cf8da11e7
Author: Joaquim Rocha <me joaquimrocha com>
Date:   Sat Jul 16 15:15:58 2016 +0100

    Set the wide_handle in the Gtk.Paned widgets

 src/ocrfeeder/studio/widgetModeler.py   |    1 +
 src/ocrfeeder/studio/widgetPresenter.py |    1 +
 2 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/ocrfeeder/studio/widgetModeler.py b/src/ocrfeeder/studio/widgetModeler.py
index 9be0109..f94184e 100644
--- a/src/ocrfeeder/studio/widgetModeler.py
+++ b/src/ocrfeeder/studio/widgetModeler.py
@@ -46,6 +46,7 @@ class ImageReviewer(Gtk.Paned):
 
     def __init__(self, main_window, page_data, ocr_engines):
         super(ImageReviewer, self).__init__(orientation=Gtk.Orientation.HORIZONTAL)
+        self.set_wide_handle(True)
         self.configuration_manager = ConfigurationManager()
         self.main_window = main_window
         self.path_to_image = page_data.image_path
diff --git a/src/ocrfeeder/studio/widgetPresenter.py b/src/ocrfeeder/studio/widgetPresenter.py
index 957518a..09ad1e2 100644
--- a/src/ocrfeeder/studio/widgetPresenter.py
+++ b/src/ocrfeeder/studio/widgetPresenter.py
@@ -53,6 +53,7 @@ class MainWindow(Gtk.Window):
         self.main_box.pack_end(self.statusbar, False, False, 0)
 
         self.main_area = Gtk.Paned.new(orientation=Gtk.Orientation.HORIZONTAL)
+        self.main_area.set_wide_handle(True)
         self.main_area.set_position(150)
         self.main_area.show()
         self.main_box.pack_end(self.main_area, True, True, 0)