()
| 105 | } |
| 106 | |
| 107 | export function getInitialEffortSetting(): EffortLevel | undefined { |
| 108 | // toPersistableEffort filters 'max' for non-ants on read, so a manually |
| 109 | // edited settings.json doesn't leak session-scoped max into a fresh session. |
| 110 | return toPersistableEffort(getInitialSettings().effortLevel) |
| 111 | } |
| 112 | |
| 113 | /** |
| 114 | * Decide what effort level (if any) to persist when the user selects a model |
no test coverage detected