insert time: ignore mouse as edit point

This is arguable, but at least is now consistent with 'remove time'.

diff --git a/gtk2_ardour/editor_ops.cc b/gtk2_ardour/editor_ops.cc
index ec6ee82c1c33bc025a145373706c257deae9111a..115d37a3c3fdee035ae550b43900457b27612ed0 100644 (file)
--- a/gtk2_ardour/editor_ops.cc
+++ b/gtk2_ardour/editor_ops.cc
@@ -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(),