view lint.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 0ce5cc452d02
children
line wrap: on
line source

<?xml version="1.0" encoding="UTF-8"?>
<lint>
    <issue id="MissingTranslation" severity="warning" />
    <issue id="NewApi" severity="warning" />
</lint>