Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix minor visual glitch in record-control background (#9170)
Before: ![image](https://github.com/enso-org/enso/assets/1047859/dcf083b2-c169-42a9-a120-4aa730f05962) After: ![image](https://github.com/enso-org/enso/assets/1047859/7d9b774a-1ccd-4225-9a2d-a313e40e0c4f)
- Loading branch information