projects
/
rocksndiamonds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
rnd-20060430-1-src
[rocksndiamonds.git]
/
src
/
editor.c
diff --git
a/src/editor.c
b/src/editor.c
index 89c3de15a454bd066267500fa6aaa07ab01ac55c..631a5756fa9584a3c4969fac84c8c39d82d03da1 100644
(file)
--- a/
src/editor.c
+++ b/
src/editor.c
@@
-7597,6
+7597,16
@@
static void DrawPropertiesInfo()
int screen_line = 0;
int i, x, y;
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))
{
#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++;
}
"[Group Element %d]", properties_element - EL_GROUP_START + 1);
screen_line++;
}
+#endif
#endif
/* ----- print number of elements / percentage of this element in level */
#endif
/* ----- print number of elements / percentage of this element in level */