Browse Source

Merge pull request #13031 from zenador/hide-pos-info-for-warnings

Hide position info for warnings when position is unknown
pull/12622/head^2
Björn Rabenstein 1 year ago committed by GitHub
parent
commit
c8332a852e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      util/annotations/annotations.go

3
util/annotations/annotations.go

@ -116,6 +116,9 @@ type annoErr struct {
}
func (e annoErr) Error() string {
if e.Query == "" {
return e.Err.Error()
}
return fmt.Sprintf("%s (%s)", e.Err, e.PositionRange.StartPosInput(e.Query, 0))
}

Loading…
Cancel
Save