Reproduction steps:
- Double-click a file in the list OR click the dropdown next to a file, then click the “Rename
” button
- Type the new name
- Press return
- The UI doesn’t update (Logs button doesn’t get the spinner, name doesn’t update)
- Click anywhere
- The UI begins to work normally