1
0
mirror of https://github.com/Refactorio/RedMew.git synced 2025-03-03 14:53:01 +02:00

update event settings names

This commit is contained in:
grilledham 2019-05-27 15:46:18 +01:00
parent 62d5c4ab9d
commit 3cbce426ad

View File

@ -1191,8 +1191,7 @@ Gui.allow_player_to_toggle_top_element_visibility(main_button_name)
Event.add(
Settings.events.on_setting_set,
function(event)
event = event.setting
if event.name ~= notify_name then
if event.setting_name ~= notify_name then
return
end