insert time: ignore mouse as edit point

This is arguable, but at least is now consistent with 'remove time'.
This commit is contained in:
Colin Fletcher 2016-02-06 11:35:45 +00:00
parent 05345048a6
commit df76996aaa

View File

@ -7225,7 +7225,7 @@ Editor::do_insert_time ()
}
insert_time (
get_preferred_edit_position(),
get_preferred_edit_position (EDIT_IGNORE_MOUSE),
d.distance(),
d.intersected_region_action (),
d.all_playlists(),