Eduardo Bart 717832b791 Other minor fixes

2013-02-04 19:40:12 -02:00

..

styles

Few minor fixes.

2013-01-22 13:40:46 +13:00

widgets

Fix #166

2013-01-25 18:51:14 -02:00

gameinterface.lua

Other minor fixes

2013-02-04 19:40:12 -02:00

gameinterface.otui

Closes #210

2013-01-25 17:26:51 -02:00

interface.otmod

Implement rule violations, closes #218

2013-01-27 07:54:50 -02:00