diff options
author | Michael Davis | 2022-08-05 00:11:31 +0000 |
---|---|---|
committer | GitHub | 2022-08-05 00:11:31 +0000 |
commit | f32c05db857c61fddb45b66d2ca1de2bd70b7db2 (patch) | |
tree | 4d6faa8e7f904f754519d8f833662482feef60da /book/theme/css/chrome.css | |
parent | ee1214d6e5d8873f96d496709a8723de0e719367 (diff) |
Detect indent-style in `:set-language` (#3330)
Indent style may change when choosing a language with `:set-language`.
Line-endings most likely will not change, but `:set-language` should
have a similar effect as reloading a file (`:reload`), plus the two
are currently grouped in the implementation and line-ending detection
is not particularly expensive.
Diffstat (limited to 'book/theme/css/chrome.css')
0 files changed, 0 insertions, 0 deletions