search

gracelang / grace-web-editor

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

Needs "Insert Unicode" utility #59

Closed apblack closed 11 months ago

apblack commented 5 years ago

There is a replace Unicode Utility on the Utilities tab, which replaces the six Unicode characters that have ASCII di-graph equivalents by those ASCII equivalents.

It would be useful to have the inverse utility: replace di-graphs by Unicode. Or, perhaps the single button should be a toggle.

It's tricky to come up with accurate and concise names for the two operations.

apblack commented 4 years ago

Perhaps the buttons could be something like ⟦ ⤻ [[ and [[ ⤻ ⟦ ? Of course, the buttons would perform all six replacements, but the pictographs show the general idea.

KimBruce commented 4 years ago

Works for me, probably better than ASCII -> Unicode and reverse as novices likely don't know what ASCII or Unicode is.

kjx commented 4 years ago

Although I'm unlikely to convince anyone, the underlying problem is the existence of the digraphs.

How does having to have these buttons help novices?

apblack commented 4 years ago

Although I'm unlikely to convince anyone, the underlying problem is the existence of the digraphs.

Quite right! Let's go back to ICL 1900-series 6-bit bytes. They were good enough for us, so why not for today's learners?

Oops, sorry, wrong issue tracker. That's a language design issue.

apblack commented 11 months ago

This is implemented in commit 4657b4b; the icons are improved (I hope) in commit be810e9.