in core/src/com/jediterm/terminal/emulator/charset/CharacterSet.java [89:114]
public int map( int index )
{
switch ( index )
{
case 3:
return '\u00a3';
case 32:
return '\u00be';
case 59:
return '\u0133';
case 60:
return '\u00bd';
case 61:
return '|';
case 91:
return '\u00a8';
case 92:
return '\u0192';
case 93:
return '\u00bc';
case 94:
return '\u00b4';
default:
return -1;
}
}