A backend that stores the settings in arrays and saves after a short
interval to avoid overhead when multiple values are set within a short
time. The data gets saved into
$HOME/.config/Screenlets/<Screenletname>/, in a file for each
element (named like its id with the extension '.ini').
|
__init__(self,
path)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature |
source code
|
|
|
|
|
|
|
save_option(self,
id,
name,
value)
Save option for an instance to cache and start saving-timeout for
that element (value must be of type string). |
source code
|
|
|
|
|
|
|
__load_cache(self)
Load all cached files from path. |
source code
|
|
|
__save_cache(self)
Save the cache (for all pending instances in queue) to self.path. |
source code
|
|
|
__save_settings(self,
filename,
lst)
Try to save settings in a file, first save this to a temporal file
avoid encodings a disk full errors |
source code
|
|
Inherited from object :
__delattr__ ,
__format__ ,
__getattribute__ ,
__hash__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__repr__ ,
__setattr__ ,
__sizeof__ ,
__str__ ,
__subclasshook__
|