(01-02-2024, 04:33 PM)Snoopy Wrote: yes, there is no trick for substitude
i think the only workaround would be to do the substitude by yourself with a simple script (python whatsoever) and your input dictionary beforehand
Ack. Yes, that seems the only viable option at this point.
However, briefly returning to the options of working on the source code, do you think that adding a new command (i.e., a substitution that works on arbitrary chars) rather than modifying the existing 's' would be any easier? This, ignoring the possible slowdown. (I would call it 'ș' )