file-line
file-line copied to clipboard
Allow opening files with garbage behing colon
E.g if someone does a grep and gets output like this:
$ grep -r TODO
myfile:TODO add some stuff
otherfile:TODO other stuff
Then I like to just choose a file by double clicking the name and writing e.g. vim myfile:TODO
without having to erase the TODO bit.
This is accomplished by allowing zero digits in the line number.