Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix condition when editor tabs scroll bar needs to be updated (#12477)
Fixes #12476 Contributed on behalf of STMicroelectronics Signed-off-by: Thomas Mäder <[email protected]>
- Loading branch information