view stubs/twisted/words/protocols/jabber/jid.pyi @ 4209:fe29fbdabce6

frontends (tools/webrtc): add a options to merge video for PiP and to specify size: - the `merge_pip` option is now used to indicate if local feedback and remote video streams must be merged with local feedback being a PiP of remote video. By default, it's done for `SINKS_AUTO`, but it can be manually specified to use it with `SINKS_APP` or to split ``SINKS_AUTO`` in 2 windows. - target size of the compositor used with `merge_pip` can be specified. By default, 720p is used. rel 428
author Goffi <goffi@goffi.org>
date Fri, 16 Feb 2024 18:46:02 +0100
parents 8289ac1b34f4
children
line wrap: on
line source

from typing import Tuple, overload


User = str
Host = str
Resource = str


# Note: these typings are incomplete and evolve as needed.
class JID:
    user: User
    host: Host
    resource: Resource

    @overload
    def __init__(self, str: str, tuple: None = None) -> None:
        ...

    @overload
    def __init__(self, str: None, tuple: Tuple[User, Host, Resource]) -> None:
        ...

    def userhost(self) -> str:
        ...

    def userhostJID(self) -> "JID":
        ...

    def full(self) -> str:
        ...