Vadim Zeitlin 45dcb1a8a5 Replace IsProofCheckEnabled() with GetProofCheckOptions() ...

This is more consistent with EnableProofCheck() and allows to retrieve
the current state of grammar checking under macOS, which can be checked
by user and so can be useful to know.

2021-08-23 14:19:11 +02:00

40 KiB

Raw Blame History

View Raw