Convert to Special character feature

gracelang / grace-web-editor

A simple editor for Grace

GNU General Public License v3.0

2 stars 8 forks source link

Convert to Special character feature #91

Closed virinchiv closed 12 months ago

virinchiv commented 1 year ago

Adds 'Show Special' feature into utilities which converts existing ASCII equivalents of special characters into special characters. Modifies icons for both Remove Special and Show Special buttons into more clear icons showing their function.