| 47 | |
| 48 | // Subset of preference accessor used while building the renderer URL. |
| 49 | interface PreferenceLike { |
| 50 | getAll(): { |
| 51 | codeFontFamily: string |
| 52 | codeFontSize: number |
| 53 | hideScrollbar: boolean |
| 54 | theme: string |
| 55 | titleBarStyle: string |
| 56 | [key: string]: unknown |
| 57 | } |
| 58 | } |
| 59 | |
| 60 | interface EnvLike { |
| 61 | debug: boolean |
no outgoing calls
no test coverage detected