doc: changed examples redefining Widget in lang.py