diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 15:55:40 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 15:55:40 +0100 |
commit | 320f6db34b5da13e259c3a55db9996a456bf8839 (patch) | |
tree | ba29d4100aa10e4cde3cee5cb33f18ba35f82e52 /prolog/common.py | |
parent | 04df55fae1bd1a26edcdfb702a24066ce49f5461 (diff) |
Prolog: add texts for new automatic hints
Diffstat (limited to 'prolog/common.py')
-rw-r--r-- | prolog/common.py | 6 |
1 files changed, 6 insertions, 0 deletions
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'), |