traits
traits copied to clipboard
Mention push_exception_handler from traits.observation.api in the debugging documentation
At https://docs.enthought.com/traits/traits_user_manual/debugging.html, the traits.api
version of push_exception_handler
is described, but not the traits.observation.api
version. The docs should be updated to mention both (preferably making the observation one the more prominent one).