added configurability of editor control buttons (toolbox buttons)

[rocksndiamonds.git] / src / conf_var.c

diff --git a/src/conf_var.c b/src/conf_var.c
index 4e06b2d24e052c69353f13a9ce2a9d8cd85e28f3..283d59f3ff4e9e13e47c0247b56e45e692095250 100644 (file)
--- a/src/conf_var.c
+++ b/src/conf_var.c
@@ -6135,32 +6135,32 @@ struct TokenIntPtrInfo image_config_vars[] =
     &tape.text.date_yy.draw_masked
   },
   {
-    "tape.text.date_mmm.x",
-    &tape.text.date_mmm.x
+    "tape.text.date_mon.x",
+    &tape.text.date_mon.x
   },
   {
-    "tape.text.date_mmm.y",
-    &tape.text.date_mmm.y
+    "tape.text.date_mon.y",
+    &tape.text.date_mon.y
   },
   {
-    "tape.text.date_mmm.align",
-    &tape.text.date_mmm.align
+    "tape.text.date_mon.align",
+    &tape.text.date_mon.align
   },
   {
-    "tape.text.date_mmm.valign",
-    &tape.text.date_mmm.valign
+    "tape.text.date_mon.valign",
+    &tape.text.date_mon.valign
   },
   {
-    "tape.text.date_mmm.digits",
-    &tape.text.date_mmm.size
+    "tape.text.date_mon.chars",
+    &tape.text.date_mon.size
   },
   {
-    "tape.text.date_mmm.font",
-    &tape.text.date_mmm.font
+    "tape.text.date_mon.font",
+    &tape.text.date_mon.font
   },
   {
-    "tape.text.date_mmm.draw_masked",
-    &tape.text.date_mmm.draw_masked
+    "tape.text.date_mon.draw_masked",
+    &tape.text.date_mon.draw_masked
   },
   {
     "tape.text.date_mm.x",
@@ -6334,6 +6334,34 @@ struct TokenIntPtrInfo image_config_vars[] =
     "tape.text.time_ss.draw_masked",
     &tape.text.time_ss.draw_masked
   },
+  {
+    "tape.text.frame.x",
+    &tape.text.frame.x
+  },
+  {
+    "tape.text.frame.y",
+    &tape.text.frame.y
+  },
+  {
+    "tape.text.frame.align",
+    &tape.text.frame.align
+  },
+  {
+    "tape.text.frame.valign",
+    &tape.text.frame.valign
+  },
+  {
+    "tape.text.frame.digits",
+    &tape.text.frame.size
+  },
+  {
+    "tape.text.frame.font",
+    &tape.text.frame.font
+  },
+  {
+    "tape.text.frame.draw_masked",
+    &tape.text.frame.draw_masked
+  },
   {
     "tape.show_game_buttons",
     &tape.show_game_buttons
@@ -6362,6 +6390,222 @@ struct TokenIntPtrInfo image_config_vars[] =
     "editor.button.properties.y",
     &editor.button.properties.y
   },
+  {
+    "editor.button.draw_single.x",
+    &editor.button.draw_single.x
+  },
+  {
+    "editor.button.draw_single.y",
+    &editor.button.draw_single.y
+  },
+  {
+    "editor.button.draw_connected.x",
+    &editor.button.draw_connected.x
+  },
+  {
+    "editor.button.draw_connected.y",
+    &editor.button.draw_connected.y
+  },
+  {
+    "editor.button.draw_line.x",
+    &editor.button.draw_line.x
+  },
+  {
+    "editor.button.draw_line.y",
+    &editor.button.draw_line.y
+  },
+  {
+    "editor.button.draw_arc.x",
+    &editor.button.draw_arc.x
+  },
+  {
+    "editor.button.draw_arc.y",
+    &editor.button.draw_arc.y
+  },
+  {
+    "editor.button.draw_rectangle.x",
+    &editor.button.draw_rectangle.x
+  },
+  {
+    "editor.button.draw_rectangle.y",
+    &editor.button.draw_rectangle.y
+  },
+  {
+    "editor.button.draw_filled_box.x",
+    &editor.button.draw_filled_box.x
+  },
+  {
+    "editor.button.draw_filled_box.y",
+    &editor.button.draw_filled_box.y
+  },
+  {
+    "editor.button.rotate_up.x",
+    &editor.button.rotate_up.x
+  },
+  {
+    "editor.button.rotate_up.y",
+    &editor.button.rotate_up.y
+  },
+  {
+    "editor.button.draw_text.x",
+    &editor.button.draw_text.x
+  },
+  {
+    "editor.button.draw_text.y",
+    &editor.button.draw_text.y
+  },
+  {
+    "editor.button.flood_fill.x",
+    &editor.button.flood_fill.x
+  },
+  {
+    "editor.button.flood_fill.y",
+    &editor.button.flood_fill.y
+  },
+  {
+    "editor.button.rotate_left.x",
+    &editor.button.rotate_left.x
+  },
+  {
+    "editor.button.rotate_left.y",
+    &editor.button.rotate_left.y
+  },
+  {
+    "editor.button.zoom_level.x",
+    &editor.button.zoom_level.x
+  },
+  {
+    "editor.button.zoom_level.y",
+    &editor.button.zoom_level.y
+  },
+  {
+    "editor.button.rotate_right.x",
+    &editor.button.rotate_right.x
+  },
+  {
+    "editor.button.rotate_right.y",
+    &editor.button.rotate_right.y
+  },
+  {
+    "editor.button.draw_random.x",
+    &editor.button.draw_random.x
+  },
+  {
+    "editor.button.draw_random.y",
+    &editor.button.draw_random.y
+  },
+  {
+    "editor.button.grab_brush.x",
+    &editor.button.grab_brush.x
+  },
+  {
+    "editor.button.grab_brush.y",
+    &editor.button.grab_brush.y
+  },
+  {
+    "editor.button.rotate_down.x",
+    &editor.button.rotate_down.x
+  },
+  {
+    "editor.button.rotate_down.y",
+    &editor.button.rotate_down.y
+  },
+  {
+    "editor.button.pick_element.x",
+    &editor.button.pick_element.x
+  },
+  {
+    "editor.button.pick_element.y",
+    &editor.button.pick_element.y
+  },
+  {
+    "editor.button.ce_copy_from.x",
+    &editor.button.ce_copy_from.x
+  },
+  {
+    "editor.button.ce_copy_from.y",
+    &editor.button.ce_copy_from.y
+  },
+  {
+    "editor.button.ce_copy_to.x",
+    &editor.button.ce_copy_to.x
+  },
+  {
+    "editor.button.ce_copy_to.y",
+    &editor.button.ce_copy_to.y
+  },
+  {
+    "editor.button.ce_swap.x",
+    &editor.button.ce_swap.x
+  },
+  {
+    "editor.button.ce_swap.y",
+    &editor.button.ce_swap.y
+  },
+  {
+    "editor.button.ce_copy.x",
+    &editor.button.ce_copy.x
+  },
+  {
+    "editor.button.ce_copy.y",
+    &editor.button.ce_copy.y
+  },
+  {
+    "editor.button.ce_paste.x",
+    &editor.button.ce_paste.x
+  },
+  {
+    "editor.button.ce_paste.y",
+    &editor.button.ce_paste.y
+  },
+  {
+    "editor.button.undo.x",
+    &editor.button.undo.x
+  },
+  {
+    "editor.button.undo.y",
+    &editor.button.undo.y
+  },
+  {
+    "editor.button.conf.x",
+    &editor.button.conf.x
+  },
+  {
+    "editor.button.conf.y",
+    &editor.button.conf.y
+  },
+  {
+    "editor.button.save.x",
+    &editor.button.save.x
+  },
+  {
+    "editor.button.save.y",
+    &editor.button.save.y
+  },
+  {
+    "editor.button.clear.x",
+    &editor.button.clear.x
+  },
+  {
+    "editor.button.clear.y",
+    &editor.button.clear.y
+  },
+  {
+    "editor.button.test.x",
+    &editor.button.test.x
+  },
+  {
+    "editor.button.test.y",
+    &editor.button.test.y
+  },
+  {
+    "editor.button.exit.x",
+    &editor.button.exit.x
+  },
+  {
+    "editor.button.exit.y",
+    &editor.button.exit.y
+  },
   {
     "editor.input.level_number.x",
     &editor.input.level_number.x