Commit 9da68c3b authored by Sylvain Dailler's avatar Sylvain Dailler

Offset for positionning cursor in the source on goal.

parent 0a24bf6e
......@@ -951,7 +951,7 @@ let convert_color (color: color): string =
| Goal_color -> "goal_tag"
let move_to_line ~yalign (v : GSourceView2.source_view) line =
let line = max 0 line in
let line = max 0 (line - 1) in
let line = min line v#buffer#line_count in
let it = v#buffer#get_iter (`LINE line) in
v#buffer#place_cursor ~where:it;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment