Add option to hide task comments in the IDE
In the task panel of the IDE, comments are displayed showing where the task declarations come from. The comments can be too noisy especially for cloning, we should have an option to hide them.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
In the task panel of the IDE, comments are displayed showing where the task declarations come from. The comments can be too noisy especially for cloning, we should have an option to hide them.