You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Eduardo Bart 5bf03c50d6 Rework hotkeys manager, fix many issues on it		11 years ago
..
styles	Few minor fixes.	11 years ago
widgets	Fix #166	11 years ago
gameinterface.lua	Rework hotkeys manager, fix many issues on it	11 years ago
gameinterface.otui	Closes #210	11 years ago
interface.otmod	Implement rule violations, closes #218	11 years ago