This will probably require a filter, and could be quite awkward =/. If we required the invariant that waiting threads had the same top-level "waiting" label, then I could just remove "waiting" in the filter, and garbage collect the orphaned labels when the main script run. But, that would work better with the mythical Chrome extension UI, to keep from screwing up.
This will probably require a filter, and could be quite awkward =/. If we required the invariant that waiting threads had the same top-level "waiting" label, then I could just remove "waiting" in the filter, and garbage collect the orphaned labels when the main script run. But, that would work better with the mythical Chrome extension UI, to keep from screwing up.