diff src/stdui/ui_profile_manager.py @ 1312:9e904f8a094e frontends_multi_profiles

quick_frontend: getOrCreateWidget callbacks can return another widget
author souliane <souliane@mailoo.org>
date Mon, 09 Feb 2015 09:19:30 +0100
parents cfd636203e8f
children a8d7500090f6
line wrap: on
line diff