diff frontends/src/tools/xmlui.py @ 2019:c0ff84243650

quick_frontend(chat): better handling of cached signals when initialising widget
author Goffi <goffi@goffi.org>
date Sun, 24 Jul 2016 18:02:34 +0200
parents 9ad1a06ed0f8
children db3bbbd745e4
line wrap: on
line diff