Skip to content

Fix for non-updating font size - #1283

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

Wouter01 merged 2 commits into
CodeEditApp:mainfrom
Wouter01:font-size-fix

Commits

  1. Commits on May 27, 2023