summaryrefslogtreecommitdiff
path: root/thirdparty/wslay
diff options
context:
space:
mode:
authorHugo Locurcio <hugo.locurcio@hugo.pro>2021-05-07 16:24:37 +0200
committerHugo Locurcio <hugo.locurcio@hugo.pro>2021-05-07 16:24:37 +0200
commit027301fec79d6cd8143f25c95c23c6007279ec23 (patch)
treedcae3391cc6c9a80789e758a0cd906cf96693c1a /thirdparty/wslay
parentaf82dddb8cfb98a4c4656a1bd0be4f837e0b2cd9 (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