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 25f59be62f
commit d226527a8c
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(),