No matches were found for subject:"\[dolphin\] \[Bug 421337\] Switching Dolphin tabs or directories twice quickly causes terminal directory to desync"