% ISO-8859 support

define toggle_characters ()
{
  if (TRUE == insert_chars) {
    insert_chars = FALSE;
    local_setkey (" \\241", "¡");
    local_setkey (" \\242", "¢");
    local_setkey (" \\243", "£");
    local_setkey (" \\244", "¤");
    local_setkey (" \\245", "¥");
    local_setkey (" \\246", "¦");
    local_setkey (" \\247", "§");
    local_setkey (" \\250", "¨");
    local_setkey (" \\251", "©");
    local_setkey (" \\252", "ª");
    local_setkey (" \\253", "«");
    local_setkey (" \\254", "¬");
    local_setkey (" \\255", "­");
    local_setkey (" \\256", "®");
    local_setkey (" \\257", "¯");
    local_setkey (" \\260", "°");
    local_setkey (" \\261", "±");
    local_setkey (" \\262", "²");
    local_setkey (" \\263", "³");
    local_setkey (" \\264", "´");
    local_setkey (" \\265", "µ");
    local_setkey (" \\266", "¶");
    local_setkey (" \\267", "·");
    local_setkey (" \\270", "¸");
    local_setkey (" \\271", "¹");
    local_setkey (" \\272", "º");
    local_setkey (" \\273", "»");
    local_setkey (" \\274", "¼");
    local_setkey (" \\275", "½");
    local_setkey (" \\276", "¾");
    local_setkey (" \\277", "¿");
    local_setkey (" \"A", "Ä");
    local_setkey (" \"E", "Ë");
    local_setkey (" \"I", "Ï");
    local_setkey (" \"O", "Ö");
    local_setkey (" \"U", "Ü");
    local_setkey (" \"a", "ä");
    local_setkey (" \"e", "ë");
    local_setkey (" \"i", "ï");
    local_setkey (" \"o", "ö");
    local_setkey (" \"u", "ü");
    local_setkey (" \"y", "ÿ");
    local_setkey (" \\AE", "Æ");
    local_setkey (" \\^A", "Â");
    local_setkey (" \\AA", "Å");
    local_setkey (" \\^E", "Ê");
    local_setkey (" \\^I", "Î");
    local_setkey (" \\^O", "Ô");
    local_setkey (" \\336", "Þ");
    local_setkey (" \\^U", "Û");
    local_setkey (" \\^a", "â");
    local_setkey (" \\ae", "æ");
    local_setkey (" \\aa", "å");
    local_setkey (" \\^e", "ê");
    local_setkey (" \\^i", "î");
    local_setkey (" \\^o", "ô");
    local_setkey (" \\ss", "ß");
    local_setkey (" \\376", "þ");
    local_setkey (" \\^u", "û");
    local_setkey (" \\'A", "Á");
    local_setkey (" \\`A", "À");
    local_setkey (" \\~A", "Ã");
    local_setkey (" \\cC", "Ç");
    local_setkey (" \\'E", "É");
    local_setkey (" \\`E", "È");
    local_setkey (" \\'I", "Í");
    local_setkey (" \\`I", "Ì");
    local_setkey (" \\~N", "Ñ");
    local_setkey (" \\'O", "Ó");
    local_setkey (" \\`O", "Ò");
    local_setkey (" \\/O", "Ø");
    local_setkey (" \\~O", "Õ");
    local_setkey (" \\'U", "Ú");
    local_setkey (" \\`U", "Ù");
    local_setkey (" \\'Y", "Ý");
    local_setkey (" \\'a", "á");
#ifndef WIN32
    local_setkey (" \\`a", "à"); % clashes with Key_Down on Windows
#endif
    local_setkey (" \\~a", "ã");
    local_setkey (" \\cc", "ç");
    local_setkey (" \\'e", "é");
    local_setkey (" \\`e", "è");
    local_setkey (" \\'i", "í");
    local_setkey (" \\`i", "ì");
    local_setkey (" \\~n", "ñ");
    local_setkey (" \\'o", "ó");
    local_setkey (" \\`o", "ò");
    local_setkey (" \\/o", "ø");
    local_setkey (" \\~o", "õ");
    local_setkey (" \\'u", "ú");
    local_setkey (" \\`u", "ù");
    local_setkey (" \\'y", "ý");
    flush ("Characters conversion On.");
  }
  else {
    insert_chars = TRUE;
    local_setkey (" ¡", "¡");
    local_setkey (" ¢", "¢");
    local_setkey (" £", "£");
    local_setkey (" ¤", "¤");
    local_setkey (" ¥", "¥");
    local_setkey (" ¦", "¦");
    local_setkey (" §", "§");
    local_setkey (" ¨", "¨");
    local_setkey (" ©", "©");
    local_setkey (" ª", "ª");
    local_setkey (" «", "«");
    local_setkey (" ¬", "¬");
    local_setkey (" ­", "­");
    local_setkey (" ®", "®");
    local_setkey (" ¯", "¯");
    local_setkey (" °", "°");
    local_setkey (" ±", "±");
    local_setkey (" ²", "²");
    local_setkey (" ³", "³");
    local_setkey (" ´", "´");
    local_setkey (" µ", "µ");
    local_setkey (" ¶", "¶");
    local_setkey (" ·", "·");
    local_setkey (" ¸", "¸");
    local_setkey (" ¹", "¹");
    local_setkey (" º", "º");
    local_setkey (" »", "»");
    local_setkey (" ¼", "¼");
    local_setkey (" ½", "½");
    local_setkey (" ¾", "¾");
    local_setkey (" ¿", "¿");
    local_setkey (" Ä", "Ä");
    local_setkey (" Ë", "Ë");
    local_setkey (" Ï", "Ï");
    local_setkey (" Ö", "Ö");
    local_setkey (" Ü", "Ü");
    local_setkey (" ä", "ä");
    local_setkey (" ë", "ë");
    local_setkey (" ï", "ï");
    local_setkey (" ö", "ö");
    local_setkey (" ü", "ü");
    local_setkey (" ÿ", "ÿ");
    local_setkey (" Æ", "Æ");
    local_setkey (" Â", "Â");
    local_setkey (" Å", "Å");
    local_setkey (" Ê", "Ê");
    local_setkey (" Î", "Î");
    local_setkey (" Ô", "Ô");
    local_setkey (" Þ", "Þ");
    local_setkey (" Û", "Û");
    local_setkey (" â", "â");
    local_setkey (" æ", "æ");
    local_setkey (" å", "å");
    local_setkey (" ê", "ê");
    local_setkey (" î", "î");
    local_setkey (" ô", "ô");
    local_setkey (" ß", "ß");
    local_setkey (" þ", "þ");
    local_setkey (" û", "û");
    local_setkey (" Á", "Á");
    local_setkey (" À", "À");
    local_setkey (" Ã", "Ã");
    local_setkey (" Ç", "Ç");
    local_setkey (" É", "É");
    local_setkey (" È", "È");
    local_setkey (" Í", "Í");
    local_setkey (" Ì", "Ì");
    local_setkey (" Ñ", "Ñ");
    local_setkey (" Ó", "Ó");
    local_setkey (" Ò", "Ò");
    local_setkey (" Ø", "Ø");
    local_setkey (" Õ", "Õ");
    local_setkey (" Ú", "Ú");
    local_setkey (" Ù", "Ù");
    local_setkey (" Ý", "Ý");
    local_setkey (" á", "á");
#ifndef WIN32
    local_setkey (" à", "à"); % clashes with Key_Down on Windows
#endif
    local_setkey (" ã", "ã");
    local_setkey (" ç", "ç");
    local_setkey (" é", "é");
    local_setkey (" è", "è");
    local_setkey (" í", "í");
    local_setkey (" ì", "ì");
    local_setkey (" ñ", "ñ");
    local_setkey (" ó", "ó");
    local_setkey (" ò", "ò");
    local_setkey (" ø", "ø");
    local_setkey (" õ", "õ");
    local_setkey (" ú", "ú");
    local_setkey (" ù", "ù");
    local_setkey (" ý", "ý");
    flush ("Characters conversion Off.");
  }
}
