Closed eatgrass closed 1 year ago
use the padded line as a status bar, so we can display some messages from the provider
for example, in the diagnostics mode, we can show it's current severity filter in it.
diagnostics
thanks!
For future reference: In order for the filter to be visible, opts.padding must be true.
opts.padding
true
use the padded line as a status bar, so we can display some messages from the provider
for example, in the
diagnostics
mode, we can show it's current severity filter in it.301