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
..
minecraft	Improve option widget names (#3507)	2023-02-20 18:42:46 +11:00