diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-05-07 16:57:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-07 16:57:09 +0200 |
commit | 8976594f4b90edd42a926e483815c829a540d8d2 (patch) | |
tree | dcae3391cc6c9a80789e758a0cd906cf96693c1a /doc/classes/FileSystemDock.xml | |
parent | af82dddb8cfb98a4c4656a1bd0be4f837e0b2cd9 (diff) | |
parent | 027301fec79d6cd8143f25c95c23c6007279ec23 (diff) |
Merge pull request #48536 from Calinou/editor-theme-custom-require-restart
Tweak the setting hint for the custom editor theme setting
Diffstat (limited to 'doc/classes/FileSystemDock.xml')
0 files changed, 0 insertions, 0 deletions