if (!load_midi_mapping_from_file(global_flags.midi_mapping_filename, &midi_mapping)) {
fprintf(stderr, "Couldn't load MIDI mapping '%s'; exiting.\n",
global_flags.midi_mapping_filename.c_str());
- exit(1);
+ abort();
}
midi_mapper.set_midi_mapping(midi_mapping);
}
if (mouse->modifiers() & Qt::KeyboardModifier::ShiftModifier) {
scrub_sensitivity *= 10;
wheel_sensitivity *= 10;
+ if (mouse->modifiers() & Qt::KeyboardModifier::ControlModifier) {
+ // Ctrl+Shift is a super-modifier, meant only for things like “go back two hours”.
+ scrub_sensitivity *= 100;
+ wheel_sensitivity *= 100;
+ }
}
if (mouse->modifiers() & Qt::KeyboardModifier::AltModifier) { // Note: Shift + Alt cancel each other out.
scrub_sensitivity /= 10;
if (wheel->modifiers() & Qt::KeyboardModifier::ShiftModifier) {
scrub_sensitivity *= 10;
wheel_sensitivity *= 10;
+ if (wheel->modifiers() & Qt::KeyboardModifier::ControlModifier) {
+ // Ctrl+Shift is a super-modifier, meant only for things like “go back two hours”.
+ scrub_sensitivity *= 100;
+ wheel_sensitivity *= 100;
+ }
}
if (wheel->modifiers() & Qt::KeyboardModifier::AltModifier) { // Note: Shift + Alt cancel each other out.
scrub_sensitivity /= 10;