comparison CONTRAT_SOCIAL_en @ 3004:d86cddc1cd05

primitivus: select the widget even if an other one is selected when the selection comes from an user action: new `user_action` arguments has been added to newWidget to specify when the new widget comes from a direct user action.
author Goffi <goffi@goffi.org>
date Sun, 14 Jul 2019 20:38:34 +0200
parents 62596ec69bbd
children 864a152965be
comparison
equal deleted inserted replaced
3003:e624550d5c24 3004:d86cddc1cd05