comparison .hgtags @ 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 95fd188590bd
children 268eea9d8031
comparison
equal deleted inserted replaced
3003:e624550d5c24 3004:d86cddc1cd05