State of the flags indicating whether CAT calls should be reported or not was expected to be recorded for a debugging session, so that when EiffelStudio was restarted, the flags should have the value set last time. Due to a bug, this state was not saved. As a result, after closing and opening EiffelStudio for the same project, the flags were unset. This bug is going to be fixed.

We can also add settings that can be used as defaults for the flags when a project is open for the first time. It can be done either in preferences (for all projects) or in ECF (for a particular project or even project target). Which one seems to be more suitable?

To summarize, the flags would be set using the following rules:
1. Use settings for CAT-call detection from the previous session if available.
2. Retrieve default settings for CAT-call detection otherwise.

Would it be OK?