Go To End Scope bug case for IND/RAW

lukstafi / navi-parens

VS Code extension: navigate structured code with keybindings. Markmacs: WYSIWYG for LaTeX via the preview pane.

Other

4 stars 0 forks source link

Closed lukstafi closed 1 year ago

lukstafi commented 1 year ago

Again, in the specific situation below, the target is the expected target, the actual behavior is no-change.


let close_box ~toplevel () =
  Format.pp_close_box ppf ();
  (if toplevel then Format.pp_print_newline ppf ())
@  end^

lukstafi commented 1 year ago

If this was originally at the end of file, then it's fixed by this commit.

lukstafi commented 1 year ago

Exceeept it's fixed only if there's an extra empty line at the end of the document.

lukstafi commented 1 year ago

This is fixed now with recent commits.