space characters are sometimes dropped

jupytercalpoly / jupyterlab-richtext-mode

JupyterLab extension for rich text editing in the notebook

43 stars 18 forks source link

Closed Zsailer closed 5 years ago

Zsailer commented 5 years ago

Spaces are sometime dropped between text. It appears that the space is added and then stripped when the next word is started.

This issue was demonstrated by @betatim on Discourse. See the GIF here.

isabela-pf commented 5 years ago

@dLamSlo8 I was able to trigger the bug when I opened the binder in Firefox, so it likely is the issue with Prosemirror you found.

isabela-pf commented 5 years ago

Fixed with #41.