public int map()

in core/src/com/jediterm/terminal/emulator/charset/CharacterSet.java [267:290]


      public int map( int index )
      {
        switch ( index )
        {
          case 3:
            return '\u00a3';
          case 32:
            return '\u00a7';
          case 59:
            return '\u00a1';
          case 60:
            return '\u00d1';
          case 61:
            return '\u00bf';
          case 91:
            return '\u00b0';
          case 92:
            return '\u00f1';
          case 93:
            return '\u00e7';
          default:
            return -1;
        }
      }