Rémi Verschelde 52cfb5f579
Merge pull request #31121 from willnationsdev/plugin-select-editor
Let EditorPlugins set editor/distraction-free mode
2019-08-06 16:43:49 +02:00
..
2019-07-06 11:13:03 +05:30
2019-07-02 13:35:30 +02:00
2019-07-21 20:47:25 +01:00