diff res/xml/preferences.xml @ 113:cb3b9b660b3d

depress() keys from the terminal monitor go straight thru buffer.keyPressed() rather than detour though the key listener
author Carl Byington <carl@five-ten-sg.com>
date Wed, 18 Jun 2014 14:24:00 -0700
parents 9a6335a203b2
children 69333ca1563c
line wrap: on
line diff