To Do Tag Jumps

If the file name (line number): format exists at the beginning of the line, placing the cursor on that line and selecting the Tag Jump command on the Edit menu will jump to the specified line in the specified file.