Arno Gourdol
Arno Gourdol
I did prototype this. However, it turns out that most keycaps actually have an alternate key, so it ends up being very busy, and not very informative. Closing.
I think it's fixed now, unless using extremely high zooming level.
It's been a couple of years, so I'm assuming this has been abandonned.
Fixed in mathlive 0.90.0
No additional interest expressed in a few years. Closing.
The command is `applyStyle`
I believe the dots have been eliminated. If there are still some issues, please open a new issue with the specific cases that are causing problems.
Placeholders are no longer inserted automatically during editing. They are only added when a new fragment is inserted. Empty denominators/numerators can now be selected.
@screambeard can you confirm that you are also seeing this issue, but only on iOS?
Do you have any report of this happening with iOS 17.1 or later? There was a potentially relevant fix in [iOS 17.1](https://developer.apple.com/documentation/safari-release-notes/safari-17_1-release-notes): "Fixed intermittent removal of adoptedStyleSheet CSSStyleSheet instances when...