diff tests/.settings/org.eclipse.jdt.ui.prefs @ 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 0ce5cc452d02
children
line wrap: on
line diff