Skip to content
New issue

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

Several bug fixes for Inline Edits #1427

Merged
merged 5 commits into from
Apr 30, 2024
Merged

Several bug fixes for Inline Edits #1427

merged 5 commits into from
Apr 30, 2024

Conversation

steveyegge
Copy link
Contributor

A handful of small but important fixes:

  • fixed the flicker when resizing the Edit dialog -- looks much nicer now
  • use the error lens icon from Design, and fixed the error lens icon sizing
  • cleaned up several memory leaks from listeners left around, including a big exception on exiting the app
  • fixed an EDT issue with disposing inlays, another runtime exception

Test plan

There were no user-visible changes except for the error icon, which I inspected manually. All unit tests and checks passed.

@steveyegge steveyegge enabled auto-merge (squash) April 30, 2024 21:47
@steveyegge steveyegge merged commit 5057216 into main Apr 30, 2024
7 checks passed
@steveyegge steveyegge deleted the stevey/edit-bug-fixes branch April 30, 2024 21:51
@steveyegge steveyegge removed the request for review from dominiccooney April 30, 2024 22:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants