+ {
+ "tape.show_game_buttons",
+ &tape.show_game_buttons
+ },
+ {
+ "editor.button.prev_level.x",
+ &editor.button.prev_level.x
+ },
+ {
+ "editor.button.prev_level.y",
+ &editor.button.prev_level.y
+ },
+ {
+ "editor.button.next_level.x",
+ &editor.button.next_level.x
+ },
+ {
+ "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
+ },
+ {
+ "editor.input.level_number.y",
+ &editor.input.level_number.y
+ },