"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