diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-05-31 19:58:15 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-06-03 22:18:49 +0200 |
| commit | cc1859efed2da6587fa4bf3f567167a3c5f20fb6 (patch) | |
| tree | 2f93502b1f294538859ad7ea02214441efbeab84 /thirdparty/bullet | |
| parent | dc67d0737b86c7a6cab66752b96631c59c703997 (diff) | |
Add a getter and property for the editor distraction-free mode
Diffstat (limited to 'thirdparty/bullet')
0 files changed, 0 insertions, 0 deletions