[widgets][databaseeditor] patch possible collision with python set.

Fixes #222
2 jobs for 222_patch_set_naming in 19 minutes and 21 seconds (queued for 4 seconds)