We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Should be an easy fix, just makes sure the CSS for the position arrow doesn't exceed the width of the data explorer.
The text was updated successfully, but these errors were encountered:
Update codemirror. Related to #529
f3395c7
So it's a webkit bug. It works perfectly fine in Firefox. Codemirror pushed a fix for that, see codemirror/codemirror5#1362
Code review 310.
Sorry, something went wrong.
5ad1ece
It has been merged in next a long time ago. I just forgot to close this issue.
neumino
No branches or pull requests
Should be an easy fix, just makes sure the CSS for the position arrow doesn't exceed the width of the data explorer.
The text was updated successfully, but these errors were encountered: