Skip to content

Removing the ability for plugins to modify settings.json and bindings.json. Adding an option to reject plugins to bind keys. #1715

Removing the ability for plugins to modify settings.json and bindings.json. Adding an option to reject plugins to bind keys.

Removing the ability for plugins to modify settings.json and bindings.json. Adding an option to reject plugins to bind keys. #1715

test (1.19.x, ubuntu-latest)

succeeded Nov 18, 2025 in 42s