addPitchFade bug

[d.healey]

I noticed a strange problem with Synth.addPitchFade();.

This first example works, it changes the pitch by +3 semitones, notice that fine pitch is set to 0.

local id = Synth.playNote(Message.getNoteNumber(), Message.getVelocity());
Synth.addPitchFade(id, 0, 3, 0);

This second example doesn't work. No pitch change will be heard, even if Message.getFineDetune() returns 0.

local id = Synth.playNote(Message.getNoteNumber(), Message.getVelocity());
Synth.addPitchFade(id, 0, 3, Message.getFineDetune());

Current workaround:

local c = Message.getCoarseDetune();
local f = Message.getFineDetune();
	
local id = Synth.playNote(Message.getNoteNumber(), Message.getVelocity());
Synth.addPitchFade(id, 0, c, f);