Going further, typing the number isn't very obvious that it is actually going to do anything (I expected Ctrl-G as 'goto line'.)
Having an upper menu letting you select these sort of things would also be more discoverable. I didn't know numbers worked until I read this page.
Going further, typing the number isn't very obvious that it is actually going to do anything (I expected Ctrl-G as 'goto line'.)
Having an upper menu letting you select these sort of things would also be more discoverable. I didn't know numbers worked until I read this page.