public int map()

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;
        }
      }