summaryrefslogtreecommitdiff
path: root/prolog/common.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-11 17:01:58 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-11 17:01:58 +0100
commite7ebb26e1c820bbd0d97f99ea94ce1ba5e6e6738 (patch)
treeba914db5a7a1fd431ef367adc977b09245e19ac3 /prolog/common.py
parent3ad0fba1d3215eaf45e18cfa72dd3e7e5228a8b3 (diff)
Add hints for monkey.fix
Diffstat (limited to 'prolog/common.py')
-rw-r--r--prolog/common.py6
1 files changed, 5 insertions, 1 deletions
diff --git a/prolog/common.py b/prolog/common.py
index 2dab1c3..1c83fee 100644
--- a/prolog/common.py
+++ b/prolog/common.py
@@ -2,7 +2,7 @@
import operator
import prolog.engine
-from server.hints import Hint
+from server.hints import Hint, HintPopup
id = 1
@@ -12,6 +12,10 @@ hint_type = {
'system_error': Hint('system_error'),
'test_results': Hint('test_results'),
'syntax_error': Hint('syntax_error'),
+ 'monkey_main': Hint('monkey_main'),
+ 'monkey_change': HintPopup('monkey_change', style='change'),
+ 'monkey_insert': HintPopup('monkey_insert', style='insert'),
+ 'monkey_remove': HintPopup('monkey_remove', style='remove'),
}
def hint(program, solved_problems):