double cue_out_point_padding_seconds = 0.0; // Can be changed in the menus.
bool cue_out_point_padding_set = false;
std::string midi_mapping_filename; // Empty for none.
double cue_out_point_padding_seconds = 0.0; // Can be changed in the menus.
bool cue_out_point_padding_set = false;
std::string midi_mapping_filename; // Empty for none.