diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-03 23:08:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-03 23:08:43 +0200 |
| commit | 243cb503e1b5d475e9f80349e7ee58592de68e99 (patch) | |
| tree | 8c8b060110454a9b6acae885c91135ec36f9a8e6 /doc/classes/Dictionary.xml | |
| parent | 19dc5c42d81188b3941b5b16ddae63b094cdaf6e (diff) | |
| parent | cc1859efed2da6587fa4bf3f567167a3c5f20fb6 (diff) | |
Merge pull request #39204 from Calinou/distraction-free-property-getter
Add a getter and property for the editor distraction-free mode
Diffstat (limited to 'doc/classes/Dictionary.xml')
0 files changed, 0 insertions, 0 deletions