Merge remote-tracking branch 'github/master'

This commit is contained in:
2021-11-01 10:43:50 +01:00
6 changed files with 103 additions and 9 deletions

View File

@ -380,6 +380,5 @@ function ui.apply_filter(player, filter, search_dir)
ui.current_index[player_name] = 1
ui.activefilter[player_name] = filter
ui.active_search_direction[player_name] = search_dir
ui.set_inventory_formspec(player,
ui.current_page[player_name])
ui.set_inventory_formspec(player, ui.current_page[player_name])
end