Indices were stored as int, but often passed around as uint/uint8_t and casts. Now they should all use WidgetID.