log frontends/src/quick_frontend/quick_app.py @ 724:6edd9bda4e3f

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