11 Apr
2021
11 Apr
'21
9:21 a.m.
On Sun, Apr 11, 2021 at 08:47:05AM +1000, jbf wrote:
Thanks for that tip, Arthur. I, too, considered that it might be the font that was giving me problems (among other things, mainly my lack of understanding of r2l!), so I swapped to Amiri and then used the setup below which I then called in whenever needed -- it seems to work. But I will take a look at DejaVu Sans.
That shouldn’t be necessary, I only took that one because it’s mentioned on the wiki. Glad it works for you. Best, Arthur