()
| 177 | } |
| 178 | |
| 179 | export function toggleScratchWindow() { |
| 180 | let focus = global.display.focus_window; |
| 181 | if (isScratchWindow(focus)) |
| 182 | hide(); |
| 183 | else |
| 184 | show(true); |
| 185 | } |
| 186 | |
| 187 | export function show(top) { |
| 188 | let windows = getScratchWindows(); |
nothing calls this directly
no test coverage detected