search

gracelang / grace-web-editor

A simple editor for Grace
GNU General Public License v3.0
2 stars 8 forks source link

'Convert Text to Unicode' feature #90

Closed virinchiv closed 1 year ago

virinchiv commented 1 year ago

I added the 'convert text to unicode' button on the web editor and its corresponding addUnicode function in refactor.js. Upon clicking the button, It replaces certain text symbols in the file with Unicode characters. I renamed the button 'replace unicode' to 'convert unicode to text' to make its difference with the other button clear.

apblack commented 1 year ago

I'm closing this pull request, because the next one subsumes these changes, as well as eliminating the incorrectly-added fiels.