mityu 6106504e9e patch 8.2.3184: cannot add a digraph with a leading space ...

Problem:    Cannot add a digraph with a leading space.  It is not easy to list
            existing digraphs.
Solution:   Add setdigraph(), setdigraphlist(), getdigraph() and
            getdigraphlist(). (closes #8580)

2021-07-19 20:07:21 +02:00

61 KiB

Raw Blame History

View Raw