[ocrfeeder] Consider the boxes adjustments settings when saving the preferences

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

commit 67d0ab1db564cb6ca402651e1fd3504fe94d7cdd
Author: Joaquim Rocha <jrocha igalia com>
Date:   Wed Jul 14 11:01:19 2010 +0200

    Consider the boxes adjustments settings when saving the preferences

 studio/widgetPresenter.py |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/studio/widgetPresenter.py b/studio/widgetPresenter.py
index 6ad2124..8d8a227 100644
--- a/studio/widgetPresenter.py
+++ b/studio/widgetPresenter.py
@@ -1142,6 +1142,10 @@ class PreferencesDialog(gtk.Dialog):
             self.improve_column_detection.get_active()
         self.configuration_manager.column_min_width = self.__getColumnMinWidth()
         self.configuration_manager.clean_text = self.clean_text.get_active()
+        self.configuration_manager.adjust_boxes_bounds = \
+            self.adjust_boxes_bounds.get_active()
+        self.configuration_manager.bounds_adjustment_size = \
+            self.__getBoundsAdjustmentSize()
         index = self.engines_combo.get_active()
         if index != -1:
             lib.debug('ACTIVE INDEX: ', index, self.ocr_engines[index][0].name)