[BLUEJ-1178] Renaming a class should invoke git mv
Renaming a class in the editor will change the corresponding file name, but the old and new files are treated as different files, losing track of the history of changes. In such a case, git mv should be invoked.
Issue metadata
- Issue type: Task
- Priority: Medium