From 856f2c2a9cd6c4777dcdffb1be0992ae946aa7a1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafa=C5=82=20Ch=C5=82odnicki?= Date: Tue, 1 Oct 2024 22:02:14 +0200 Subject: [PATCH] feat: make DebouncerNonThreadSafe public (#2525) --- plugin/__init__.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/plugin/__init__.py b/plugin/__init__.py index 3f009dd68..fe0213c23 100644 --- a/plugin/__init__.py +++ b/plugin/__init__.py @@ -17,6 +17,7 @@ from .core.sessions import SessionBufferProtocol from .core.sessions import unregister_plugin from .core.types import ClientConfig +from .core.types import DebouncerNonThreadSafe from .core.types import matches_pattern from .core.url import filename_to_uri from .core.url import parse_uri @@ -33,6 +34,7 @@ 'apply_text_edits', 'ClientConfig', 'css', + 'DebouncerNonThreadSafe', 'DottedDict', 'filename_to_uri', 'FileWatcher',