widget.py: code extrahiert in widget.py.patch