log frontends/src/quick_frontend/quick_app.py @ 706:80e9d3ecb272

age author description
Wed, 13 Nov 2013 13:58:10 +0100 Goffi core: sendMessage's options parameter has been renamed to extra to be consistent with newMessage