annotate src/core/__init__.py @ 755:e3ad48a2aab2

core, frontends: callMenu is now async and don't use callback_id anymore
author Goffi <goffi@goffi.org>
date Tue, 24 Dec 2013 15:18:31 +0100
parents 608a4a2ba94e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source