DEV: adds a caret option to widget dropdown (PR #9588)

GitHub