Users aren't able to open two directories that have the same name but different parent directories in a FileManager.
Also, this poses a slight problem: how can we visually indicate that these two directories are different? Should we include the name of the parent? Maybe I'll leave that for another bug.
This is actually not an issue after some testing. What was occurring is that the FileMangerEditor prevents the project explorer from becoming active/selected. Going to open a new bug about this.
Users aren't able to open two directories that have the same name but different parent directories in a FileManager.
Also, this poses a slight problem: how can we visually indicate that these two directories are different? Should we include the name of the parent? Maybe I'll leave that for another bug.