[pitivi] Viewer: add viewer-specific settings options

[Edward Hervey <edwardrv src gnome org>]

commit fcf1e579e45558e075bc304b871540cccbb813cf
Author: Brandon Lewis <brandon_lewis alum berkeley edu>
Date:   Thu Nov 25 16:10:17 2010 +0000

    Viewer: add viewer-specific settings options

 pitivi/ui/viewer.py |   23 +++++++++++++++++++++++
 1 files changed, 23 insertions(+), 0 deletions(-)
---
diff --git a/pitivi/ui/viewer.py b/pitivi/ui/viewer.py
index 773a29f..eec35d5 100644
--- a/pitivi/ui/viewer.py
+++ b/pitivi/ui/viewer.py
@@ -35,6 +35,29 @@ from pitivi.utils import time_to_string, Seeker
 from pitivi.log.loggable import Loggable
 from pitivi.pipeline import PipelineError
 from pitivi.ui.common import SPACING
+from pitivi.settings import GlobalSettings
+
+GlobalSettings.addConfigSection("viewer")
+GlobalSettings.addConfigOption("viewerDocked",
+    section="viewer",
+    key="docked",
+    default=True)
+GlobalSettings.addConfigOption("viewerWidth",
+    section="viewer",
+    key="width",
+    default=320)
+GlobalSettings.addConfigOption("viewerHeight",
+    section="viewer",
+    key="height",
+    default=240)
+GlobalSettings.addConfigOption("viewerX",
+    section="viewer",
+    key="x-pos",
+    default=0)
+GlobalSettings.addConfigOption("viewerY",
+    section="viewer",
+    key="y-pos",
+    default=0)
 
 class ViewerError(Exception):
     pass