changelog
don't change the path bar value if the new path is a prefix of the current path
- Tue, 30 Jan 2024 11:58:11 +0100
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Tue, 30 Jan 2024 11:58:11 +0100] rev 12
- don't change the path bar value if the new path is a prefix of the current path
