Method jumpToLine

texteditor/nav.go:725–729

jumpToLine jumps to given line number (minus 1)

(ln int)

// jumpToLine jumps to given line number (minus 1)
func (ed *Editor) jumpToLine(ln int) {
	ed.SetCursorShow(lexer.Pos{Ln: ln - 1})
	ed.savePosHistory(ed.CursorPos)
	ed.NeedsLayout()
}

// findNextLink finds next link after given position, returns false if no such links
func (ed *Editor) findNextLink(pos lexer.Pos) (lexer.Pos, text.Region, bool) {