Don't waste your time reviewing my code, please consider the goal only: 1. to replace any diacritical mark into any Unicode character with any other Unicode diacritical mark and 2. to add any Unicode diacritical mark to any Unicode character (with or without pre-existing diacritical marks) with *one click only*.
To lower editing time is the very first goal that a busy wikisource user would like, IMHO. So, I'll save my poor tool since I feel it very useful ; presently the tool is being used into a very complex and ancient glottology text covering Italian ladin dialects; I presume, it will be useful too dealing with difficult Latin and polyphonic Greek too.
Alex
2015-07-28 10:10 GMT+02:00 Federico Leva (Nemo) nemowiki@gmail.com:
Alex Brollo, 28/07/2015 09:00:
Much faster and comfortable than the usual, painful search for the needed exotic character into Special characters or into a Unicode table.
abcTajpu often saved me: https://addons.mozilla.org/firefox/addon/abctajpu/
Nemo
Wikisource-l mailing list Wikisource-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikisource-l