moved element properties button in editor to more prominent position

[rocksndiamonds.git] / src / conf_var.c

diff --git a/src/conf_var.c b/src/conf_var.c
index 6618b74bd4de5eff29cd6e65daa35dcaef3c1196..965b53483a8f9dc837830e473daba7a04bc04282 100644 (file)
--- a/src/conf_var.c
+++ b/src/conf_var.c
@@ -6110,6 +6110,14 @@ struct TokenIntPtrInfo image_config_vars[] =
     "editor.button.next_level.y",
     &editor.button.next_level.y
   },
+  {
+    "editor.button.properties.x",
+    &editor.button.properties.x
+  },
+  {
+    "editor.button.properties.y",
+    &editor.button.properties.y
+  },
   {
     "editor.input.level_number.x",
     &editor.input.level_number.x