I took it from the set widget. As I didn't understand the semantics, I simply copied it over.