From 77956845bf8d1656eb487ce728c610f4383ec15d Mon Sep 17 00:00:00 2001 From: Holger Schemel Date: Wed, 6 Mar 2019 20:22:34 +0100 Subject: [PATCH] fixed editor graphic of element "steel_char_space" (now visually different) --- build-scripts/create_element_defs.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build-scripts/create_element_defs.pl b/build-scripts/create_element_defs.pl index bd8cd46d..90749c42 100755 --- a/build-scripts/create_element_defs.pl +++ b/build-scripts/create_element_defs.pl @@ -1683,7 +1683,8 @@ sub print_element_to_special_graphic_list my @elements_with_editor_graphic = ( - 'char_space' + 'char_space', + 'steel_char_space' ); my @unknown_graphics = (); -- 2.34.1