Closed dkrupp closed 8 years ago
Instead of just moving the configuration into the global preferences, it would be better to follow the usual eclipse configuration layers with three levels (global, workspace, project), it adds little extra to the implementation complexity.
You are right. anyway, when we will add checker configuration, the user might want to customize it per project
It seems I've duped this issue in #62, implemented by #63.
Currently codechecker configuration is in the project specific settings. However codechecker paths are not project specific.
Move the configuration options under Window/Preferences/CodeChecker