changeset 62 | e7ca94b94a4e |
parent 59 | 8ec729c5d998 |
child 73 | 5a7188bf2894 |
--- a/preferences.py Mon Feb 09 07:09:00 2009 +0200 +++ b/preferences.py Mon Feb 09 07:15:19 2009 +0200 @@ -70,10 +70,15 @@ def get (self, pref) : """ - Return the value for the given Preference + Return the value for the given Preference, or preference name """ - return self.values[pref.name] + # Preference -> name + if isinstance(pref, Preference) : + pref = pref.name + + # look up + return self.values[pref] # support dict-access __getitem__ = get