fix(python): updated workspace glue

This commit is contained in:
cschen 2024-08-21 15:44:51 +02:00
parent c0e090fe7a
commit 6d01e8aa24

2
dist/py/codemp.pyi vendored
View file

@ -95,7 +95,7 @@ class Workspace:
def cursor(self) -> CursorController: ... def cursor(self) -> CursorController: ...
def buffer_by_name(self, path: str) -> Optional[BufferController]: ... def buffer_by_name(self, path: str) -> Optional[BufferController]: ...
def buffer_list(self) -> list[str]: ... def buffer_list(self) -> list[str]: ...
def filetree(self) -> list[str]: ... def filetree(self, filter: Optional[str]) -> list[str]: ...
class Client: class Client: