Resolve "Elements font size is not preserved during export"

Closes #798 (closed)

changed milestone to %v13.1.0~beta.0

added BUG label

added 2 commits

• a05cf8f3 - font size must be int
• ef2b1c40 - Merge branch '803-when-plugin-crash-put-on-the-console-stacktrace' into...

Compare with previous version

unmarked as a Work In Progress

enabled an automatic merge when the pipeline for ef2b1c40 succeeds

added 8 commits

• ef2b1c40...42e25bf5 - 6 commits from branch master
• 867ffa4a - Merge remote-tracking branch 'origin/master' into...
• da0a20af - export to CD round font to int

Compare with previous version

enabled an automatic merge when the pipeline for da0a20af succeeds

mentioned in commit 19980c87

merged