5db5e02086
Added theme-options ("minwidth" and "align") for setting the minimum width and the alignment of a widget. Also, allow widget to provide defaults for the theme options by setting an attribute in their store called "theme-<name of the theme option>". For example, a widget can now define a default alignment by using: widget.set("theme-align", "default-value"). |
||
---|---|---|
.. | ||
modules | ||
__init__.py | ||
config.py | ||
engine.py | ||
error.py | ||
input.py | ||
output.py | ||
store.py | ||
theme.py | ||
util.py |