add-grace-property and midi

[Keith OHara]

Is there a way to make add/remove-grace-property cooperate with midi ?

\version "2.15.18" % In earlier versions, replace $ by #
\score {
  \new Staff {
    $(add-grace-property 'Voice 'Fingering 'font-size -6)
    \new Voice { b2 \grace b-2 c'-3 }
  }
  \layout{}
  \midi{} %% Wrong type argument in position 1 (expecting Context)
}

The workaround is to use a separate \score for the midi output, which we 
usually need to do anyway.