{ "global.border", "RocksScreen.pcx" },
{ "global.door", "RocksDoor.pcx" },
+ { "editor.element_border", "RocksElements.pcx" },
+ { "editor.element_border.xpos", "0" },
+ { "editor.element_border.ypos", "0" },
+
{ "background", UNDEFINED_FILENAME },
{ "background.MAIN", UNDEFINED_FILENAME },
{ "background.LEVELS", UNDEFINED_FILENAME },
{ "global.num_toons", "20" },
- { "menu.main.hide_static_text", "false" },
-
{ NULL, NULL }
};