From 320f6db34b5da13e259c3a55db9996a456bf8839 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 27 Feb 2017 15:55:40 +0100 Subject: Prolog: add texts for new automatic hints --- prolog/common.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'prolog/common.py') diff --git a/prolog/common.py b/prolog/common.py index e591e0b..73a8af4 100644 --- a/prolog/common.py +++ b/prolog/common.py @@ -17,6 +17,12 @@ hint_type = { 'monkey_change': HintPopup('monkey_change', style='change'), 'monkey_insert': HintPopup('monkey_insert', style='insert'), 'monkey_remove': HintPopup('monkey_remove', style='remove'), + 'monkey_highlight': HintPopup('monkey_highlight', style='highlight'), + 'monkey_buggy_literal': Hint('monkey_buggy_literal'), + 'monkey_buggy_variable': Hint('monkey_buggy_variable'), + 'monkey_singleton': Hint('monkey_singleton'), + 'monkey_missing': Hint('monkey_missing'), + 'monkey_unknown': Hint('monkey_unknown'), 'noncapitalised_variable': Hint('noncapitalised_variable'), 'noncapitalised_variable_markup': HintPopup('noncapitalised_variable_markup'), 'fail_rule': HintPopup('fail_rule'), -- cgit v1.2.1