comparison frontends/src/quick_frontend/quick_profile_manager.py @ 1486:a77217511afd

tools, frontends (xmlui): allow to select a tab when adding it
author souliane <souliane@mailoo.org>
date Fri, 21 Aug 2015 14:17:41 +0200
parents 3265a2639182
children 039d96e131be
comparison
equal deleted inserted replaced
1485:9fcc16ef163a 1486:a77217511afd