Julian Foad wrote on Fri, 09 Nov 2018 12:47 +0000: > == What to Do? == > > I am not currently planning to make such a change, just pointing it out > for when and if we do make changes to the editor API.
Might want to record this idea in jira, notes/, or subversion/include/ so we don't forget it.
