Follow
Re @scunliffe Hi, VS Code team member here. Right-click the file in the Explorer is the quickest way to find a Rename menu.
I haven't seen open issues, so probably worth filing a Feature Request via Report Issue to see if others in the community have the same issue.
