| commit | 33bf9364d085be867501d84afe39ddf19739ccad | [log] [tgz] |
|---|---|---|
| author | oliverschmidt <oliverschmidt> | jeu. avr. 28 20:57:36 2005 +0000 |
| committer | oliverschmidt <oliverschmidt> | jeu. avr. 28 20:57:36 2005 +0000 |
| tree | 6358922838e45507ec799c1ab79bebb6bf7d88a3 | |
| parent | d2f04de042a6f0e0190438d2bf2dee2404ae26a1 [diff] |
Added redraw of widget loosing the focus (here: window title)