comparison frontends/src/primitivus/profile_manager.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 1def5b7edf9f
children bfabeedbf32e
comparison
equal deleted inserted replaced
754:f021bf27a557 755:e3ad48a2aab2