plugins.lean.settings.stderr.on_lines
A callback which will be called with (multi-line) stderr output.
Type: null or lua function string
Default:
null
Plugin default: "nil"
Declared by:
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
A callback which will be called with (multi-line) stderr output.
Type: null or lua function string
Default:
null
Plugin default: "nil"
Declared by: