Commit Graph

1 Commits

Author SHA1 Message Date
Juuz ce51a9ad2f
Improve option widget names (#3507)
- "button" -> "widget" in many places as the widgets are often sliders
  and can be any ClickableWidget
- ButtonListWidget -> OptionListWidget, since it's only used and usable
  for options and can contain any option widget (closes #2932)
2023-02-20 18:42:46 +11:00
Renamed from mappings/net/minecraft/client/gui/widget/ButtonListWidget.mapping (Browse further)