laurent.orseau
2021-10-16 13:59:22

Is there a way to bind call the “Rename variable” right-click menu item of DrRacket programmatically? A quick search suggests that syncheck is adding the menu item itself, which suggests not?