GUI fixes

for 0.18.27
2020-05-26 20:43:03 +02:00
parent 615d8209d6
commit ae2c66d174
4 changed files with 9 additions and 4 deletions
@@ -331,7 +331,7 @@ local function create_display_gui(player, selected)
 	local search_button = header.add {
 		name = "display-search-button",
 		type = "sprite-button",
-		sprite = "utility/search_small_white",
+		sprite = "utility/search_white",
 		style = "display_small_button",
 		tooltip = {"gui.search-with-focus","__CONTROL__focus-search__"},
 	}