From 6d01e8aa245cafba3dc34969002c6144df9c911e Mon Sep 17 00:00:00 2001
From: cschen <cschen@codemp.dev>
Date: Wed, 21 Aug 2024 15:44:51 +0200
Subject: [PATCH] fix(python): updated workspace glue

---
 dist/py/codemp.pyi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/py/codemp.pyi b/dist/py/codemp.pyi
index ad83caf..5a92bbc 100644
--- a/dist/py/codemp.pyi
+++ b/dist/py/codemp.pyi
@@ -95,7 +95,7 @@ class Workspace:
 	def cursor(self) -> CursorController: ...
 	def buffer_by_name(self, path: str) -> Optional[BufferController]: ...
 	def buffer_list(self) -> list[str]: ...
-	def filetree(self) -> list[str]: ...
+	def filetree(self, filter: Optional[str]) -> list[str]: ...
 
 
 class Client: