You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When raku_unicode_abbrevs is enabled it becomes impossible to type //, when I type the second / it replaces the first one with ÷, which isn't quite what I want when I wanted to use defined-or.
The text was updated successfully, but these errors were encountered:
It's best to have the end user add these manually, rather than maintain
them in the plugin.
The documentation for them remains useful, I think.
I've modified the documented definition for × and ÷ to require a
trailing '+' character, which I believe should make them less obtrusive
but still accessible. Of course, a user can use whatever they like if we
are not defining them ourselves.
ClosesRaku#20
When
raku_unicode_abbrevs
is enabled it becomes impossible to type//
, when I type the second / it replaces the first one with ÷, which isn't quite what I want when I wanted to use defined-or.The text was updated successfully, but these errors were encountered: