Fix developer tools not always opening

This was a kind of race condition between different signal handlers. By
not depending on other properties to already be updated, this can be
fixed.

This commit also contains some cleanup of the code to make it easier to
debug in the future.