"game.button.sound_simple.y",
&game.button.sound_simple.y
},
+ {
+ "game.button.save.x",
+ &game.button.save.x
+ },
+ {
+ "game.button.save.y",
+ &game.button.save.y
+ },
+ {
+ "game.button.load.x",
+ &game.button.load.x
+ },
+ {
+ "game.button.load.y",
+ &game.button.load.y
+ },
{
"tape.button.eject.x",
&tape.button.eject.x
"tape.text.time.font",
&tape.text.time.font
},
+ {
+ "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
+ },
{
"request.button.yes.x",
&request.button.yes.x