plugin to open files by line number