diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-05-07 22:21:03 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-07-29 22:07:01 +0200 |
commit | 63ce655e75e9d46c8b588ff258c3f50d5290c553 (patch) | |
tree | 57041688da32ab52e6983f55b5f03269a83cddaa /doc/classes/TextServerExtension.xml | |
parent | 5ca09b322c0dea3f71de3239c2da2a72d987f67d (diff) |
Add support for documenting most editor settings in the class reference
Settings defined in editor plugins are missing (about 100 of them),
but all other settings (about 200 of them) can now be documented in the
EditorSettings class.
Co-authored-by: Rémi Verschelde <rverschelde@gmail.com>
Diffstat (limited to 'doc/classes/TextServerExtension.xml')
0 files changed, 0 insertions, 0 deletions