~damien/jedit-lsp

2a469e8d45312621d4168ebbb36f6a86fe598e0a — Damien Radtke 4 months ago 05b33e3
Ensure errors are cleared properly
1 files changed, 10 insertions(+), 0 deletions(-)

M lsp/ErrorSource.java
M lsp/ErrorSource.java => lsp/ErrorSource.java +10 -0
@@ 9,4 9,14 @@ public class ErrorSource extends errorlist.DefaultErrorSource {
		String path = lsp.Error.getErrorPath(uri);
		super.removeFileErrors(path);
	}

	// For some reason, the default clear() method doesn't result in
	// all the errors getting removed from the ErrorList panel.
	// Removing the errors explicitly seems to do a better job here.
	@Override
	public void clear() {
		for (String path : errors.keySet()) {
			removeErrors(path);
		}
	}
}