[ jEdit-devel ] [jedit:plugin-feature-requests] #333 Navigator: Store location by line + offset in line rather than offset in file


Thread view