Resolve "Mark commented lines when feedback is hidden" (!175) · Merge requests · Jan Maximilian Michal / grady · GitLab

Snippets Groups Projects

Merged Dominik Seeger requested to merge 160-mark-commented-lines-when-feedback-is-hidden into master 5 years ago

Closes #160 (closed)

Edited 5 years ago by Dominik Seeger

Activity

Dominik Seeger changed milestone to %Korrekturtermin SoSe19 5 years ago

changed milestone to %Korrekturtermin SoSe19
Dominik Seeger added Feature proposal label 5 years ago

added Feature proposal label
Dominik Seeger added 1 commit 5 years ago
added 1 commit

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

Compare with previous version
Dominik Seeger added 1 commit 5 years ago
added 1 commit

77d9a17e - changed function name

Compare with previous version
Dominik Seeger added 1 commit 5 years ago
added 1 commit

65f9e430 - hints will now also show during initial correction

Compare with previous version
robinwilliam.hundt approved this merge request 5 years ago

approved this merge request
Dominik Seeger added 5 commits 5 years ago
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
Dominik Seeger unmarked as a Work In Progress 5 years ago

unmarked as a Work In Progress
Dominik Seeger merged 5 years ago

merged
Dominik Seeger mentioned in merge request !182 (merged) 5 years ago

mentioned in merge request !182 (merged)

Please register or sign in to reply