Reentryable begin_window

[Sunt-ing]

Currently, begin_window cannot be reentryed. Pros: prevent unintended reentry. Cons: cannot reset monitoring window (need to call end_window first). I personally prefer to make it reentryable. Example:

monitor.begin_window("mymonitor")
# ...
if balabala:
    monitor.begin_window("mymonitor")
# ...
res = monitor.end_window("mymonitor")

[Sunt-ing]

This is very personal, feel free to oppose this proposal

[jaywonchung]

That's an interesting proposal. I'm not against it. What would be a concrete use case of reentry?

[Sunt-ing]

Sorry for the late reply. I have a personal use case. But after thinking about it for a while, I tend to believe that, yes, my personal use case can be too narrow and this proposal is not so practical.

[jaywonchung]

No worries. I will keep it non-reentrant for now as it guards against uses of the same window name by mistake.