This repository has been archived by the owner on Aug 28, 2020. It is now read-only.

Jump to line #193

Open

robertbasic opened this issue Jan 3, 2017 · 0 comments

Labels

Owner

robertbasic commented Jan 3, 2017

A jump to line functionality would be nice.

robertbasic added the enhancement label

This was referenced Aug 28, 2018

Search in file #184

Open

Various Improvements #213

Merged

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.