bugfix: renaming a file uses the wrong background color#1241
Merged
matthijseikelenboom merged 1 commit intoCodeEditApp:mainfrom Apr 24, 2023
Merged
bugfix: renaming a file uses the wrong background color#1241matthijseikelenboom merged 1 commit intoCodeEditApp:mainfrom
matthijseikelenboom merged 1 commit intoCodeEditApp:mainfrom
