Summary: | Short directory format (%d) does not work correctly for all directories | ||
---|---|---|---|
Product: | [Applications] konsole | Reporter: | Stefan Becker <chemobejk> |
Component: | general | Assignee: | Konsole Developer <konsole-devel> |
Status: | RESOLVED NOT A BUG | ||
Severity: | normal | CC: | robertknight |
Priority: | NOR | ||
Version First Reported In: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Fedora RPMs | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
Stefan Becker
2008-09-12 16:02:18 UTC
Hello, This is not a bug. It is intended behavior. Common directory names are shortened to a single letter because they are not useful when telling tabs apart from one another. For example, if I have tabs open in: .../kde4/src .../<work-project>/src .../<top-secret-project>/src Then just showing 'src' as the directory name is not useful. Instead these names are shortened to a single letter to minimize the tab space taken for when there are a lot of tabs open and the previous name is added. Smarter behavior would be to show the full text ('src','build') in addition to the the previous directory name when there are a small number of tabs open and then trim these to a single letter when there are more tabs open: eg: 'kde4/src', '<workproject>/src' with a few tabs open. Then trimmed to 'kde4/s', '<workproject>/s' when there are lots of tabs open. Yeah, just came to the same conclusion. Sorry :-) When I first saw it I thought my hacking around in the code caused it... Set to INVALID. |