This updates the way messages are filtered. The previous code was not flagging messages as added, removed, or kept correctly. A highly optimized algorithm is written to do the diff checking.
It greatly improves the performance of linter by not sending messages that are already rendered to linter-ui.
Description of the change
This updates the way messages are filtered. The previous code was not flagging messages as added, removed, or kept correctly. A highly optimized algorithm is written to do the diff checking.
It greatly improves the performance of linter by not sending messages that are already rendered to linter-ui.
Fixes https://github.com/steelbrain/linter-ui-default/issues/580 Fixes https://github.com/steelbrain/linter/issues/1709
should be merged with https://github.com/steelbrain/linter-ui-default/pull/581