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

Convert asterisk to unicode dot operator automatically #37

Closed leonhandreke closed 12 years ago

leonhandreke commented 12 years ago

Just like || and &&, the * symbol should be converted to a nice Unicode symbol as you type.