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
Sometimes when you use Delete or Backspace to delete the opening paren, Parinfer fails to delete the closing paren. See the following video.
2024-07-27.11-31-17.mov
Unfortunately, I'm unable to provide a code sample for reproducing this, because it's a heisenbug, but I'm seeing it quite often. If I copy the affected code to another file, it likely doesn't happen with the new code. Even restarting IDEA (without invalidating caches) can make it go away for a piece of code.
Cursive 1.13.4-eap8-2024.1
The text was updated successfully, but these errors were encountered:
Sometimes when you use Delete or Backspace to delete the opening paren, Parinfer fails to delete the closing paren. See the following video.
2024-07-27.11-31-17.mov
Unfortunately, I'm unable to provide a code sample for reproducing this, because it's a heisenbug, but I'm seeing it quite often. If I copy the affected code to another file, it likely doesn't happen with the new code. Even restarting IDEA (without invalidating caches) can make it go away for a piece of code.
Cursive 1.13.4-eap8-2024.1
The text was updated successfully, but these errors were encountered: