Ok, I tried reproducing bug again on git master and fix-bug-11008 branch.
As it turns out, I didn't repeat my steps in the comment #2 properly ;)
> 2. Navigate into it, right-click “Open Terminal Here”
It is important to use right-click menu, not the “File” menu.
> 4. Navigate to parent directory
I navigate to the parent folder through button on toolbar or “Go -> Open Parent”
> 5. Delete the newly created folder
Bug appears when folder is deleted via “delete” on keyboard or “Edit -> Delete>", but doesn't when I use right-click menu.
> 6. Select in menu: “File” -> “Open Terminal Here”
Only happens with “File” menu, but not with right-click menu.
Ok, I tried reproducing bug again on git master and fix-bug-11008 branch.
As it turns out, I didn't repeat my steps in the comment #2 properly ;)
> 2. Navigate into it, right-click “Open Terminal Here”
It is important to use right-click menu, not the “File” menu.
> 4. Navigate to parent directory
I navigate to the parent folder through button on toolbar or “Go -> Open Parent”
> 5. Delete the newly created folder
Bug appears when folder is deleted via “delete” on keyboard or “Edit -> Delete>", but doesn't when I use right-click menu.
> 6. Select in menu: “File” -> “Open Terminal Here”
Only happens with “File” menu, but not with right-click menu.