Resolve "Mark commented lines when feedback is hidden"

Closes #160 (closed)

changed milestone to %Korrekturtermin SoSe19

added Feature proposal label

added 1 commit

• f1dbd7dc - added a hint on commented lines when comments are hidden

Compare with previous version

added 1 commit

• 77d9a17e - changed function name

Compare with previous version

added 1 commit

• 65f9e430 - hints will now also show during initial correction

Compare with previous version

approved this merge request

added 5 commits

• 65f9e430...6563dfd0 - 4 commits from branch master
• c0c2be46 - added a hint on commented lines when comments are hidden

Compare with previous version

unmarked as a Work In Progress

merged

mentioned in merge request !182 (merged)