Skip to content

feat(workspace-picker): add type annotations#118

Merged
DrKJeff16 merged 2 commits into
mainfrom
feat/workspace-picker
Feb 27, 2026
Merged

feat(workspace-picker): add type annotations#118
DrKJeff16 merged 2 commits into
mainfrom
feat/workspace-picker

Conversation

@DrKJeff16
Copy link
Copy Markdown
Owner

Source(s)


Description

I've added type annotations for @isseii10's workspace-picker.wezterm.

Thank you @isseii10 for annotating your plugin!


Screenshots Or Code Snippets

To activate:

---@type WorkspacePicker
local wsp = wezterm.plugin.require("https://github.com/isseii10/workspace-picker.wezterm")

@DrKJeff16 DrKJeff16 self-assigned this Feb 27, 2026
@DrKJeff16 DrKJeff16 added documentation Improvements or additions to documentation enhancement New feature or request new-types A PR addresses new data types and/or fields plugin This concerns annotations for a WezTerm plugin. labels Feb 27, 2026
@DrKJeff16 DrKJeff16 merged commit ae7a1eb into main Feb 27, 2026
2 checks passed
@DrKJeff16 DrKJeff16 deleted the feat/workspace-picker branch February 27, 2026 05:14
@DrKJeff16 DrKJeff16 added the merged This PR has been merged successfully! label Feb 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request merged This PR has been merged successfully! new-types A PR addresses new data types and/or fields plugin This concerns annotations for a WezTerm plugin.

Projects

Development

Successfully merging this pull request may close these issues.

1 participant