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

Auto-edit prevents entering block comments #65

Closed jspam closed 12 years ago

jspam commented 12 years ago

When trying to enter a block comment (starting with /*), the asterisk is converted into a multiplication dot. This should obviously not be the case.