fixed up types/names for hazard button

2022-10-07 10:28:46 -04:00
parent 9d60777223
commit d4da6a7f3a
3 changed files with 7 additions and 8 deletions
--- a/graphics/element.lua
+++ b/graphics/element.lua
@@ -21,11 +21,10 @@ local element = {}

 ---@alias graphics_args graphics_args_generic
 ---|waiting_args
+---|hazard_button_args
 ---|multi_button_args
 ---|push_button_args
---|scram_button_args
 ---|spinbox_args
---|start_button_args
 ---|switch_button_args
 ---|core_map_args
 ---|data_indicator_args