+ {
+ "tape.show_game_buttons",
+ &tape.show_game_buttons
+ },
+ {
+ "editor.palette.x",
+ &editor.palette.x
+ },
+ {
+ "editor.palette.y",
+ &editor.palette.y
+ },
+ {
+ "editor.palette.cols",
+ &editor.palette.cols
+ },
+ {
+ "editor.palette.rows",
+ &editor.palette.rows
+ },
+ {
+ "editor.palette.element_left.x",
+ &editor.palette.element_left.x
+ },
+ {
+ "editor.palette.element_left.y",
+ &editor.palette.element_left.y
+ },
+ {
+ "editor.palette.element_middle.x",
+ &editor.palette.element_middle.x
+ },
+ {
+ "editor.palette.element_middle.y",
+ &editor.palette.element_middle.y
+ },
+ {
+ "editor.palette.element_right.x",
+ &editor.palette.element_right.x
+ },
+ {
+ "editor.palette.element_right.y",
+ &editor.palette.element_right.y
+ },