search

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

Make auto-edit feature consistent in comments #39

Closed jspam closed 12 years ago

jspam commented 12 years ago

Currently the auto-edit feature is inactive in multi-line comments, but active in single-line comments. This should be made consistent.

I am in favor of disabline auto-edit in single-line comments.