"main.input.name.font",
&menu.main.input.name.font
},
- {
- "main.show_game_buttons",
- &menu.main.show_game_buttons
- },
{
"preview.x",
&preview.x
"tape.text.time.font",
&tape.text.time.font
},
+ {
+ "tape.show_game_buttons",
+ &tape.show_game_buttons
+ },
{
"editor.palette.x",
&editor.palette.x