diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-12-11 17:01:58 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-12-11 17:01:58 +0100 |
commit | e7ebb26e1c820bbd0d97f99ea94ce1ba5e6e6738 (patch) | |
tree | ba914db5a7a1fd431ef367adc977b09245e19ac3 /prolog/common.py | |
parent | 3ad0fba1d3215eaf45e18cfa72dd3e7e5228a8b3 (diff) |
Add hints for monkey.fix
Diffstat (limited to 'prolog/common.py')
-rw-r--r-- | prolog/common.py | 6 |
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): |