X-Git-Url: https://git.artsoft.org/?p=rocksndiamonds.git;a=blobdiff_plain;f=src%2Feditor.c;h=631a5756fa9584a3c4969fac84c8c39d82d03da1;hp=89c3de15a454bd066267500fa6aaa07ab01ac55c;hb=6d7ebf6db8a9a57f2e3e398da1d2f7d8d084523f;hpb=b06f921c487c5b1e30e44ec00ec2c08f366f83df

diff --git a/src/editor.c b/src/editor.c
index 89c3de15..631a5756 100644
--- a/src/editor.c
+++ b/src/editor.c
@@ -7597,6 +7597,16 @@ static void DrawPropertiesInfo()
   int screen_line = 0;
   int i, x, y;
 
+#if 1
+  if (setup.editor.show_element_token)
+  {
+    DrawTextF(pad_x, pad_y + screen_line++ * font2_height, FONT_TEXT_3,
+	      "[%s]", element_info[properties_element].token_name);
+    screen_line++;
+  }
+
+#else
+
 #if DEBUG
   if (IS_CUSTOM_ELEMENT(properties_element))
   {
@@ -7610,6 +7620,7 @@ static void DrawPropertiesInfo()
 	      "[Group Element %d]", properties_element - EL_GROUP_START + 1);
     screen_line++;
   }
+#endif
 #endif
 
   /* ----- print number of elements / percentage of this element in level */