On Sat, Jun 3, 2023 at 10:31 PM Thomas Passin wrote:
> The globalDirectiveList includes a directive name of "terse".
I have no recollection of this directive. It appears neither in Leo's
official code nor in Leo's documentation.
Rev efee9c4
The globalDirectiveList includes a directive name of "terse". A search of
LeoPyRef doesn't show it being used anywhere. Is it actually used, and if
so, for what?
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group
