aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-06-21 15:15:49 +0100
committerGitHub <[email protected]>2021-06-21 15:15:49 +0100
commit25bf451c8426a68ecfdc3a1d1be1db9702dd41d8 (patch)
tree1d9d6c49faca0c36178d2bf5a6e20de0f88df094 /editors/code/src
parent5567b8a63214ce9bf2d4fdd6b4a8bd9c2c3eded7 (diff)
parent43098d99ae9ee3d102ce54510d7885bae58e5ac7 (diff)
Merge #9264
9264: feat: Make documentation on hover configurable r=Veykril a=Veykril This also implements deprecation support for config options as this renames `hoverActions_linksInHover` to `hover_linksInHover`. Fixes #9232 Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions