Much better GrepWidget but still need to open files at a specific line