comparison Gui/interface.c @ 13135:1659857dd634

keyboard control: some fixes and extensions, punctuation
author diego
date Wed, 25 Aug 2004 15:20:39 +0000
parents eb0d3c1b6c6d
children 00bb3326391c
comparison
equal deleted inserted replaced
13134:2c3a4098f40c 13135:1659857dd634