निरंजन
निरंजन
@chris48s Thanks for your quick response. I searched for Unicode & non-Latin in the list of issues before opening that issue; but as this name is very specific to Arabic,...
Some people (like me) might still prefer the original design without any highlighting, since that is how listings were usually written. Also, prescribing a highlighting style for "general" use might...