With this rewrite I'm a lot more confident that this is actually a good idea. What should still happen before this can be merged:

• Documentation
• Rewrite the context manager logic so that it can be entered multiple times as follows:

  @polling_condition
  def foo():
      ...
  
  with foo:
        ...
  
  ...
  
  with foo:
        ...

  Currently this throws a "weird" error, but it's conceptually perfectly valid. Thus, it should Just Work™️

(would really like to merge this to avoid future merge conflicts)

@ofborg test vscodium.wayland

@ofborg test vscodium.wayland

(since I force-pushed this didn't happen I think)

@ofborg test vscodium.wayland vscodium.xorg

Any further objections? Wanna merge this

thank you very much for your patience. the code looks good.

as it makes the test driver more complicated with another public interface, i would feel much better having a test that tries to test the polling condition behavior for correctness. can you write one for that, too? we can merge this pull request before and then have another pr for the test to relieve you from the burden of potential rebasing.