scale

Type: number

Default:

• comment-formula: 1.0
• other extensions: 0.8

The scale of the formula preview (decorations) in the editor. It can be a number (e.g. 1.0, 0.8, etc.) to specify the scale factor.