Yes, that could be useful, and showing error locations too. It would need to be requested from Scintilla AFAICT since it provides the scrollbars.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.