move ignore-collision to note-column-interface

diff --git a/lily/note-collision.cc b/lily/note-collision.cc
index 8ee404cb067e5a0d1468ed69112a09d9b88f516a..5ba8fe4872ad9c27f3e70db15aa863a3845a3a5e 100644 (file)
--- a/lily/note-collision.cc
+++ b/lily/note-collision.cc
@@ -575,7 +575,6 @@ ADD_INTERFACE (Note_collision_interface,
               "@code{force-hshift} and @code{horizontal-shift}.",
 
               /* properties */
-              "ignore-collision "
               "merge-differently-dotted "
               "merge-differently-headed "
               "positioning-done ");

diff --git a/lily/note-column.cc b/lily/note-column.cc
index 68075fc25001306a2033b529d48fbc34c59053a8..e1a8e695fd16474e616a5cadad5a4bb8e959dc76 100644 (file)
--- a/lily/note-column.cc
+++ b/lily/note-column.cc
@@ -216,6 +216,7 @@ ADD_INTERFACE (Note_column,
               "arpeggio "
               "force-hshift "
               "horizontal-shift "
+              "ignore-collision "
               "note-heads "
               "rest "
               "rest-collision "