comparison misc/org.salutatoi.SAT.service @ 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 779351da2c13
children 7550ae9cfbac
comparison
equal deleted inserted replaced
3003:e624550d5c24 3004:d86cddc1cd05