Vadim Zeitlin
2bb3083a93
Use wxTextProofOptions itself to enable or disable the checks
...
Remove a separate "bool enable" argument of EnableProofCheck() and use
wxTextProofOptions::IsSpellCheckingEnabled() to decide whether the
checks should be enabled or disabled.
Also remove wxTextProofOptions ctor and provide named static factory
functions for creating the objects of this class with clearly defined
meaning.
2021-08-23 14:18:19 +02:00
..
2021-05-02 07:48:35 -07:00
2020-07-17 17:52:16 +02:00
2020-06-02 12:16:57 -07:00
2020-10-19 20:07:16 +02:00
2020-11-19 15:44:54 +01:00
2020-07-17 17:52:16 +02:00
2021-02-27 17:08:37 +01:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2019-05-10 01:46:54 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2019-07-16 20:19:33 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2021-04-18 01:14:36 +01:00
2021-04-26 11:44:40 +02:00
2020-12-05 16:37:13 +01:00
2021-02-06 08:28:13 -08:00
2020-06-27 22:56:22 +02:00
2019-01-30 17:35:54 +01:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2018-02-05 00:01:52 +01:00
2018-07-11 23:48:14 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-04-21 09:00:04 -07:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-09-01 15:03:30 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2017-03-07 12:47:33 -05:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2017-09-10 01:02:06 +02:00
2021-05-16 00:55:04 +02:00
2018-05-21 12:34:04 +02:00
2020-07-17 17:52:16 +02:00
2020-09-21 18:01:37 +02:00
2020-07-17 17:52:16 +02:00
2017-02-24 23:37:44 +01:00
2021-08-23 14:16:16 +02:00
2020-08-05 00:01:50 +02:00
2018-12-09 19:21:51 +01:00
2021-04-25 21:17:31 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2021-08-23 14:18:19 +02:00
2019-07-26 18:02:08 +02:00
2020-07-17 17:52:16 +02:00
2020-07-17 17:52:16 +02:00
2021-07-24 19:15:55 +02:00
2021-03-17 09:42:01 +01:00
2017-04-22 20:00:48 +01:00
2021-07-24 21:18:45 +02:00