in core/src/com/jediterm/terminal/emulator/charset/CharacterSet.java [327:358]
public int map( int index )
{
switch ( index )
{
case 3:
return '\u00f9';
case 32:
return '\u00e0';
case 59:
return '\u00e9';
case 60:
return '\u00e7';
case 61:
return '\u00ea';
case 62:
return '\u00ee';
case 63:
return '\u00e8';
case 64:
return '\u00f4';
case 91:
return '\u00e4';
case 92:
return '\u00f6';
case 93:
return '\u00fc';
case 94:
return '\u00fb';
default:
return -1;
}
}