Theia API Documentation v1.65.0
    Preparing search index...
    AfterHide: Message

    A singleton 'after-hide' message.

    This message is sent to a widget after it becomes not-visible.

    This message is not sent when the widget is being detached.