RFF: Configurable font #13
Description
Overview
This project has been a life saver. I'm currently using it to collaborate on an APL project with a colleague. One particular quirk of APL is that it uses a lot of special unicode characters. Most fonts don't design these particularly well, so APL programmers tend to use specific fonts to make their programs readable.
In particular the APL385 Unicode font is a popular choice. Is there any possibility of providing a mechanism for the remote user to manually override the font? Currently, I've been slumming it by using the Developer Console and hacking the font refs by hand.