Chordpro editor - updating the chords to a new default key

Thanks for the great tools which I'm using every week now :-)

I'd really like it if in the chordpro system, when you changed the default key for a song, there could be an option for the chords when you use the editor to be updated to be in the default key. At the moment, if I change a song from Eb to D, the chords render in D (which is fab), but when I edit the chordpro I have to go back to thinking in Eb (harder, at least for me).

WorshipTools doesn’t automatically transpose the chords inside the ChordPro editor to match the new default key. So while the display updates, the underlying chord notation remains in the original key unless manually changed.

OK, so I didn't miss something obvious by the looks of things! I just think it would be a great enhancement to provide that option. This is definitely possible in other chordpro type apps, it would be wonderful if charts could do it.