Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/src/sugar/profile.py
diff options
context:
space:
mode:
authorSimon Schampijer <simon@schampijer.de>2008-06-04 16:53:39 (GMT)
committer Simon Schampijer <simon@schampijer.de>2008-06-04 16:53:39 (GMT)
commit4bdddfd20d8cb3f76ff03ab196dd5229f166bd75 (patch)
treee803cdfb3e5015de065af23f5c339f2dfe2320d3 /src/sugar/profile.py
parentf613532b09da01d02a21d85f5e70d8e74789e84d (diff)
Add control panel items to profile
- timezone - hot_corners - warm_edges
Diffstat (limited to 'src/sugar/profile.py')
-rw-r--r--src/sugar/profile.py18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/sugar/profile.py b/src/sugar/profile.py
index 11991dd..dc9e1d4 100644
--- a/src/sugar/profile.py
+++ b/src/sugar/profile.py
@@ -26,6 +26,9 @@ from sugar.graphics.xocolor import XoColor
DEFAULT_JABBER_SERVER = 'olpc.collabora.co.uk'
DEFAULT_VOLUME = 81
+DEFAULT_TIMEZONE = 'UTC'
+DEFAULT_HOT_CORNERS_DELAY = 0.0
+DEFAULT_WARM_EDGES_DELAY = 1000.0
_profile = None
@@ -63,8 +66,11 @@ class Profile(object):
self.color = None
self.jabber_server = DEFAULT_JABBER_SERVER
self.jabber_registered = False
+ self.timezone = DEFAULT_TIMEZONE
self.backup1 = None
self.sound_volume = DEFAULT_VOLUME
+ self.hot_corners_delay = DEFAULT_HOT_CORNERS_DELAY
+ self.warm_edges_delay = DEFAULT_WARM_EDGES_DELAY
self._pubkey = None
self._privkey_hash = None
@@ -94,6 +100,12 @@ class Profile(object):
if self.jabber_server:
_set_key(cp, 'Jabber', 'Server', self.jabber_server)
+ _set_key(cp, 'Date', 'Timezone', self.timezone)
+
+ _set_key(cp, 'Frame', 'HotCorners', self.hot_corners_delay)
+
+ _set_key(cp, 'Frame', 'WarmEdges', self.warm_edges_delay)
+
_set_key(cp, 'Jabber', 'Registered', self.jabber_registered)
_set_key(cp, 'Sound', 'Volume', self.sound_volume)
@@ -118,6 +130,12 @@ class Profile(object):
registered = cp.get('Jabber', 'Registered')
if registered.lower() == "true":
self.jabber_registered = True
+ if cp.has_option('Date', 'Timezone'):
+ self.timezone = cp.get('Date', 'Timezone')
+ if cp.has_option('Frame', 'HotCorners'):
+ self.hot_corners_delay = float(cp.get('Frame', 'HotCorners'))
+ if cp.has_option('Frame', 'WarmEdges'):
+ self.warm_edges_delay = float(cp.get('Frame', 'WarmEdges'))
if cp.has_option('Server', 'Backup1'):
self.backup1 = cp.get('Server', 'Backup1')
if cp.has_option('Sound', 'Volume'):