more elaborate keyboard input handling, and debug gui improvements
[laserbrain_demo] / src / timer.cc
2017-10-30 John Tsiombikasadded audio