Popular vt emulators/widgets support various methods for font substitution.
Terminal ctrl currently doesn't support any such method.
A range-based font substitution option seems both relatively trivial to add with the existing code base of Terminal ctrl and flexible enough to give the client code some freedom.
Popular vt emulators/widgets support various methods for font substitution. Terminal ctrl currently doesn't support any such method. A range-based font substitution option seems both relatively trivial to add with the existing code base of Terminal ctrl and flexible enough to give the client code some freedom.