remove (unimplemnted) Stretch MIDI checkbox

This commit is contained in:
Ben Loftis 2023-09-07 15:18:36 -05:00
parent e88a121ff8
commit 3f14b27ee3
3 changed files with 2 additions and 24 deletions

View file

@ -379,13 +379,9 @@ Editor::mouse_mode_toggled (MouseMode m)
}
if (mouse_mode == MouseGrid) {
grid_box.show();
_grid_box_spacer.show();
_canvas_grid_zone->set_ignore_events (false); // woohoo
_canvas_grid_zone->set_ignore_events (false);
} else {
grid_box.hide();
_grid_box_spacer.hide();
_canvas_grid_zone->set_ignore_events (true); // important !!!
_canvas_grid_zone->set_ignore_events (true);
}
if (internal_editing()) {