Add go to line dialog. - #62
Conversation
|
Thank you for this contribution. In general, I like it. Regarding behavior:
Regarding the implementation:
In your clone of this repository, kindly set your |
91e46dc to
01da747
Compare
|
Ok, I think I fixed everything. |
|
Thanks, this is already looking very good. One nit, though: I wonder why we need |
|
I tried that before, but it seems that it ignores the entry Update: After removing a cached Update 2: I managed to remove the duplicate menu by doing: I am just not sure that this would be an acceptable approach. |
|
I see. That's too ugly. Let's use the |
|
Done. |
|
Thanks! |
The user is now able to go to any particular line by entering a line number
into "Go to Line" dialog instead of manually scrolling.