[ocrfeeder] Add the unpaper preferences dialog

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

commit 218d64830108a35ad38c8fad22ca1de7721dd213
Author: Joaquim Rocha <jrocha igalia com>
Date:   Fri Jul 23 11:26:05 2010 +0200

    Add the unpaper preferences dialog

 studio/widgetPresenter.py |   17 +++++++++++++++++
 1 files changed, 17 insertions(+), 0 deletions(-)
---
diff --git a/studio/widgetPresenter.py b/studio/widgetPresenter.py
index a158eec..55d7bdb 100644
--- a/studio/widgetPresenter.py
+++ b/studio/widgetPresenter.py
@@ -1030,6 +1030,23 @@ class UnpaperPreferences(gtk.VBox):
         self.configuration_manager.unpaper_extra_options = \
             self.extra_options.get_text()
 
+class UnpaperPreferencesDialog(gtk.Dialog):
+
+    def __init__(self, parent):
+        super(UnpaperPreferencesDialog, self).__init__(_('Unpaper Preferences'),
+                                               parent,
+                                               gtk.DIALOG_MODAL |
+                                               gtk.DIALOG_DESTROY_WITH_PARENT,
+                                               (gtk.STOCK_CLOSE,
+                                                gtk.RESPONSE_CLOSE))
+        self.preferences = UnpaperPreferences()
+        self.vbox.add(self.preferences)
+        self.vbox.show_all()
+        self.set_size_request(300, -1)
+
+    def save(self):
+        self.preferences.save()
+
 class SimpleDialog(gtk.MessageDialog):
 
     def __init__(self, message, title = '', type = 'info'):