From c496d5fce5e2d2caf93153fbddc6680f8486530e Mon Sep 17 00:00:00 2001 From: Raphael C Date: Thu, 21 Sep 2017 11:50:00 +0800 Subject: [PATCH 1/2] Map "Message" in chktex to "info" in linter --- lib/linter-chktex.coffee | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/linter-chktex.coffee b/lib/linter-chktex.coffee index 53a4dfe..300dfcc 100644 --- a/lib/linter-chktex.coffee +++ b/lib/linter-chktex.coffee @@ -93,6 +93,7 @@ module.exports = colEnd = colStart + parseInt(match.colLength,10) if match.colLength message = match.message message = '' + match.id + ' ' + message if showId + match.type = 'info' if match.type is 'Message' toReturn.push( type: match.type, html: message, From 2ae15a0913757837e0f0bba6441344641c4f56a8 Mon Sep 17 00:00:00 2001 From: Raphael C Date: Thu, 21 Sep 2017 20:24:25 +0800 Subject: [PATCH 2/2] Match style of ID to the type of the message Display the ID in the appropriate style depending on whether the message is "error", "warning" or "info" --- lib/linter-chktex.coffee | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/linter-chktex.coffee b/lib/linter-chktex.coffee index 300dfcc..df171f5 100644 --- a/lib/linter-chktex.coffee +++ b/lib/linter-chktex.coffee @@ -92,8 +92,9 @@ module.exports = colEnd = 0 colEnd = colStart + parseInt(match.colLength,10) if match.colLength message = match.message - message = '' + match.id + ' ' + message if showId match.type = 'info' if match.type is 'Message' + if showId + message = '' + match.id + ' ' + message toReturn.push( type: match.type, html: message,