diff frontends/src/quick_frontend/quick_profile_manager.py @ 1737:ad5da569ecf4

core (xmlui): fixed deferConfirm
author Goffi <goffi@goffi.org>
date Tue, 15 Dec 2015 12:41:07 +0100
parents 1c5761cb1bdc
children d17772b0fe22
line wrap: on
line diff