summaryrefslogtreecommitdiff
path: root/prolog/common.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 15:55:40 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 15:55:40 +0100
commit320f6db34b5da13e259c3a55db9996a456bf8839 (patch)
treeba29d4100aa10e4cde3cee5cb33f18ba35f82e52 /prolog/common.py
parent04df55fae1bd1a26edcdfb702a24066ce49f5461 (diff)
Prolog: add texts for new automatic hints
Diffstat (limited to 'prolog/common.py')
-rw-r--r--prolog/common.py6
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'),