fix: forgot type hints

This commit is contained in:
zaaarf 2024-09-13 21:24:12 +02:00
parent 92d181246e
commit 24863b59cb
No known key found for this signature in database
GPG key ID: 102E445F4C3F829B
2 changed files with 4 additions and 3 deletions

View file

@ -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 ---detach from an active buffer, closing all streams. returns false if buffer was no longer active
function Workspace:detach_buffer(path) end 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 string[]
---return the list of available buffers in this workspace, as relative paths from workspace root ---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 ---@return NilPromise
---@async ---@async

View file

@ -66,7 +66,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, filter: Optional[str]) -> list[str]: ... def filetree(self, filter: Optional[str], strict: bool) -> list[str]: ...
class TextChange: class TextChange:
""" """