summaryrefslogtreecommitdiff
path: root/runtime/themes/monokai_pro_ristretto.toml
diff options
context:
space:
mode:
authorFilipe Azevedo2022-11-26 20:40:43 +0000
committerGitHub2022-11-26 20:40:43 +0000
commitf0f295a6679655dccfab0c1e0e9bb4a87e351db5 (patch)
treed9a6276fa342921bfcea951aa167617e13d23abc /runtime/themes/monokai_pro_ristretto.toml
parentfc811726e0e74dd6597f1ebbbd095901b8a78a3e (diff)
reload-all: Only update viewport when view focuses on the doc (#4901)
Diffstat (limited to 'runtime/themes/monokai_pro_ristretto.toml')
0 files changed, 0 insertions, 0 deletions