Fix Run lens showing when lenses are disabled

The documentation for `lens.run.enable` states that it only applies
when `lens.enable` is set. However, the config setting whether to show
the Run lens did not check `lens.enable`, so the Run lens would show
even though lenses were disabled.
This commit is contained in:
hermannm 2024-05-02 20:12:28 +02:00
parent b05f906a50
commit d09331ce83
No known key found for this signature in database
GPG Key ID: 12C98306D8A1FE6F

View File

@ -1776,7 +1776,7 @@ impl Config {
pub fn lens(&self) -> LensConfig {
LensConfig {
run: *self.lens_run_enable(),
run: *self.lens_enable() && *self.lens_run_enable(),
debug: *self.lens_enable() && *self.lens_debug_enable(),
interpret: *self.lens_enable() && *self.lens_run_enable() && *self.interpret_tests(),
implementations: *self.lens_enable() && *self.lens_implementations_enable(),