feedback: delete comment

Suggested by @VictoriaDemierbe

Dans la même lignée, il ne semble pas possible de modifier, changer ou supprimer un commentaire ou un surlignement. Cela pourrait pourtant être utile.

Easiest solution: [X] button to delete a comment

changed milestone to %0.3: Improved User Experience

added To do label

assigned to @bridubois

mentioned in issue #104 (closed)

Could be merged with #105 (closed) .

closed