Editor : doc and test for `highlightGutterLine`