From 24863b59cbd7dbcb79becb60581b87678e047d57 Mon Sep 17 00:00:00 2001 From: zaaarf Date: Fri, 13 Sep 2024 21:24:12 +0200 Subject: [PATCH] fix: forgot type hints --- dist/lua/annotations.lua | 5 +++-- dist/py/src/codemp/codemp.pyi | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/dist/lua/annotations.lua b/dist/lua/annotations.lua index 0f5e822..8e19337 100644 --- a/dist/lua/annotations.lua +++ b/dist/lua/annotations.lua @@ -147,10 +147,11 @@ function Workspace:attach_buffer(path) end ---detach from an active buffer, closing all streams. returns false if buffer was no longer active function Workspace:detach_buffer(path) end ----@param filter? string only return elements starting with given filter +---@param filter? string apply a filter to the return elements +---@param strict boolean whether to strictly match or just check whether it starts with it ---@return string[] ---return the list of available buffers in this workspace, as relative paths from workspace root -function Workspace:filetree(filter) end +function Workspace:filetree(filter, strict) end ---@return NilPromise ---@async diff --git a/dist/py/src/codemp/codemp.pyi b/dist/py/src/codemp/codemp.pyi index 6e064e8..dae26f7 100644 --- a/dist/py/src/codemp/codemp.pyi +++ b/dist/py/src/codemp/codemp.pyi @@ -66,7 +66,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, filter: Optional[str]) -> list[str]: ... + def filetree(self, filter: Optional[str], strict: bool) -> list[str]: ... class TextChange: """