(value: unknown)
| 183 | } |
| 184 | |
| 185 | function sanitizeMarkdownSettings(value: unknown): MarkdownSettings { |
| 186 | const source = asRecord(value) |
| 187 | |
| 188 | return { |
| 189 | scale: readNumber( |
| 190 | source, |
| 191 | 'scale', |
| 192 | PREFERENCES_DEFAULTS.editor.markdown.scale, |
| 193 | ), |
| 194 | } |
| 195 | } |
| 196 | |
| 197 | function sanitizeMathSettings(value: unknown): MathSettings { |
| 198 | const source = asRecord(value) |
no test coverage detected