improved dynamic layout of editor gadgets (continued)

[rocksndiamonds.git] / src / conf_gfx.c

diff --git a/src/conf_gfx.c b/src/conf_gfx.c
index f929cb4961e63d1c264827068eeeec42f24ca442..f8263ca5cae5e40a1ddb3800ea7f6831eb3f3a90 100644 (file)
--- a/src/conf_gfx.c
+++ b/src/conf_gfx.c
@@ -5214,10 +5214,12 @@ struct ConfigInfo image_config[] =
   { "editor.element_border",                   "RocksMore.png"         },
   { "editor.element_border.xpos",              "0"                     },
   { "editor.element_border.ypos",              "2"                     },
+  { "editor.element_border.border_size",       "8"                     },
 
   { "editor.element_border_input",             "RocksMore.png"         },
   { "editor.element_border_input.xpos",                "10"                    },
   { "editor.element_border_input.ypos",                "7"                     },
+  { "editor.element_border_input.border_size", "4"                     },
 
   { "editor.counter.down",                     "RocksDoor.png"         },
   { "editor.counter.down.x",                   "302"                   },