Fixes inadvertant sharing of TerminalView instances.
The sharing behavior is not the desired behavior: this patch makes the
opening behavior create fresh views. Previously, TerminalView
instances could be shared by id, where the id is the base path of the
directory being opend. However, this means that if two terminal
windows have the same base identifier, they'll be shared. So, for
example, if "/foo/bar/baz" is an opened terminal, a request to open
"/foogle/baz" will incorrectly reopen the terminal for "/foo/bar/baz".
1 file changed