diff src/core/sat_main.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 49f967fc87aa
children 33a21f06551d
line wrap: on
line diff