diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-10-04 19:43:09 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-10-04 19:43:09 +0200 |
| commit | 361f8245079b625560449324faf111ed6fcf3b1b (patch) | |
| tree | a484991b6e3456545d6d5437a17201ab0a8e7b8a /python/util.py | |
| parent | 8c61a1980c973c649a2d9b3b9da67f2a680f4139 (diff) | |
Unification of language session implementations. Added load_problem and end_problem actions so handlers get appropriately created and destroyed upon loading and unloading the problem solving screen.
Diffstat (limited to 'python/util.py')
0 files changed, 0 insertions, 0 deletions