navigate_to_line


Description:

public void navigate_to_line (int line_number)

Navigate to a specific line in the current file.

Parameters:

line_number

The line number to navigate to (0-based)