I use galaxyline and don’t know how to display in a segment the telescope symbols corresponding to warning, errors, … with for each the number of warnings, errors, I tried :
provider = require('telescope.diagnostics')
But nothing is displayed and further don’t know which api to use.