preferences.py
changeset 62 e7ca94b94a4e
parent 59 8ec729c5d998
child 73 5a7188bf2894
equal deleted inserted replaced
61:d4b2b2fa9fc5 62:e7ca94b94a4e
    68             (name, self.preferences.pref_map[name].process(self, value)) for name, value in self.values.iteritems()
    68             (name, self.preferences.pref_map[name].process(self, value)) for name, value in self.values.iteritems()
    69         )
    69         )
    70     
    70     
    71     def get (self, pref) :
    71     def get (self, pref) :
    72         """
    72         """
    73             Return the value for the given Preference
    73             Return the value for the given Preference, or preference name
    74         """
    74         """
    75         
    75         
    76         return self.values[pref.name]
    76         # Preference -> name
       
    77         if isinstance(pref, Preference) :
       
    78             pref = pref.name
       
    79         
       
    80         # look up
       
    81         return self.values[pref]
    77 
    82 
    78     # support dict-access
    83     # support dict-access
    79     __getitem__ = get
    84     __getitem__ = get
    80 
    85 
    81     def set (self, name, value_obj) :
    86     def set (self, name, value_obj) :