diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-05-07 16:24:37 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-05-07 16:24:37 +0200 |
commit | 027301fec79d6cd8143f25c95c23c6007279ec23 (patch) | |
tree | dcae3391cc6c9a80789e758a0cd906cf96693c1a /thirdparty/wslay | |
parent | af82dddb8cfb98a4c4656a1bd0be4f837e0b2cd9 (diff) |
Tweak the setting hint for the custom editor theme setting
The custom editor theme is only visible after restarting the editor.
Diffstat (limited to 'thirdparty/wslay')
0 files changed, 0 insertions, 0 deletions