()
| 12 | .get<number>("pendingEditDecorationTime")!; |
| 13 | |
| 14 | export async function decorationSleep() { |
| 15 | if (isTesting()) { |
| 16 | return; |
| 17 | } |
| 18 | |
| 19 | await sleep(getPendingEditDecorationTime()); |
| 20 | } |
| 21 | |
| 22 | export async function displayPendingEditDecorationsForSelection( |
| 23 | selections: SelectionWithEditor[], |
no test coverage detected