Summary: | File links of the form name:number:number don't ignore numbers when opening | ||
---|---|---|---|
Product: | [Applications] konsole | Reporter: | FeepingCreature <default_357-line> |
Component: | kpart | Assignee: | Konsole Developer <konsole-devel> |
Status: | REPORTED --- | ||
Severity: | minor | CC: | bjourne |
Priority: | NOR | ||
Version: | 20.08.2 | ||
Target Milestone: | --- | ||
Platform: | Other | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
FeepingCreature
2020-11-16 11:00:07 UTC
Mind that "filename.txt:" when not followed by a number *should* drop the colon, as that is the output used by e.g. multifile grep. (Also, kwrite cannot handle it.) This leads to an ambiguity where grep finds a line beginning with a number, however that ambiguity is almost certainly harmless - worst case, the grepped file is opened at an unexpected line. *** Bug 472533 has been marked as a duplicate of this bug. *** |