diff frontends/src/primitivus/status.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 378af36155c2
children 6c36149524ed
line wrap: on
line diff