(name: string, new_window: boolean)
| 130 | // name: app名称 |
| 131 | // new_window: 是否在新窗口打开 |
| 132 | export function openApp(name: string, new_window: boolean) { |
| 133 | let url = new URL(window.location.href); |
| 134 | url.searchParams.set("app", name); |
| 135 | if (new_window) |
| 136 | window.open(url.href); |
| 137 | else |
| 138 | window.location.href = url.href; |
| 139 | } |
| 140 | |
| 141 | |
| 142 | export function error_alert(text: string, duration: number = 1.5) { |
nothing calls this directly
no test coverage detected
searching dependent graphs…