Skip to content

Fix for non-updating font size#1283

Merged
Wouter01 merged 2 commits intoCodeEditApp:mainfrom
Wouter01:font-size-fix
May 27, 2023
Merged

Fix for non-updating font size#1283
Wouter01 merged 2 commits intoCodeEditApp:mainfrom
Wouter01:font-size-fix

Commits

Commits on May 27, 2023