PR# 17676 Changing debugger evaluation preferences does not take effect immediately

Problem Report Summary

Submitter: manus_eiffel

Category: Debugger

Priority: High

Date: 2011/06/17

Class: Bug

Severity: Critical

Number: 17676

Release: 6.8

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/534.30 (KHTML, like Gecko) Chrome/12.0.742.100 Safari/534.30

Synopsis: Changing debugger evaluation preferences does not take effect immediately

Description

When changing the preference `debugger.debug_output_evaluation', the new setting is not taking into account. One has to restart EiffelStudio.

I haven't checked if it was also the case for `debugger.generating_type_evaluation' but this would also be worth checking.

To Reproduce

Problem Report Interactions