diff src/tools/__init__.py @ 1331:7fa07c7b0761 frontends_multi_profiles

quick_frontend (quick_app): addListener takes a profiles_filter argument to check the profile before calling a listener (profile must be passed right after the event type in callListeners)
author souliane <souliane@mailoo.org>
date Sun, 22 Feb 2015 20:39:33 +0100
parents 9c6ee3f9ab29
children
line wrap: on
line diff