Steve Howell 9f137c3a05 bots: Extract user_dropdown widget. ...

We use this new widget in bot settings panels
(personal and org).  It lets you re-assign a
bot to a new human user.

Ideally we can improve this code to use
our existing list widgets to make it more
performant for realms with lots of users.

2020-05-11 16:16:58 -07:00

881 B

Raw Blame History

View Raw