[ocrfeeder] Use a scrolled window in the Preferences dialog

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

commit 88d4977cde6ec8d7a5d5c15ed70b9a8864134621
Author: Joaquim Rocha <me joaquimrocha com>
Date:   Fri Dec 19 14:06:52 2014 +0000

    Use a scrolled window in the Preferences dialog
    
    More specifically, the recognition preferences' contents is too big
    so the scrolled window will allow the dialog to be smaller.

 src/ocrfeeder/studio/widgetPresenter.py |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/src/ocrfeeder/studio/widgetPresenter.py b/src/ocrfeeder/studio/widgetPresenter.py
index 80c6256..fe53703 100644
--- a/src/ocrfeeder/studio/widgetPresenter.py
+++ b/src/ocrfeeder/studio/widgetPresenter.py
@@ -1375,7 +1375,11 @@ class PreferencesDialog(Gtk.Dialog):
             general_box.pack_start(arg, False, True, 0)
         label = Gtk.Label(_('_Recognition'))
         label.set_use_underline(True)
-        self.notebook.append_page(general_box, label)
+        scrolled_window = Gtk.ScrolledWindow()
+        scrolled_window.set_property('vexpand', True)
+        scrolled_window.set_property('hexpand', True)
+        scrolled_window.add(general_box)
+        self.notebook.append_page(scrolled_window, label)
 
     def __makeColors(self):
         colors_frame = PlainFrame(_('Select boxes\' colors'))