diff frontends/src/quick_frontend/quick_profile_manager.py @ 1301:afc57b34c0a3 frontends_multi_profiles

Quick Frontend (quick_widgets): added on_existing_widget in getOrCreateWidget (see docstring for more infos) + use of constants
author Goffi <goffi@goffi.org>
date Fri, 06 Feb 2015 19:01:06 +0100
parents 7cf32aeeebdb
children 948dc273ad93
line wrap: on
line diff