(manager, name)
| 64 | |
| 65 | @Retry(ignore_exceptions=(ValueError,)) |
| 66 | def is_killed(manager, name): |
| 67 | if "window" not in manager.c.group["SCRATCHPAD"].dropdown_info(name): |
| 68 | return True |
| 69 | raise ValueError("not yet killed") |
| 70 | |
| 71 | |
| 72 | @scratchpad_config |
no test coverage detected