a198b8d9e3
If polling displays via xrandr is disabled, show an additional widget that allows the user to manually refresh the widget list. see #359 |
||
---|---|---|
.. | ||
modules | ||
__init__.py | ||
config.py | ||
engine.py | ||
error.py | ||
input.py | ||
output.py | ||
popup.py | ||
store.py | ||
theme.py | ||
util.py |